Jump to content

Exercícios da cadeira de Inteligência Artificial (IST) 2001/2002

Sign in to follow this  

About This File

Conjunto de exercício de curso de Inteligência Artificial, usando a linguagem Lisp.

Instituto Superior Técnico

Inteligência Artificial

Autores: Professora Helena Sofia Pinto, Professor João Cachopo, Professor Daniel Gonçalves, Professor Carlos Lopes António, Professora Inês Lynce, Professor Pedro Matos

Conteúdo

  1. Lisp
  2. Agentes
  3. Procura não informada
  4. Procura informada
  5. Procura com dois agentes
  6. Lógica proposicional
  7. Lógica primeira ordem
  8. Modus Ponens Generalizado
  9. Resolução
  10. Planeamento



×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.