Inteligência Artificial
Mecanismos de Inferência e afins
(Os sistemas de raciocínio disponibilizados poderão ter alguns erros propositados que devem ser detetados e corrigidos)
Implementação do A* em Prolog (astarps/3 e astar/7): Zipped pl
Regras de Produção: Zipped pl
Regras condição-conclusão encadeadas para trás: Zipped pl
Geração automática de explicações para um sistema de regras condição-conclusão encadeadas para trás: Zipped pl
Validação de bases de conhecimentos contendo regras condição-conclusão, factos e negações explícitas: Zipped pl
Mais Sistemas de Inteligência Artificial (não fazem parte da matéria actual; foram usados apenas nas aulas anteriores a 2003)
Ficheiros com um planeador: planAulas.pl + blocskAulas.pl
Ficheiros relativos a NLP: getsentence.pl+nlp.pl
Gramática com regras de sintaxe de Português: De tempos a tempos, esta página será actualizada com novas potencialidades.
Representação do significado das frases em Prolog: ver as deficiências desta abordagem.
Algoritmo incremental de indução a partir de exemplos: increm.pl
Algoritmo "one shot" de indução a partir de exemplos: one_shot.pl