Material:
Aulas expositivas, reforço, sessões de dúvidas, desafios (tutores+fórum)
Livro B&A, versão 2007, capítulos Resolução na Lógica Proposicional e Resolução na Lógica de Predicados
Verbetes sobre Literal (lógica), Cláusula (lógica), Forma Normal Conjuntiva e Princípio da resolução, na Wikipédia
Verbetes sobre Forma normal da negação, Forma normal prenex, Skolemização, Forma normal clausal, Universo de Herbrand, Base de Herbrand e Unificação, na Wikipédia
Exercícios resolvidos B&A, capítulo :
Avaliações + soluções (proposicional):
Exame-tipo (proposicional) => teste seus conhecimentos!
Avaliações + soluções (primeira ordem):
Exame-tipo (primeira ordem) => teste seus conhecimentos!
Tutorial (C. Nalon): Machine-Oriented Reasoning
Temas importantes:
Formas normais & respectivos procedimentos de conversão
Método da Resolução por Eliminação dos Literais Complementares e Unificação
Justificativas lógicas para o procedimento operacional do método de resolução
Fundamentos de Prolog
Material:
Aulas expositivas, sessões de dúvidas, desafios (tutores+fórum)
Livro de B&A, versão 2007, capítulo Programação em Lógica e Prolog
Livros-texto de Palazzo e de Favero de introdução ao Prolog.
Verbete sobre Prolog na Wikipédia
Avaliações + soluções:
Arquivos Prolog com exemplos:
[P00] - fatos, regras, consultas, e recursividade básica
[P01] - controle de fluxo, aritmética básica, e mais recursividade
[P02] - outros predicados extra-lógicos, listas, listas-diferença, filas, árvores
[C00] - algumas operações usuais sobre conjuntos
[L00] - algumas operações sobre a sintaxe e a semântica da lógica proposicional
Instalação & tutoriais:
SWI-Prolog: ambiente Prolog freeware (Windows e outros SO).
No Linux: apt-get install swi-prolog swi-prolog-clib swi-prolog-doc
Alguns tutoriais: