A carregar...
Publicação
Raciocínio e Representação do Conhecimento: 3 - Inferência
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 105.63 KB | Adobe PDF | |||
| 496.71 KB | Adobe PDF |
Orientador(es)
Resumo(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
Descrição
Palavras-chave
Raciocínio Representação do conhecimento