A carregar...
Publicação
Raciocínio e Representação do Conhecimento: 1B - Lógica proposicional
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 105.66 KB | Adobe PDF | |||
| 554.8 KB | Adobe PDF |
Orientador(es)
Resumo(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
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