Representação do Conhecimento

Código:

MCI0001

Sigla:

RC

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência da Informação

Ocorrência: 2010/2011 - 1S

Ativa?	Sim
Página Web:	http://moodle.fe.up.pt/1011/course/view.php?id=501
Unidade Responsável:	Departamento de Engenharia Informática
Curso/CE Responsável:	Mestrado em Ciência da Informação

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
MCI	33	Plano de estudos oficial	1	-	6	60	162

Língua de trabalho

Português

Objetivos

No final desta disciplina o aluno deverá ser capaz de:
-Descrever sumariamente os principais marcos na história da representação do conhecimento, nas áreas da filosofia e da computação;
-Usar a técnica dos mapas conceptuais para captar a realidade num domínio escolhido;
-Usar a Lógica de 1ª ordem como ferramenta de representação de conhecimento e para inferência;
-Relacionar a representação de conhecimento em lógica com a representação de dados em bases de dados;
-Basear a representação de um domínio numa ontologia, e justificar a escolha dos conceitos;
-Descrever os princípios da web semântica e a sua relação com a representação de conhecimento clássica;
-Representar conhecimento de um domínio usando as ferramentas de ontologias da web semântica;
-Escolher ferramentas para apoiar a componente de representação de conhecimento num projecto.

Programa

A representação de conhecimento ao longo do tempo: de Aristóteles à Lógica de Predicados, às bases de dados, à web semântica.
Os mapas conceptuais. Fundamentos. Aplicações. Ferramentas.
Lógica Proposicional. Representação de factos. Conectivas. Inferência.
Lógica de Predicados. Quantificação. Inferência. Automatização do raciocínio.
A representação de factos e o modelo relacional. Interrogação de bases de dados.
Ontologia para um domínio. Escolha e representação da ontologia. Linguagens para ontologias. OWL. Inferência em linguagens de ontologias.

Bibliografia Obrigatória

Sowa, John F.; Knowledge representation. ISBN: 0-534-94965-7

Bibliografia Complementar

Barwise, Jon; Language proof and logic. ISBN: 1-889119-08-3
W3C Semantic Web Activity: http://www.w3.org/2001/sw/

Métodos de ensino e atividades de aprendizagem

Aulas de exposição, pontuadas com exercícios, alguns em computador, e com apresentações pelos alunos de tópicos seleccionados.

Software

Protégé
LPL Software

Palavras Chave

Ciências Físicas > Ciência de computadores > Informática

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

Descrição	Tipo	Tempo (Horas)	Peso (%)	Data Conclusão
Participação presencial (estimativa)	Participação presencial	44,00
Exercício de Mapa de Conceitos	Teste	10,00		2010-10-04
Trabalho 1: Lógica	Defesa pública de dissertação, de relatório de projeto ou estágio, ou de tese	20,00		2010-11-08
Trabalho 2: Web Semântica	Defesa pública de dissertação, de relatório de projeto ou estágio, ou de tese	20,00		2010-12-06
Mini-Teste 1	Exame	1,00		2010-11-15
Mini-Teste 2	Exame	1,00		2010-12-06
	Total:	-	0,00

Componentes de Ocupação

Descrição	Tipo	Tempo (Horas)	Data Conclusão
Estudo	Estudo autónomo	66	2010-12-06
	Total:	66,00

Obtenção de frequência

Mínimos para obtenção de frequência:
50% avaliação prática (trabalhos)
50% avaliação teórica (mini-testes)

Fórmula de cálculo da classificação final

Nota final = arredonda( 10% * Exercício Mapa de Conceitos + 25% * Trabalho 1 + 25% * Trabalho 2 + 20% * Mini-Teste 1 + 20% * Mini-Teste 2 ).

Provas e trabalhos especiais

Não há. Os estudantes que frequentam ao abrigo de regimes que não o ordinário têm de cumprir os requisitos de avaliação da unidade curricular nas épocas estabelecidas.

Avaliação especial (TE, DA, ...)

A avaliação distribuída, realizada durante o semestre de funcionamento da unidade curricular, é exigida a todos os estudantes, independentemente do regime de inscrição.

Melhoria de classificação

A melhoria da classificação requer a inscrição na edição seguinte da disciplina.