TY - GEN
T1 - Adding uncertainty to a Rete-OO inference engine
AU - Sottara, Davide
AU - Mello, Paola
AU - Proctor, Mark
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=57349094857&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=57349094857&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-88808-6_13
DO - 10.1007/978-3-540-88808-6_13
M3 - Conference contribution
AN - SCOPUS:57349094857
SN - 3540888071
SN - 9783540888079
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 104
EP - 118
BT - Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings
PB - Springer Verlag
T2 - International Symposium on Rule Representation, Interchange and Reasoning on the Web, RuleML 2008
Y2 - 30 October 2008 through 31 October 2008
ER -