Sumários

semana 10

30 Abril 2020, 16:00 • António Manuel Horta Branco


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

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

semana 10

30 Abril 2020, 14:00 • António Manuel Horta Branco


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

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

semana 9

23 Abril 2020, 16:00 • António Manuel Horta Branco

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.

semana 9

23 Abril 2020, 14:00 • António Manuel Horta Branco

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.

semana 8

16 Abril 2020, 16:00 • António Manuel Horta Branco

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.