From HLT@INESC-ID
Date
- April 04, 1999
Speaker
- Irene Rodrigues, Universidade de Évora e Universidade Nova de Lisboa
Abstract
Apresentação da DRT de H. Kamp, realçando os algoritmos de construção das DRSs de um discurso para os nomes próprios, pronomes, substantivos, oracções relativas, negações, condicionais e frases com o quantificador para todo. Semântica das DRS e sua equivalência com a lógica de predicados de 1 ordem. Resolução de anáfora e acessibilidade.