Um gerador de programas para sistemas de regras de produção visando a eficiencia na execução

Abstract

Esta dissertação apresenta o SPP, um Sistema de Produção Proporcional desenvolvido com características adequadas para sua utilização em aplicações de tempo real, embora possa ser igualmente usado para outro tipo de aplicações. O SPP é implementado como um gerador de programa, têmuma sintaxe lisp-like e uma boa capacidade matemática. Requer a declaração explícita de atributos e funções, está baseado na lógica proporcional e sua máquina de inferência trabalha sem backtracking, com raciocínio não monotônico, em encadeamento para frente e atendendo as estratégias clássicas de resolução de conflitos. Para conseguir uma boa eficiência de execução, a linguagem C foi escolhida como base do desenvolvimento, sendo usada tanto para o sistema especialista gerado como para o programa gerador. Por outro lado, uma interface ampla e flexível entre SPP e a linguagem C insere o sistema num contexto de programação híbrida (mistura de procedural e não procedural), necessário para compatibilizar o tempo real com os sistemas especialistas.