Subscribe

Issue No.11 - November (2010 vol.22)

pp: 1535-1548

Davide Sottara , University of Bologna, Bologna

Paola Mello , University of Bologna, Bologna

Mark Proctor , JBoss, London

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2010.125

ABSTRACT

The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, require some degree of vagueness or uncertainty to be handled in a robust and efficient manner, imposing a trade-off between the number of rules and the cases that can be handled with sufficient accuracy. Thus, in the first part of the paper, an extension of RETE networks is proposed, capable of handling a more general inferential process, which actually includes several types of schemes for reasoning with imperfect information. In particular, the architecture depends on a number of configuration parameters which could be set by the user, individually or as a whole for the entire rule base. The second part, then, shows how an appropriate combination of parameters can be used to emulate some of the most common, specialized engines: 3-valued logic, classical certainty factors, fuzzy, many-valued logic and Bayesian networks.

INDEX TERMS

Inference engines, nonmonotonic reasoning and belief revision, rule-based processing, uncertainty, “fuzzy” and probabilistic reasoning.

CITATION

Davide Sottara, Paola Mello, Mark Proctor, "A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information",

*IEEE Transactions on Knowledge & Data Engineering*, vol.22, no. 11, pp. 1535-1548, November 2010, doi:10.1109/TKDE.2010.125REFERENCES

