Home
/
Documentos/
Ementário/
Disciplinas Específicas/
Linha de Pesquisa em Sistemas Inteligentes e Lógica/
CAIA007 - Representação de Conhecimento e Raciocínio
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.