Disciplina
Representação do Conhecimento e Raciocínio
Área
Área Científica de Inteligência Artificial > Tecnologia de Inteligência Artificial
Activa nos planos curriculares
MEIC-A 2021 > MEIC-A 2021 > 2º Ciclo > Area Principal > Agrupamentos > Inteligência Artificial > Representação do Conhecimento e Raciocínio
MEIC-T 2021 > MEIC-T 2021 > 2º Ciclo > Área Principal > Agrupamentos > Inteligência Artificial > Representação do Conhecimento e Raciocínio
MEIC-T 2015 > MEIC-T 2015 > 2º Ciclo > Agrupamentos > Sistemas Inteligentes > Representação do Conhecimento e Raciocínio
MEIC-A 2015 > MEIC-A 2015 > 2º Ciclo > Agrupamentos > Sistemas Inteligentes > Representação do Conhecimento e Raciocínio
MEIC-T 2006 > MEIC-T 2006 > 2º Ciclo > Áreas de Especialização Complementares > Sistemas Inteligentes > Representação do Conhecimento e Raciocínio
MEIC-A 2006 > MEIC-A 2006 > 2º Ciclo > Área de Especialização Complementar > Sistemas Inteligentes > Representação do Conhecimento e Raciocínio
Nível
2 testes, valem 70% da nota final, média mínima de 9,5 1 projecto, vale 30% da nota final, nota mínima de 9,5
Tipo
Não Estruturante
Regime
Semestral
Carga Horária
1º Semestre
3.0 h/semana
1.5 h/semana
147.0 h/semestre
Objectivos
Fornecer uma perspectiva de métodos avançados de representação de conhecimento e de raciocínio. Com a frequência da disciplina pretende-se que os alunos tenham conhecimento sobre métodos de representação do conhecimento que complementam a representação em lógica clássica, entendam as necessidades de formalismos para a representação de informação não tratada com lógica clássica e os mecanismos de raciocínio subjacentes. Os alunos ficarão com conhecimento correspondente à representação de grandes quantidades de conhecimento e da sua partilha entre vários sistemas.
Programa
Representação e raciocínio: Introdução, Lógica modal, Redes semânticas, Lógicas terminológicas, Lógicas não monótonas, Revisão de crenças, Herança de propriedades, Ontologias.
Metodologia de avaliação
2 testes, valem 70% da nota final, média mínima de 9,5 1 projecto, vale 30% da nota final, nota mínima de 9,5
Pré-requisitos
Componente Laboratorial
Princípios Éticos
Componente de Programação e Computação
Componente de Competências Transversais
Bibliografia
Principal
Knowledge representation and reasoning
Ronald J. Brachman, Hector J. Levesque
Secundária
Foundations of Knowledge Representation and Reasoning