Ferramentas do usuário

Ferramentas do site


caia007

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.
caia007.txt · Última modificação: 2015/12/08 21:08 por nadiap

Ferramentas da página