Adding uncertainty to a Rete-OO inference engine

Davide Sottara, Paola Mello, Mark Proctor

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

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.

Original languageEnglish (US)
Title of host publicationRule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings
Pages104-118
Number of pages15
DOIs
StatePublished - Dec 15 2008
Externally publishedYes
EventInternational Symposium on Rule Representation, Interchange and Reasoning on the Web, RuleML 2008 - Orlando, FL, United States
Duration: Oct 30 2008Oct 31 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5321 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Symposium on Rule Representation, Interchange and Reasoning on the Web, RuleML 2008
CountryUnited States
CityOrlando, FL
Period10/30/0810/31/08

Fingerprint

Inference engines
Inference Engine
Engine
Uncertain Reasoning
Uncertainty
First-order Logic
Predicate
Object-oriented
Architecture
Human
Form

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sottara, D., Mello, P., & Proctor, M. (2008). Adding uncertainty to a Rete-OO inference engine. In Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings (pp. 104-118). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5321 LNCS). https://doi.org/10.1007/978-3-540-88808-6-13

Adding uncertainty to a Rete-OO inference engine. / Sottara, Davide; Mello, Paola; Proctor, Mark.

Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings. 2008. p. 104-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5321 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sottara, D, Mello, P & Proctor, M 2008, Adding uncertainty to a Rete-OO inference engine. in Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5321 LNCS, pp. 104-118, International Symposium on Rule Representation, Interchange and Reasoning on the Web, RuleML 2008, Orlando, FL, United States, 10/30/08. https://doi.org/10.1007/978-3-540-88808-6-13
Sottara D, Mello P, Proctor M. Adding uncertainty to a Rete-OO inference engine. In Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings. 2008. p. 104-118. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-88808-6-13
Sottara, Davide ; Mello, Paola ; Proctor, Mark. / Adding uncertainty to a Rete-OO inference engine. Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings. 2008. pp. 104-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{56b92aaa1669498eb141078ac12261ba,
title = "Adding uncertainty to a Rete-OO inference engine",
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.",
author = "Davide Sottara and Paola Mello and Mark Proctor",
year = "2008",
month = "12",
day = "15",
doi = "10.1007/978-3-540-88808-6-13",
language = "English (US)",
isbn = "3540888071",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "104--118",
booktitle = "Rule Representation, Interchange and Reasoning on the Web - International Symposium, RuleML 2008, Proceedings",

}

TY - GEN

T1 - Adding uncertainty to a Rete-OO inference engine

AU - Sottara, Davide

AU - Mello, Paola

AU - Proctor, Mark

PY - 2008/12/15

Y1 - 2008/12/15

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

ER -