Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes

AUTOR(ES)
DATA DE PUBLICAÇÃO

1993

RESUMO

Neste trabalho são propostos dois modelos formais para a representação de regras de produção nebulosas, como base em teoria de redes. A proposta desses modelos tem o objetivo de oferecer um mecanismo de representação onde os problemas relativos ao projeto, execução e verificação de bases de conhecimento nebulosas possam ser tratados de maneira uniforme e integrada. O modelo de Redes de Petri Nebulosas representa detalhadamente a execução da regra de inferência principal do raciocínio aproximado, chamada de regra composicional. O modelo de Redes de Petri Nebulosas de Alto Nível permite representar as regras nebulosas de um nível de abstração mais alto, gerando representações mais compactas e tratáveis. Os componentes de cada um desses dois modelos guardam uma relação bastante próxima, possibilitando que as informações sejam acessadas a partir do nível mais conveniente a cada fase do desenvolvimento de sistemas. A modelagem de vários tipos de regras como regras com múltiplos antecedentes, regras quantificadas e qualificadas, regras paralelas, regras conflitantes e fontes parciais de informação é discutida. Dois algoritmos de raciocínio aproximado são apresentados, utilizando as estratégias de encadeamento para frente e encadeamento para trás. A questão de verificação de inconsistência entre regras de produção nebulosas é discutida. Procedimentos para verificação da existência de conflitos em potencial, tanto a nível local como a nível global, são apresentados

ASSUNTO(S)

redes de petri conjuntos difusos

ACESSO AO ARTIGO

Documentos Relacionados