CAIA007 - Representação de Conhecimento e Raciocínio

Publicado 1/23/2018, 3:58:52 PM, última modificação 1/24/2018, 8:35:24 AM

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.