"Lambda" PROLOG : interpretador e unificação de ordem superior
Autor(a) principal: | |
---|---|
Data de Publicação: | 1992 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1578555 |
Resumo: | Orientador : Wagner C. Amaral |
id |
UNICAMP-30_c28e4b8657ce9bd9c8c074348b08b83b |
---|---|
oai_identifier_str |
oai::51269 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
"Lambda" PROLOG : interpretador e unificação de ordem superiorLinguagem de programação (Computadores)Prolog (Linguagem de programação de computador)Engenharia elétricaOrientador : Wagner C. AmaralTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: A implementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) constitui-se num desafio ainda não vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigável permitindo estimular sua adoção e (b) dotar as implementações com um desempenho que não sacrifique sua usabilidade. A linguagem de programação para a LOS utiliza os conceitos do À-cálculo e os recursos de tipificação de Russel. Sua sintaxe é portanto mais complexa do que aquela da Lógica de Primeira Ordem (LPO). A técnica de derivação de algum conhecimento em uma base de conhecimento, formalizada conforme suas regras, assemelha-se com aquela da LPO que é chamada de resolução. Qualquer sistema de provas em LOS deve atender a restrições de uma linguagem fortemente tipada e a unificação, que apresenta problemas de incompletude, pode gerar mais do que um unificador. Isto torna a pesquisa nâ.o-determinística e faz com que a derivação contenha mais uma fonte de retroencadeamento, quando comparada com modelo de programação em LPO. Este trabalho expõe e analisa a implementação de um interpretador para a LOS sujeita a sentenças definidas positivas as quais contêm propriedades adequadas à mecanização semelhantes àquelas das cláusulas de HORN da LPO. Problemas de indecidibilidade são contornados e os vários aspectos computacionais são descritos como a formação da base de conhecimento, sua gramática e a P-derivação, que é o método de obtenção de provas sobre a base. Central a estes procedimentos encontra-se a unificação que apresenta complexidade elevada e cujo processamento é razão de depauperação na qualidade do sistema. Uma proposta de enfoque alternativa é oferecida com o propósito de atenuar os efeitos sobre a lentidão do sistema. O algoritmo resultante indica ganhos no desempenho e apresenta uma interpretação mais facilitada do mecanismo da unificaçãoAbstract: Efficient Interpreter implementations for Righer Order Logic (ROL) programming language still remain as a challenge that can be splitted into two classes: (a) to make the language friendlier in order to stimulate the user to adopt it, and (b) to provi de the interpreter with a performance that does not damage its usability. This paper resulted from an ROL interpreter prototypation, called À-PROLOG. Only the positive definite sentençes are used in the language. They are similar to those of the First Order Logic (FOL) programing language and present some apropriate mechanization properties. One kind of implementation is discribed and its computational aspects are analysed. They include the knowledgernent base formation, the grarnrnar of the sentences and the P-derivation, which is the method of deriving proofs over the base. The unification is the most important interpreter procedure and has high complexity. Its processing is one of the reazons for the depaupering of system quality. In this paper the analisies of the MATCR and SIMPL algorithms that were developed for this purpose are used to supply a new unification algorithm which, in contrast to MATCR, shows initial performance gains and an easier procedural interpretation oí the unification mechanismDoutoradoAutomaçãoDoutor em Engenharia Elétrica[s.n.]Amaral, Wagner Caradori do, 1952-Amaral., Wagner C.Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASLudwig, Artemio19921992-10-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf[146]f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1578555LUDWIG, Artemio. "Lambda" PROLOG: interpretador e unificação de ordem superior. 1992. [146]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1578555. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/51269Publicação FEEporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-04-29T15:33:20Zoai::51269Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-04-29T15:33:20Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
title |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
spellingShingle |
"Lambda" PROLOG : interpretador e unificação de ordem superior Ludwig, Artemio Linguagem de programação (Computadores) Prolog (Linguagem de programação de computador) Engenharia elétrica |
title_short |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
title_full |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
title_fullStr |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
title_full_unstemmed |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
title_sort |
"Lambda" PROLOG : interpretador e unificação de ordem superior |
author |
Ludwig, Artemio |
author_facet |
Ludwig, Artemio |
author_role |
author |
dc.contributor.none.fl_str_mv |
Amaral, Wagner Caradori do, 1952- Amaral., Wagner C. Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica Programa de Pós-Graduação em Engenharia Elétrica UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Ludwig, Artemio |
dc.subject.por.fl_str_mv |
Linguagem de programação (Computadores) Prolog (Linguagem de programação de computador) Engenharia elétrica |
topic |
Linguagem de programação (Computadores) Prolog (Linguagem de programação de computador) Engenharia elétrica |
description |
Orientador : Wagner C. Amaral |
publishDate |
1992 |
dc.date.none.fl_str_mv |
1992 1992-10-30T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
(Broch.) https://hdl.handle.net/20.500.12733/1578555 LUDWIG, Artemio. "Lambda" PROLOG: interpretador e unificação de ordem superior. 1992. [146]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1578555. Acesso em: 2 set. 2024. |
identifier_str_mv |
(Broch.) LUDWIG, Artemio. "Lambda" PROLOG: interpretador e unificação de ordem superior. 1992. [146]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1578555. Acesso em: 2 set. 2024. |
url |
https://hdl.handle.net/20.500.12733/1578555 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/51269 Publicação FEE |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf [146]f. : il. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1809188739265593344 |