Implementação em prolog de analisadores gramaticais para algumas linguas de introduction to montague semantics

• Main Author: Pagani, Luiz Arthur
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 2001
• Subjects: Semântica
• Online Access: PAGANI, Luiz Arthur. Implementação em prolog de analisadores gramaticais para algumas linguas de introduction to montague semantics. 2001. 171p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/270562>. Acesso em: 31 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/270562

Orientador : Edson Françozo === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem === Made available in DSpace on 2018-07-31T14:50:20Z (GMT). No. of bitstreams: 1 Pagani_LuizArthur_D.pdf: 5226511 bytes, checksum: 343b678114d53cbfe98c6df5acd7943f (MD5) Previous issue date: 2001 === 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 === Doutorado === Doutor em Linguística