- [1] B.G. Buchanan and E.H. Shortliffe,
Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, 1984.- [2] J. Pearl,
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publishers, 1988.- [3] D. Dubois and H. Prade,
Fuzzy Sets and Systems: Theory and Applications. Academic Press, 1980.- [4] A. Kamiya, S.J. Ovaska, R. Roy, and S. Kobayashi, "Fusion of Soft Computing and Hard Computing for Large-Scale Plants: A General Model,"
Applied Soft Computing, vol. 5, no. 3, pp. 265-279, 2005.- [5] B. Sick, "Fusion of Soft and Hard Computing Techniques in Indirect, Online Tool Wear Monitoring,"
IEEE Trans. Systems, Man, and Cybernetics, Part C, vol. 32, no. 2, pp. 80-91, May 2002.- [6] P. Smets, "Imperfect Information: Imprecision and Uncertainty,"
Uncertainty Management in Information Systems, pp. 225-254, Springer, http://dblp.uni-trier.de/rec/bibtex/books/ kl/ motroS96Smets96, 1996.- [7] "W3C Uncertainty Reasoning for the Web Incubator Group," http://www.w3.org/2005/incubator/urw3xgr-urw3 , 2010.
- [8] L.A. Zadeh, "Toward a Generalized Theory of Uncertainty (GTU): An Outline,"
Information Sciences: An Int'l J., vol. 172, nos. 1 & 2, pp. 1-40, http://dx.doi.org/10.1016j.ins.2005.01.017 , June 2005.- [9] C.V. Damásio, J.Z. Pan, G. Stoilos, and U. Straccia, "Representing Uncertainty in RuleML,"
Fundamenta Informaticae, vol. 82, no. 3, pp. 265-288, 2008.- [10] J.F. Baldwin, T.H. Cao, T.P. Martin, and J.M. Rossiter, "Implementing Fril++ for Uncertain Object-Oriented Logic Programming,"
Proc. Eighth Int'l Conf. Information Processing and Management of Uncertainty in Knowledge-Based System, 2000.- [11] J.C. Giarratano and G.D. Riley,
Expert Systems: Principles and Programming, fourth ed., Course Technology, http://www. amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path= ASIN 0534384471 , Oct. 2004.- [12] C. Forgy, "Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem,"
Artificial Intelligence, vol. 19, no. 1, pp. 17-37, 1982.- [13] R.B. Doorenbos, "Production Matching for Large Learning Systems," Technical Report CS-95-113, School of Computer Science, Carnegie Mellon Univ., 1995.
- [14] D. Batory, "The Leaps Algorithm," technical report, 1994.
- [15] D.P. Miranker,
TREAT: A New and Efficient Match Algorithm for AI Production Systems. Morgan Kaufmann Publishers, 1990.- [16] M. Proctor,
Drools, http://www.jboss.orgdrools/, 2010.- [17] M. Nickles and D. Sottara, "Rules and Uncertainty: A Survey,"
Proc. Int'l Symp. Rule Representation, Interchange and Reasoning on the Web (RuleML '09), 2009.- [18] Z.A. Sosnowski, "Chaining of Fuzzy Rules in RETE Network,"
Proc. Int'l Conf. Seventh Fuzzy Days on Computational Intelligence, Theory and Applications, pp. 895-903, 2001.- [19] J. Pan, G. Desouza, and A. Kak, "FuzzyShell: A Large-Scale Expert System Shell Using Fuzzy Logic for Uncertainty Reasoning,"
IEEE Trans. Fuzzy Systems, vol. 6, no. 4, pp. 563-581, Nov. 1998.- [20] D. Sottara, P. Mello, and M. Proctor, "Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems,"
Proc. Int'l Symp. Rule Representation, Interchange and Reasoning on the Web (RuleML '09), 2009.- [21] D. Sottara, P. Mello, and M. Proctor, "Adding Uncertainty to a Rete-OO Inference Engine,"
Proc. Int'l Symp. Rule Representation, Interchange and Reasoning on the Web (RuleML), N. Bassiliades, G. Governatori, and A. Paschke, eds., pp. 104-118, http://dx.doi. org/10.1007978-3-540-88808-6_13 , 2008.- [22] E. Gamma, R. Helm, R. Johnson, and J. Vlissides,
Design Patterns Elements of Reusable Object-Oriented Software. Addison-Wesley, 2000.- [23] L. Hall, "Rule Chaining in Fuzzy Expert Systems,"
IEEE Trans. Fuzzy Systems, vol. 9, no. 6, pp. 822-828, Dec. 2001.- [24] J. Fox, "Towards a Reconciliation of Fuzzy Logic and Standard Logic,"
Int'l J. Man-Machine Studies, vol. 15, no. 2, pp. 213-220, 1981.- [25] Y. Bai, H. Zhuang, and D. Wang,
Advanced Fuzzy Logic Technologies in Industrial Applications. Springer, 2006.- [26] D. Dubois, F. Esteva, L. Godo, and H. Prade, "Fuzzy-Set Based Logics an History-Oriented Presentation of Their Main Developments,"
Handbook of The History of Logic, vol. 8, D.M. Gabbay and J. Woods, eds., pp. 325-449, Elsevier, 2007.- [27] C. Hughes, "The Representation of Uncertainty in Medical Expert Systems,"
Medical Informatics & The Internet in Medicine, vol. 14, no. 4, pp. 269-279, 1989.- [28] K.T. Atanassov, M. Koshelev, V. Kreinovich, B. Rachamreddy, and H. Yasemis, "Fundamental Justification of Intuitionistic Fuzzy Logic and of Interval-Valued Fuzzy Methods," citeseer.ist.psu. eduatanassov95fundamental.html , 2010.
- [29] T. Denoeux, "Reasoning with Imprecise Belief Structures,"
Int'l J. Approximate Reasoning, vol. 20, pp. 79-111, 1999.- [30] P. Logic, D. Dubois, and H. Prade, "Possibilistic Logic," http://citeseerx.ist.psu.edu/viewdocsummary?doi=10.1.1.54.7792 , 1992.
- [31] P. Magrez and P. Smets, "Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems,"
Int'l J. Intelligent Systems, vol. 4, no. 2, pp. 181-200, http://dx.doi.org/10.1002int.4550040205, 1989.- [32] P. Hájek,
Metamathematics of Fuzzy Logic, vol. 4, Kluwer Academic Publishers, 1998.- [33] B. Bouchon-Meunier, D. Dubois, L. Godo, and H. Prade, "Fuzzy Sets and Possibility Theory in Approximate and Plausible Reasoning,"
Fuzzy Sets in Approximate Reasoning and Information Systems, pp. 15-190, Kluwer Academic Publishers, 1999.- [34] D. Dubois, E. Hüllermeier, and H. Prade, "A Systematic Approach to the Assessment of Fuzzy Association Rules,"
Data Mining and Knowledge Discovery, vol. 13, no. 2, pp. 167-192, http://dx.doi.org/10.1007s10618-005-0032-4 , 2006.- [35] P. Smets, "Analyzing the Combination of Conflicting Belief Functions,"
Information Fusion, vol. 8, no. 4, pp. 387-412, 2007.- [36] J.L. Pollock, "Defeasible Reasoning with Variable Degrees of Justification,"
Artificial Intelligence, vol. 133, nos. 1/2, pp. 233-282, 2001.- [37] D. Dubois and H. Prade, "Can We Enforce Full Compositionality in Uncertainty Calculi,"
Proc. 11th Nat'l Conf. Artificial Intelligence (AAAI '94), vol. 1, pp. 149-154, http://citeseerx.ist.psu.edu/viewdocsummary?doi=10.1.1.54.9413 , 1994.- [38] D. Sottara, G. Colombini, L. Luccarini, A. Manservisi, and P. Mello, "A CEP-Based SOA for the Management of Wastewater Treatment Plants,"
Proc. IEEE Workshop Environmental, Energy, and Structural Monitoring Systems (EESMS '09), Sept. 2009. |