Abstract
In this paper a new rule engine called HeaRT (HeKatE Run Time) is proposed. It uses a custom rule representation called XTT2, which is based on a formalized rule description and allows a formalized analysis of rule quality. The engine is integrated with a complete design environment that provides visual rule design capabilities. The engine supports modularized rule bases and custom inference mechanisms. The rule-based logic can be integrated with the environment using external callback functions in Prolog and Java. In the paper the architecture of the engine is discussed as well as selected implementation issues are given.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)
Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)
Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005), ISBN 0-534-38447-1
Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)
Giurca, A., Gasevic, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey (2009)
Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional, Reading (2003)
Friedman-Hill, E.: Jess in Action, Rule Based Systems in Java. Manning (2003)
Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)
Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)
Nalepa, G.J.: Languages and tools for rule modeling. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 596–624. IGI Global, Hershey (2009)
Ligęza, A., Nalepa, G.J.: Rules verification and validation. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273–301. IGI Global, Hershey (2009)
Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science (2010) (accepted for publication)
Nalepa, G.J., Ligęza, A.: XTT+ rule design using the alsv(fd). In: Giurca, A., Analyti, A., Wagner, G. (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008, July 22, pp. 11–15. University of Patras, Patras (2008)
Nalepa, G.J., Ligęza, A., Kaczor, K., Furmańska, W.T.: HeKatE rule runtime and design framework. In: Adrian Giurca, G.W., Nalepa, G.J. (eds.) Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) Cottbus, Germany, September 21, pp. 21–30 (2009)
Bobek, S., Gawędzki, M.: Design and implementation of a runtime environment for the XTT2 rule representation method. Master’s thesis, AGH University of Science and Technology (July 2009); Supervisor: G. J. Nalepa
Nalepa, G.J., Bobek, S., Gawędzki, M., Ligęza, A.: HeaRT Hybrid XTT2 rule engine design and implementation. Technical Report CSLTR 4/2009, AGH University of Science and Technology (2009)
Ligęza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Kraków, Poland, November 26–27, pp. 105–110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne (2009)
Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2000)
Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology and Design. Prentice Hall PTR, Englewood Cliffs (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nalepa, G.J. (2010). Architecture of the HeaRT Hybrid Rule Engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds) Artifical Intelligence and Soft Computing. ICAISC 2010. Lecture Notes in Computer Science(), vol 6114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13232-2_73
Download citation
DOI: https://doi.org/10.1007/978-3-642-13232-2_73
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13231-5
Online ISBN: 978-3-642-13232-2
eBook Packages: Computer ScienceComputer Science (R0)