Matches in SemOpenAlex for { <https://semopenalex.org/work/W958362259> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- W958362259 abstract "A implementacao de interpretadores para a linguagem da Logica de Ordem Superior (LOS) constitui-se num desafio ainda nao vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigavel permitindo estimular sua adocao e (b) dotar as implementacoes com um desempenho que nao sacrifique sua usabilidade. A linguagem de programacao para a LOS utiliza os conceitos do A-calculo e os recursos de tipificacao de Russel. Sua sintaxe e portanto mais complexa do que aquela da Logica de Primeira Ordem (LPO). A tecnica de derivacao de algum conhecimento em uma base de conhecimento, formalizada conforme suas regras, assemelha-se com aquela da LPO que e chamada de resolucao. Qualquer sistema de provas em LOS deve atender a restricoes de uma linguagem fortemente tipada e a unificacao, que apresenta problemas de incompletude, pode gerar mais do que um unificador. Isto torna a pesquisa nâ.o-deterministica e faz com que a derivacao contenha mais uma fonte de retroencadeamento, quando comparada com modelo de programacao em LPO. Este trabalho expoe e analisa a implementacao de um interpretador para a LOS sujeita a sentencas definidas positivas as quais contem propriedades adequadas a mecanizacao semelhantes aquelas das clausulas de HORN da LPO. Problemas de indecidibilidade sao contornados e os varios aspectos computacionais sao descritos como a formacao da base de conhecimento, sua gramatica e a P-derivacao, que e o metodo de obtencao de provas sobre a base. Central a estes procedimentos encontra-se a unificacao que apresenta complexidade elevada e cujo processamento e razao de depauperacao na qualidade do sistema. Uma proposta de enfoque alternativa e oferecida com o proposito de atenuar os efeitos sobre a lentidao do sistema. O algoritmo resultante indica ganhos no desempenho e apresenta uma interpretacao mais facilitada do mecanismo da unificacao.Abstract" @default.
- W958362259 created "2016-06-24" @default.
- W958362259 creator A5043563000 @default.
- W958362259 creator A5063237819 @default.
- W958362259 date "1992-10-30" @default.
- W958362259 modified "2023-09-23" @default.
- W958362259 title "Lambda PROLOG : interpretador e unificação de ordem superior" @default.
- W958362259 hasPublicationYear "1992" @default.
- W958362259 type Work @default.
- W958362259 sameAs 958362259 @default.
- W958362259 citedByCount "0" @default.
- W958362259 crossrefType "journal-article" @default.
- W958362259 hasAuthorship W958362259A5043563000 @default.
- W958362259 hasAuthorship W958362259A5063237819 @default.
- W958362259 hasConcept C121332964 @default.
- W958362259 hasConcept C138885662 @default.
- W958362259 hasConcept C15708023 @default.
- W958362259 hasConceptScore W958362259C121332964 @default.
- W958362259 hasConceptScore W958362259C138885662 @default.
- W958362259 hasConceptScore W958362259C15708023 @default.
- W958362259 hasLocation W9583622591 @default.
- W958362259 hasOpenAccess W958362259 @default.
- W958362259 hasPrimaryLocation W9583622591 @default.
- W958362259 isParatext "false" @default.
- W958362259 isRetracted "false" @default.
- W958362259 magId "958362259" @default.
- W958362259 workType "article" @default.