Tópicos Avançados em Inteligência Artificial Simbólica:

Inteligência Artificial Simbólica Avancada (instância 2006.2)

Informações Gerais

Datas:

Proposta de projeto opcional

Ementa

  • Planejamento - Kiko
    1. Planejamento clássico I plan-classico.ppt (13/11)
    2. Planejamento avançado : plan-classico++.ppt (20/11)
    3. Planejamento Situado: plan-e-acao.ppt  e Busca contra adversários:  jogos.ppt (22/11)
    4. Aula prática no laboratório (24/11)
  • Aprendizagem de máquina e teoria da decisão - Geber
    1. Conceitos básicos, ID3 e espaço de versões: cap18.ppt (29/11)
    2. Raciocínio baseado em casos (01/12)
    3. EOOPS: eoops.ppt  (06/12) 
    4. Teoria da Decisão I: AgentesBaseadosemUtilidade.ppt  -  (13/12)
    5. Teoria da Decisão II: AgentesBaseadosemUtilidade.ppt  - (15/12)
  • Métodos de Raciocínio - Fred
    1. Representação de Conhecimento e História da Lógica : Log_Hist_IA.ppt (2,5M) - (26/1)
    2. Dedução Natural : Ded_IA.ppt (26/1)
    3. Tableaux semânticos: Log7_IA.ppt (31/1)
    4. Formas normais e resolução proposicional: Log8_IA.ppt (2/2)
    5. Teorema de Herbrand e Unificação: Log14_IA.ppt (7/2)
    6. Prenex, Skolem (Log13_IA.ppt) e Resolução de predicados: Log15_IA.ppt (9/2)
    7. Programação em Lógica e Negação por Falha: Log17_IA.ppt (28/2)
    8. Frame Logic (com Jacques ou seu aluno Marco Aurélio) (9/3)
  • Web semântica - Fred
    1. XML (eXtensible Markup Language)
    2. RDF (Resource Description Framework)
    3. OWL (Ontology Web Language)
  • Sistemas Multiagentes 

    1. Negociação: negociacao-bilateral.ppt + leiloes.ppt () - Geber
          artigo: faratin98negotiation.pdf
    2. Planejamento Multiagente () - Kiko
     

    Notas: 2006-2.xls

    Bibliografia da parte de raciocínio:
     

  • Knowledge Representation and Reasoning, Ronald Brachman, Hector Levesque, Morgan Kaufmann, 2004.
  • Artificial Intelligence: A Modern Approach (2nd Edition), Stuart J. Russell, Peter Norvig, Prentice-Hall, 2002.
  • Logical Foundations of Artificial Intelligence, Michael R. Genesereth, Nils J. Nilsson, Morgan Kaufmann Publishers, 1987.
  • Lógica para Ciência da Computação,  João Nunes de Souza, Editora Campus, 2002.
  • Lógica para Computação, Flávio Soares Correa da Silva, Marcelo Finger, Ana Cristina Vieira de Melo, Editora Thomson, 2006
  • Inteligência Artificial: Ferramentas e Teorias, Guilherme Bittencourt, Editora da UFSC, 1998.
  • First-order Logic and Automated Theorem Proving, Melvin Fitting, Springer Verlag, 1990.
  • Logic, Programming and Prolog (2ed), Ulf Nilsson and Jan Maluszynski, Previously published by John Wiley & Sons Ltd.
  • Introduction to Logic, Michal Walicki (apenas o histórico)
  • Symbolic Logic and Mechanical Theorem Proving, C. Chang, R. Lee, Academic Press, 1973.
  • Essentials of artificial intelligence, M. Ginsberg, Morgan Kaufmann Publishers, 1993.
  • A Machine-Oriented Logic Based on the Resolution Principle, Julia Robinson, Journal of the ACM (JACM), Volume 12,  Issue 1, 1965.
     

     

    •