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

• Main Author: Paladino, Alvaro Daniel Arioni
• Other Authors: Universidade Federal de Santa Catarina
• Format: Others
• Language: Portuguese
• Published: 2012
• Subjects: Sistemas de controle; Teses; Geradores (Programas de computador)
• Online Access: http://repositorio.ufsc.br/xmlui/handle/123456789/75804

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico === Made available in DSpace on 2012-10-16T04:34:10Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T17:20:18Z : No. of bitstreams: 1 81858.pdf: 3496250 bytes, checksum: bf2b2e2779b9860cdbc472f7d9b3c56c (MD5) === 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.