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