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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/75804 |
| Date | January 1991 |
| Creators | Paladino, Alvaro Daniel Arioni |
| Contributors | Universidade Federal de Santa Catarina, Garnousset, Herve Eric |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | ix, 89f.| il |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0025 seconds