Carvalho, GracindaCoelho, José2024-04-232024-04-232023http://hdl.handle.net/10400.2/15993Apresentamos 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 Hall23 min., 29 seg.MPEG-4porRaciocínioRepresentação do conhecimentolearning object