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
- Lisp
- Agentes
- Procura não informada
- Procura informada
- Procura com dois agentes
- Lógica proposicional
- Lógica primeira ordem
- Modus Ponens Generalizado
- Resolução
- Planeamento