Raciocínio e Representação do Conhecimento: 1B - Lógica proposicional

Carvalho, Gracinda; Coelho, José

http://hdl.handle.net/10400.2/15993

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
Raciocínio e Representação do Conhecimento_1B - Lógica proposicional.pdf		105.66 KB	Adobe PDF	Download
PVP 1B Lógica Proposicional.pdf		554.8 KB	Adobe PDF	Download

Send Feedback

Authors

Carvalho, Gracinda

Coelho, José

Abstract(s)

Apresentamos os métodos de resolução de lógica proposicional. Abordamos diversos temas como as equivalências lógicas, regras de inferência, a regra de resolução.forma normal conjuntiva, algoritmo utilizando apenas resolução, cláusulas Horn. Terminamos com os algoritmos DPLL e WalkSAT.

Este recurso faz parte de um conjunto de 10 Pequenos Vídeos Pedagógicos (PVP), com toda a matéria lecionada na Unidade Curricular. Os vídeos seguem o manual: Russell, S. J. & Norvig, P. (2010). Artificial intelligence: A modern approach (3rd ed). Prentice Hall