Semântica computacional com Wordnet
Título da Revista
ISSN da Revista
Título de Volume
Mathematical and computational studies of natural language has been advancing largely in the last decades, prompted by development on techniques and by practical applications. The semantical side is no exception, being approached by formal semantics, which uses formal logic and model theory. This work studies computational semantics, a computational view on formal semantics. We revise some of its basic models and methods as they are presented by Blackburn e Bos (2005). These techniques include underspeci- fied representations and the use of powerful off-the-shelf theorem provers. We do some exercises, improving syntax and semantics of an initial system. Particularly, we integrate the system to Wordnet, an lexical database, providing a large vocabulary endowed with semantical information.