Formalism for Description of Decision Rules

  • Grzegorz J. NalepaEmail author
Part of the Intelligent Systems Reference Library book series (ISRL, volume 130)


In this chapter we discuss the eXtended Tabular Trees knowledge representation method for rules. It uses strict formalization of rule syntax and improves design and verification of RBS. It is the core of the Semantic Knowledge Engineering approach. This chapter discusses the core features of XTT. We begin with the formalization of single rules with the ALSV(FD) logic. Inference with ALSV(FD) is discussed next. Based on this, the formalization of rule bases with the XTT method is discussed. Then rule base modularization is described. Such rule bases need custom inference algorithms considered next. Finally, the formalization allows for the XTT rule bases to be verified.


  1. 1.
    Nalepa, G.J., Ligęza, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. Int. J. Artif. Intell. Tools 20(6), 1107–1125 (2011)CrossRefGoogle Scholar
  2. 2.
    Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)Google Scholar
  3. 3.
    Ligęza, A., Wojnicki, I., Nalepa, G.J.: Tab-trees: a case tool for design of extended tabular systems. In: Mayr, H.C., Lazansky, J., Quirchmayr, G., Vogel, P. (eds.) Database and Expert Systems Applications. Lecture Notes in Computer Sciences, vol. 2113, pp. 422–431. Springer, Berlin (2001)CrossRefGoogle Scholar
  4. 4.
    Nalepa, G.J.: A new approach to the rule-based systems design and implementation process. Comput. Sci. 6, 65–79 (2004)Google Scholar
  5. 5.
    Nalepa, G.J., Ligęza, A.: A graphical tabular model for rule-based logic programming and verification. Syst. Sci. 31(2), 89–95 (2005)zbMATHGoogle Scholar
  6. 6.
    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: Patras, 22 July 2008, pp. 11–15. University of Patras, Patras (2008)Google Scholar
  7. 7.
    Nalepa, G.J., Ligęza, A.: On ALSV rules formulation and inference. In: Lane, H.C., Guesgen, H.W. (eds.) FLAIRS-22: Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference: 19–21 May 2009, Sanibel Island, Florida, USA, Menlo Park, California, FLAIRS, pp. 396–401. AAAI Press (2009)Google Scholar
  8. 8.
    Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. Int. J. Appl. Math. Comput. Sci. 20(1), 35–53 (2010)CrossRefzbMATHGoogle Scholar
  9. 9.
    Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Berlin (2006)zbMATHGoogle Scholar
  10. 10.
    Gouyon, J.P.: Kheops users’s guide. Technical Report 92503, Report of Laboratoire d’Automatique et d’Analyse des Systemes, Toulouse, France (1994)Google Scholar
  11. 11.
    Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005). ISBN 0-534-38447-1Google Scholar
  12. 12.
    OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Technical report formal/2011-01-03, Object Management Group (January 2011)Google Scholar
  13. 13.
    Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: Algorithms for rule inference in modularized rule bases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) Rule-Based Reasoning, Programming, and Applications. Lecture Notes in Computer Science, vol. 6826, pp. 305–312. Springer, Berlin (2011)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.AGH University of Science and TechnologyKrakówPoland

Personalised recommendations