Sumários

semana 10

9 Maio 2019, 14:00 António Manuel Horta Branco

Modelação da linguagem: aplicações (1ª parte)

(com laboratório)


Na aula:

Modelação do conhecimento linguístico e suas aplicações: um primeiro caso de estudo e implementação exemplificativa. Tradução automática.

Prolog: Manipulação de bases de dados: assert/1, retract/1, findall/3, bagof/3, setof/3.

Um segundo caso de estudo e implementação exemplificativa. Interface em linguagem natural com bases de dados



Após a aula:
estudar NLPPP: Cap.8.1-8.2; Cap.7.3.5; Cap.7.4
estudar manual LPN: Cap. 11.

Antes da próxima aula:
exercícios a resolver: Sessão Prática Cap.11


semana 9

2 Maio 2019, 16:00 António Manuel Horta Branco

Processamento Semântico


Na aula:
Resultado de Barwise & Cooper (1981). Quantificador generalizado. Linguagem de Quantificadores Generalizados (LQG): Sintaxe e Semântica. Análise semântica automática com LQG. Implementação em Prolog.
Prolog: Corte e negação.
Realização do Exercício Longo C.

Após a aula:
- estudar NLPPP: Cap. 7.3.1 a 7.3.4.
- resolver os exercícios dessas secções: 3.1.1-3.4.1
- estudar LPN: Cap.10.

Antes da próxima aula:
- implementar, testar, seguir "traces", alargar e experimentar esta gramática para análise semântica de um fragmento do português.


semana 9

2 Maio 2019, 14:00 António Manuel Horta Branco

Processamento Semântico


Na aula:
Resultado de Barwise & Cooper (1981). Quantificador generalizado. Linguagem de Quantificadores Generalizados (LQG): Sintaxe e Semântica. Análise semântica automática com LQG. Implementação em Prolog.
Prolog: Corte e negação.
Realização do Exercício Longo C.

Após a aula:
- estudar NLPPP: Cap. 7.3.1 a 7.3.4.
- resolver os exercícios dessas secções: 3.1.1-3.4.1
- estudar LPN: Cap.10.

Antes da próxima aula:
- implementar, testar, seguir "traces", alargar e experimentar esta gramática para análise semântica de um fragmento do português.


semana 8

11 Abril 2019, 16:00 António Manuel Horta Branco

Análise Semântica
(com laboratório)

Modelação e Processamento Computacionais da Semântica. Significado. Condições de Verdade. Representação semântica. Meta-linguagem. LPO: Sintaxe e Semântica. Composicionalidade. Formalismo Lambda. Gramática para análise sintática e semântica de um fragmento do português. Análise semântica automática. Implementação em Prolog.


semana 8

11 Abril 2019, 14:00 António Manuel Horta Branco

Análise Semântica
(com laboratório)

Modelação e Processamento Computacionais da Semântica. Significado. Condições de Verdade. Representação semântica. Meta-linguagem. LPO: Sintaxe e Semântica. Composicionalidade. Formalismo Lambda. Gramática para análise sintática e semântica de um fragmento do português. Análise semântica automática. Implementação em Prolog.