ALAMEDA - Aula T14: Representação semântica

6 novembro 2017, 15:30 • Nuno Mamede

Linguagens de representação de significado: representação de significado, linguagens de representação de significado (cálculo de predicados de primeira ordem, redes semânticas, enquadramentos). Propriedades das linguagens de representação de significado: verificabilidade, não ambiguidade, forma canónica, inferência e variáveis, expressividade. 

Estrutura predicado-argumentos. 

Lógica de predicados: representação de categorias, eventos e tempo.

Resolução de exercícios - análise sintáctica

3 novembro 2017, 11:00 • Luísa Coheur

Aplicação dos algoritmos de análise sintáctica estudados.

ALAMEDA - Aula L07: Cálculo-Lambda (1ª parte)

3 novembro 2017, 11:00 • Nuno Mamede

Introdução ao cálculo Lambda. Variáveis livres. Substituição. Exercícios práticos.

ALAMEDA - Aula L07: Cálculo-Lambda (1ª parte)

3 novembro 2017, 09:30 • Nuno Mamede

Introdução ao cálculo Lambda. Variáveis livres. Substituição. Exercícios práticos.

ALAMEDA - Aula L07: Cálculo-Lambda (1ª parte)

3 novembro 2017, 08:00 • Nuno Mamede

Introdução ao cálculo Lambda. Variáveis livres. Substituição. Exercícios práticos.