dc.contributor |
Universidade Federal de Santa Catarina |
pt_BR |
dc.contributor.advisor |
Garnousset, Herve Eric |
pt_BR |
dc.contributor.author |
Kaestner, Celso Antonio Alves |
pt_BR |
dc.date.accessioned |
2012-10-16T02:30:27Z |
|
dc.date.available |
2012-10-16T02:30:27Z |
|
dc.date.issued |
1989 |
|
dc.date.submitted |
1989 |
pt_BR |
dc.identifier.other |
81854 |
pt_BR |
dc.identifier.uri |
http://repositorio.ufsc.br/xmlui/handle/123456789/75572 |
|
dc.description |
Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico |
pt_BR |
dc.description.abstract |
A presente dissertação apresenta o SP1, um Sistema de Produção que manipula regras com variáveis quantificadas. O SP1 incorpora uma linguagem para representação do conhecimento, um interpretador e um ambiente para execução. A linguagem SP1 utiliza uma notação predicativa e se caracteriza por sua legibilidade e extensibilidade. Para remediar a ineficácia da operação de filtragem, crítica em um sistema de produção, o interpretador do SP1 incorpora um novo algoritmo baseado na compilação das regras, que procura reduzir ao máximo os teste a efetuar para a instanciação das regras pela construção de uma rede otimizada. Vários tipos de redundâncias estruturais são assim evitadas. Esta rede é utilizada para propagar as modificações produzidas nos dados e atualizar as instâncias sobre as regras. O ambiente de execução inclui as funções necessidades para a execução, monitoração e depuração. |
pt_BR |
dc.format.extent |
x, 173f.| il |
pt_BR |
dc.language.iso |
por |
pt_BR |
dc.subject.classification |
Automação industrial |
pt_BR |
dc.subject.classification |
Teses |
pt_BR |
dc.subject.classification |
Sistemas especialistas (Computação) |
pt_BR |
dc.subject.classification |
Inteligencia artificial |
pt_BR |
dc.title |
Contribuição ao estudo e desenvolvimento de um sistema de regras de produção |
pt_BR |
dc.type |
Dissertação (Mestrado) |
pt_BR |