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.