O formalismo dos fatores de certeza na Shell Pegasus Uncertainty Modeling

Abstract

Na área de Inteligência Artificial (IA) a solução de problemas complexos sempre gerou certo esforço por parte dos especialistas na representação do conhecimento, podendo-se observar inclusive a natureza incerta ou incompleta inerente a sua essência. Nesse sentido, a teoria dos Fatores de Certeza (FC) visa auxiliar a redução da incerteza presente nestas situações por meio da representação numérica das afirmações apresentadas, que quantificam o grau de força de uma hipótese por meio de valores no intervalo 0 e 1. Assim, esta pesquisa aborda o desenvolvimento do formalismo dos fatores de certeza na shell Pegasus Uncertainty Modeling. O fundamento metodológico dessa pesquisa concentra-se principalmente nas seguintes etapas: modelagem matemática dos fatores de certeza e aplicação do módulo desenvolvido a uma problemática clássica da área de IA. Esta pesquisa resultou em uma ferramenta desenvolvida na linguagem Java a partir do ambiente NetBeans IDE 6.0.1, voltada para o desenvolvimento de sistemas especialistas baseados em regras, a partir da utilização dos FC e da inferência pelo método de encadeamento pra frente. Foi desenvolvido um exemplo numérico na modelagem matemática que buscou auxiliar na compreensão das etapas envolvidas na utilização dos FC. Os testes foram realizados a partir de uma base de conhecimento de vinhos disponibilizada pela shell Expert SINTA, e considerados satisfatórios sendo que ambas apresentaram os mesmos resultados com relação ao objetivo do sistema.