Skip to main content
SpringerLink
Log in

Architecture of the HeaRT Hybrid Rule Engine

  • Conference paper
Artifical Intelligence and Soft Computing (ICAISC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6114))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)

    Google Scholar 

  2. Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)

    MATH  Google Scholar 

  3. Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005), ISBN 0-534-38447-1

    Google Scholar 

  4. Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  5. 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)

    Google Scholar 

  6. Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional, Reading (2003)

    Google Scholar 

  7. Friedman-Hill, E.: Jess in Action, Rule Based Systems in Java. Manning (2003)

    Google Scholar 

  8. Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)

    Google Scholar 

  9. Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)

    Article  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2000)

    Google Scholar 

  19. Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology and Design. Prentice Hall PTR, Englewood Cliffs (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30, 30-059, Kraków, Poland

    Grzegorz J. Nalepa

Authors
  1. Grzegorz J. Nalepa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Artificial Intelligence, Academy of Humanities and Economics, Poland

    Leszek Rutkowski

  2. Academy of Humanities and Economics in Łódź, ul. Rewolucji 1905 nr 64, Łódź, Poland

    Rafał Scherer

  3. Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30, PL-30-059, Kraków, Poland

    Ryszard Tadeusiewicz

  4. Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley Initiative in Soft Computing (BISC), 94720-1776, CA

    Lotfi A. Zadeh

  5. Computational Intelligence Laboratory Department of Electrical and Computer Engineering, University of Louisville, 40292, Louisville, KY

    Jacek M. Zurada

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation