Resumen de Proposta para desenvolvimento de um sistema especialista paraconsistente aplicado em Técnicas de CMM
Neste trabalho procuramos enfatizar a crescente necessidade de se lidar com variáveis não categóricas a fim de contornar as limitações do modelo da lógica clássica utilizado na modelagem de sistemas especialistas. Nossa proposta é valer- se da Lógica Paraconsistente Anotada (LPA2v) como mais um recurso para a modelagem do conhecimento humano. A LPA2v tem se mostrado eficaz em situações de contradição, ambigüidade, incerteza e paracompleteza presentes no cotidiano humano. Em particular, este trabalho enfatiza o uso de Tabelas de Valoração de CMM (Capability Maturity Model) como um dos recursos de considerar variáveis categóricas em conjuntos de variáveis de uma mesma classe, mas com anotações diferentes. Além desta primeira consideração, a LPA2v resu do conhecimento humano. lta, a nosso ver, um campo promissor para o desenvolvimento da modelagem
