Loading...
Publication
Raciocínio e Representação do Conhecimento: 3 - Inferência
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 105.63 KB | Adobe PDF | |||
| 496.71 KB | Adobe PDF |
Advisor(s)
Abstract(s)
Apresentamos os métodos de inferência em lógica de primeira ordem. Iniciamos com a relação entre lógica proposicional e lógica de 1ª ordem, introduzimos a regra do Modus Ponens generalizado, e o unificador mais geral. Abordamos as provas com Modus Ponens generalizado e com resolução.
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
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
Description
Keywords
Raciocínio Representação do conhecimento