"Lambda" PROLOG : interpretador e unificação de ordem superior

Detalhes bibliográficos
Autor(a) principal: Ludwig, Artemio
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