|
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. |
