Semântica computacional com Wordnet

Abstract

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.

O estudo matemático e computacional da linguagem natural passa por grandes avanços nas últimas décadas, motivado pela melhoria nas técnicas e pelas aplicações práticas. A parte semântica não é exceção, tendo sido a semântica formal um modo de abordá-la, usando lógica formal e teoria de modelos. Neste trabalho estudamos a area de semântica computacional, o lado computacional da semântica formal, revisando alguns de seus modelos e métodos básicos tais como apresentados por Blackburn e Bos (2005). Tais técnicas incluem o uso de representações subespecificadas e de provadores de teorema já disponíveis e bem desenvolvidos. Realizamos alguns dos exercícios apresentados pelos autores, expandindo a sintaxe e a semântica de um sistema inicial. Especialmente, integramos o sistema à Wordnet, um banco de dados léxicos, fornecendo um grande vocabulário dotado de informação semântica.