CAIA007 - Representação de Conhecimento e Raciocínio
Carga horária: 45 horas-aula (3 créditos)
Ementa: Sistemas a base de conhecimentos; representação em lógica de primeira ordem; resolução em lógica proposicional e de primeira ordem; raciocínio com cláusulas de Horn; lógicas de descrições e Ontologias; raciocínio não-monotônico; redes Bayesianas.
Bibliografia:
-
Ronald J. Brachman and Hector J. Levesque, Knowledge Representation and Reasoning, Elsevier, 2004.
-
Handbook of knowledge representation, Frank van Harmelen, Vladimir Lifschitz, Bruce Porter (eds), Elselvier, 2008.