Implementação em prolog de analisadores gramaticais para algumas linguas de introduction to montague semantics
Luiz Arthur Pagani
TESE
Português
(Broch.)
T/UNICAMP P14i
Campinas, SP : [s.n.], 2001.
171p. : il.
Orientador : Edson Françozo
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem
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...
Ver mais
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 Ver menos
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 Ver menos
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... Ver mais 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 Ver menos
In their book the authors introduce Montague semantics by first... Ver mais 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 Ver menos
Françozo, Edson, 1951-
Orientador
Ilari, Rodolfo, 1943-
Avaliador
Borges Neto, Jose, 1951-
Avaliador
Wainer, Jacques, 1958-
Avaliador
Alves, Elias Humberto, 1936-2013
Avaliador
Implementação em prolog de analisadores gramaticais para algumas linguas de introduction to montague semantics
Luiz Arthur Pagani
Implementação em prolog de analisadores gramaticais para algumas linguas de introduction to montague semantics
Luiz Arthur Pagani
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra