Métodos de Computação Inteligente 2007.1

.: Informações Gerais :.

Professores: Jacques Robin (robin.jacques@gmail.com) e Fred Freitas

Horário: 2a-4a 14:00-16:00 
Local: Sala D224

This page: www.cin.ufpe.br/~in1006/2007/

.: Avaliação :.

- Provas individuais: 50%

- Projeto em equipes: 50%

.:  Bibliografia :.

1. Artificial Intelligence: A Modern Approach (2nd Ed.) Russell, S. & Norvig, P. Prentice-Hall. 2003. Site: http://aima.cs.berkeley.edu/.

2.  Introduction to Multi-Agent Systems. Wooldridge, M. Wiley. 2002. Site: www.csc.liv.ac.uk/~mjw/pubs/imas/

3.  Constraint Processing. Dechter, R. Morgan-Kaufmann. 2003.

4.  Essentials of Constraint Programming. Frühwirth, T. & Abdennhader, S. Springer. 2003.

5.  Constraint Programming: an Introduction. Marriott, K. & Stuckey, P. MIT Press. 1998.

6.  Ontologies: a Silver Bullet for Knowledge Management and Electronic Commerce. Fensel, D. Springer. 2003.

7.  UML 2 Toolkit. Eriksson, H.E., Penker, M., Lyons, B. & Fado, D. Wiley. 2004

8.  The Object Constraint Language: Getting Your Models Ready for MDA (2nd Ed.) Warmer, J. & Kleppe, A. Addison-Wesley. 2003.

9.  Logic, Programming and Prolog (2nd Ed). Nilsson, U. & Maluszynski. Wiley. 2000. Site, including free download : http://www.ida.liu.se/~ulfni/lpp/

10. Knowledge Representation and Reasoning, Ronald Brachman, Hector Levesque, Morgan Kaufmann, 2004.

11. Logical Foundations of Artificial Intelligence, Michael R. Genesereth, Nils J. Nilsson, Morgan Kaufmann Publishers, 1987

12. Introduction to Logic, Michal Walicki (apenas o histórico)

13. Symbolic Logic and Mechanical Theorem Proving, C. Chang, R. Lee, Academic Press, 1973

.: Turma :.

1. Antônio José de Vasconcelos Costa, ajvc, tonze00@gmail.com (Jacques Robin)

2. Breno Batista Machado, bbm, brenomachaco@gmail.com (Jacques Robin)

3. Camila Bezerra da Silva, cbs, Kemylle@gmail.com (Fred Freitas)

4. Carlos Rezende Brasil Neto, crbn, carlosrbn@hotmail.com (Paulo Adeodato)

5. Cleyton Mário de Oliveira Rodrigues, cmor, cleyton.rodrigues@gmail.com (Jacques Robin)

6. Davi Lyuma Anabuki, dla, anabuki@hotmail.com (Isolado)

7. Eduardo Cardoso Moraes, ecm2, ecmoraes@gmail.com (Fred Freitas)

8. Fulvio Figueiroa Silvestre, ffs, fulviofs@gmail.com (Geber Ramalho)

9. Guillerme Alexandre Monteiro Reinaldo, gamr, alexandrecordel@gmail.com, (Sérgio Calvalcanti)

10. Gustavo Tibério d'Anunciação, gta, gustavotiberio@gmail.com (Hermano Pirelli)

11. Joabe Bezerra de Jesus Júnior, jbjj, joabebezerra@gmail.com (Alexandre Motta)

12. José Carlos de Moura Júnior, jcmj, josecarlos@jynx.com.br (Geber Ramalho)

13. Luciano de Souza Cabral, lsc4, lscabral@gmail.com (Fred Freitas)

