skip to main content

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

Franco, João Luiz

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-11-14

Acesso online

  • Título:
    SOBRE AVALIAÇÃO PARCIAL DE META-INTERPRETADORES E GERAÇÃO DE NÚCLEOS ESPECÍFICOS DE SISTEMAS ESPECIALISTA
  • Autor: Franco, João Luiz
  • Orientador: Monard, Maria Carolina
  • Assuntos: Não Disponível; Not Available
  • Descrição: 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.
  • DOI: 10.11606/D.55.2018.tde-27112018-090334
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Data de criação/publicação: 1991-11-14
  • Formato: Adobe PDF
  • Idioma: Português

Buscando em bases de dados remotas. Favor aguardar.