SOBRE AVALIAÇÃO PARCIAL DE META-INTERPRETADORES E GERAÇÃO DE NÚCLEOS ESPECÍFICOS DE SISTEMAS ESPECIALISTA

• Ano de defesa: 1991
• Autor(a) principal: Franco, João Luiz
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Não disponível; Not available
• Link de acesso: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27112018-090334/

Para facilitar a tarefa de implementação de sistemas, as linguagens de programação devem ter uma maior expressividade. no entanto, o aumento do poder de expressão das linguagens frequentemente diminui a eficiência dos programas desenvolvidos a partir delas. A linguagem Prolog tem um poder de expressão considerável. Além disso, essa expressividade pode ser facilmente aumentada. Porém, esse aumento de expressividade diminui consideravelmente a eficiência de execução. Neste trabalho, são abordados dois métodos para aumentar a eficiência de programas Prolog sem diminuir a expressividade da linguagem. A facilidade de meta-programação é uma característica muito poderosa da linguagem Prolog. No entanto, introduz um nível extra de interpretação durante a execução do programa. Um dos métodos apresentados - a Avaliação Parcial - pode ser utilizada para remover o nível extra de interpretação, viabilizando a utilização de meta-programação - principalmente na implementação de Sistemas Especialistas. Neste trabalho, é discutidoi e implementado um avaliador parcial de meta-interpretadores, além de mostrar como ele pode ser utilizado com diferentes tipos de meta-interpretadores. O outro método abordado - Especialização de Programas - é utilizado para construir programas específicos a partir de um programa geral. Isto é feito retirando-se do programa geral as cláusulas desnecessárias para uma aplicação específica. Neste trabalho, apresenta-se uma implementação onde a Especialização de Programas é utilizada para gerar Núcleos de Sistemas Especialistas específicos a partir de um Núcleo de Sistemas Especialistas geral.