14. Marcos Aurelio Almeida Silva, maas, maurelio1234@gmail.com (Jacques Robin

15. Pablo de Santana Barbosa, psb, pablodesantana@gmail.com (Jacques Robin)

16. Renan Tavora Weber, rtw, renanweber@gmail.com (Geber Ramalho)

17. Rinaldo José de Lima, rjl4, rina_lima@yahoo.com.br (Fred Freitas)

18. Weslei Alvim de Tarso Marinho, watm, weslei@gmail.com (Jacques Robin)

.: Programação :.

.: Introdução aos Agentes Inteligentes:.
Aulas 1, 2, 3 Inteligência Artificial e Agentes Inteligentes: IA.ppt (Jacques, 25/04, 30/04, 02/05)

- Capítulos 1, 2 e Seção 7.2 do Russell & Norvig
- Capítulos 1, 2, 5 do Wooldridge

Aula 4 Apresentação dos Projetos: ProjectTopics (Jacques, 07/05, 12:30)

Equipes de Projeto:

- Engenharia MDE do Sistema Multi-Agente Rollerslam: Antônio, Breno, Cleyton, Marcos Aurelio, Pablo, Weslei

- Engenharia de um Framework de Componentes de Busca: Alexandre, Carlos, Davi, Fúlvio, Gustavo, Joabe, José, Renan

.: Busca :.
Aulas 5, 6 Busca Geral Exaustiva e Heurística: Search.ppt (Jacques, 07/05, 09/05)
- Capítulos 3, 4 do Russell & Norvig

.: Representação do Conhecimento Baseado em Agentes e Objetos procedurais :.

Aulas 7, 8, 9 Agentes Baseados em Conhecimento: KBA.ppt (Jacques, 14/05, 16/05, 21/05)

- Seções 7.1, 7.2, 8.3 do Russell & Norvig

Aulas 16, 18, 19 Ontologias e Representação do Conhecimento Orientada a Objetos e Agentes OntoOAOKR.ppt (Jacques 25/06, Marcos 02/07, 04/07)

- Seções 10.1-2, 10.4-6 do Russell & Norvig

- Capítulo 2 do Fensel

.: Resolução de Restrições :.

Aulas 10, 11, 12 Resolução de Restrições por Meio de Busca: CSP.ppt (Jacques, 30/05, 04/06, 06/06)
- Capítulo 5 do Russell & Norvig
- Capítulos 1, 2, 3 do Marriott & Stuckey
- Capítulos 8 do Fruehwirth & Abdennadher
- Seções 6.1-6.2 do Dechter

.: Raciocínio Baseado em Regras :.
Aulas 13, 14, 15, 17 Raciocínio Baseado em Regras: RBR.ppt (Jacques, 11/06, 18/06, 20/06, Marcos 27/06)
 - Seção 4 of Theory and Practice of Constraint Handling Rules
 - Seções 5.1, 5.2.3-5.2.6 of Rule-Based Constraint Programming: Theory and Practice
- Capítulos 9, 11, 12, 13 of Frühwirth & Abdennadher
- Production Systems and Rewrite Systems
- Seções 2.2-2.4, 3.1, 3.3, 3.6 do Nilsson & Maluszynski

.: Dedução Lógica e Modelagem :.
Aulas 20, 21, 22 e 23: Dedução Lógica (Fred, 18,  23 e 30/07)

Breve história

- Cap. 1 Walicki

- Conceitos fundamentais: sintaxe, semântica, teorema, conseqüência lógica, derivação, prova, modelo, decidibilidade, corretude, completude,  (25/06)
- Cap. 3, KR &R, Wumpus, circuitos e cap. 10 do AIMA
- o problema SAT, formas normais, algoritmos para SAT (DPLL, WalkSAT) (aqui)
- Teorema de Herbrand, fecho da resolução, lema da elevação, unificação (aqui)
- resolução em FOL,resolução sobre Horn clauses, otimizações, programação em lógica, negação por falha (aqui)

- Seções 7.3-7.7, 8.1-8.2, 8.4, 9.1-9.5 do Russell & Norvig
- Seções 2.2-2.4, 3.1, 3.3, 3.6 do Nilsson & Maluszynski

Exercício (Entrega : 30/7)

- Modelagem de conhecimento
– Cap 3, KR&R, Cap. 10 do AIMA

.: Raciocínio Probabilista:.
Aula 24: Aprendizagem Bayesiana e Redes Bayesianas (Tsang, 25/07)
- Capítulos 13, 14, 15 do Russell & Norvig
- Constraint Logic Programming for Probabilistic Knowledge

.: Representação de Objetos e Raciocínio Não-Monotônico:.

Aula 25: Raciocínio sobre RSs e Frames, Herança, The Frame Problem, F-Logic (Fred 1/8)
- Seções 10.6 e 10.7 do AIMA

- Caps. 8 e 10 do KR&R

- Deductive and Object Data Languages: a Quest for Integration

- Sections 1-3 of Logical Foundations of Object-Oriented and Frame-Based Languages
Sections 2, 6 and 11.1 of A Model Theory for Non-monotonic Multiple Value and Code Inheritance in Object-Oriented Knowledge BasesAulas 26 a 28 (Fred 08, 13 e 15/08): Raciocínio por Default
- Cap. 10 KR&R

Aula 25 Lógicas Descritivas  , exemplo das pizzas

- Handbook on DL, Baader et al, cap.
- OWL-examples do site Protégé

.: Conclusão da Disciplina :.
- Prova: 15/08

- Apresentação final dos projetos: 17/09