Disciplina

Á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

2004

Morgan Kaufmann


Secundária

Foundations of Knowledge Representation and Reasoning

Martins, João Pavão

2000

Instituto Superior Técnico


Raciocínio

Cravo, Maria dos Remédios

2000

Instituto Superior Técnico