Adding Uncertainty to a Rete-OO Inference Engine

  • Authors:
  • Davide Sottara;Paola Mello;Mark Proctor

  • Affiliations:
  • DEIS, Facolta di Ingegneria, Universita di Bologna, Bologna (BO), Italy 40131;DEIS, Facolta di Ingegneria, Universita di Bologna, Bologna (BO), Italy 40131;JBoss, a division of Red Hat,

  • Venue:
  • RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The RETE algorithm has been used to implement first-order logic based inference engines and its object-oriented extension allows to reason directly over entities rather than predicates. One of the limitations of FOL is its inability to deal with uncertainty, although it exists in many forms and it is typical of the way humans reason. In this paper, the steps of a general uncertain reasoning are outlined, without choosing a specific type or representation of uncertainty. Then, the process is translated into a further extension of the RETE networks, showing a possible architecture allowing a Rete-OO based engine to reason with uncertain rules. This architecture is being implemented in the Drools rule engine.