Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2012-10-16T02:30:27Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T16:23:13Z : No. of bitstreams: 1
81854.pdf: 3546639 bytes, checksum: 3d39d80e7c38aef3b4410a953c844575 (MD5) / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/75572 |
| Date | January 1989 |
| Creators | Kaestner, Celso Antonio Alves |
| 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 | x, 173f.| 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.0019 seconds