Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/270562
Type: TESE
Title: Implementação em prolog de analisadores gramaticais para algumas linguas de introduction to montague semantics
Author: Pagani, Luiz Arthur
Advisor: Françozo, Edson, 1951-
Abstract: Resumo: Nesta tese foram desenvolvidos analisadores gramaticais para as seguintes línguas apresentadas no livro Introduction to Montague Semantics (Dowty, Wall & Peters 1981): Lo,LoE,LI e LType. Nesse manual, a apresentação da semântica de Montague é feita primeiro através da apresentação de uma parte do cálculo de predicados, seguida de sua correspondente adaptação para um fragmento do inglês; e aos poucos vão sendo introduzidas complexidades que resultam nas novas línguas. A língua Lo corresponde à parte do cálculo de predicados apenas com constantes (nomes de indivíduos e predicados); a língua LI corresponde à parte que contém as variáveis para indivíduos (chamada de primeira ordem); e em Ltype a língua é acrescida de variáveis para qualquer categoria sintática (o que é conhecido como ordem superior). Estamos empregando o termo "analisador gramatical" como tradução do termo em inglês "parser"; mas, ao contrário do que muitas vezes acontece, o analisador gramatical aqui, além de incluir um analisador sintático, inclui também um interpretador semântico. A única língua que não teve implementação completa foi LType, para a qual não foi feito o seu interpretador semântico. No entanto, essa falta fica justificada porque durante a tentativa de implementação de seu interpretador, constatou-se um defeito na especificação formal de suas regras semânticas. Assim, ao invés dessa implementação, optou-se por descrever e propor uma solução para esse problema

Abstract: A few parsers for some languages, presented in Introduction to Montague Semantics (Dowty, Wall & Peters 1981), were developed in the present dissertation. The parsers were developed for languages Lo,LOE,LI and Ltype. In their book the authors introduce Montague semantics by first presenting a version of parts of predicate calculus followed by its adaptation to the corresponding fragment of English. Additional features are introduced when moving from one language to another. Lo corresponds to the part of predicate calculus with constants only (names and predicates). LI corresponds to the part with individual variables (called first order calculus). Ltype contains variables for every type (known as high order calculus). Contrary to what is common to almost alI parsers, the ones developed here perform not only syntactic analyses but also semantic interpretations. Ltype is the only language that has no semantic interpretation associated with it. This is, however, justifiable because during the implementation of Ltype parser, an error was found on the formal especification of its semantic ruIes. So instead of simply implementing the parser, it was necessary to describe and solve that problem
Subject: Semântica
Language: Português
Editor: [s.n.]
Date Issue: 2001
Appears in Collections:IEL - Dissertação e Tese

Files in This Item:
File SizeFormat 
Pagani_LuizArthur_D.pdf5.1 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.