Formalization and modeling of rules using the XTT2 method

International Journal on Artificial Intelligence Tools

Volumn 20, Issue 6, 2011, Pages 1107-1125

  Nalepa, Grzegorz J ^a   Ligza, Antoni ^a   Kaczor, Krzysztof ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

inference engine; knowledge representation; rule based systems; Rules

Indexed keywords

DECISION UNIT; KNOWLEDGE BASE; KNOWLEDGE COMPONENTS; LEVELS OF ABSTRACTION; RULE BASE; RULE BASED SYSTEM; RULE BASIS; RULE-BASED SYSTEMS; RULES; RUNTIME ENVIRONMENTS; SET OF RULES; SINGLE DECISION; STRUCTURED DESIGN; TEXTUAL REPRESENTATION; VISUAL REPRESENTATIONS;

DECISION TREES; INFERENCE ENGINES; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION;

DECISION TABLES;

EID: 84855782957     PISSN: 02182130     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218213011000541     Document Type: Article

References (31)

1. Szymon Bobek, Krzysztof Kaczor, and Grzegorz J. Nalepa. Overview of rule inference algorithms for structured rule bases. Gdansk University of Technology Faculty of ETI Annals, 18(8):57-62, 2010.
2. Tim Denvir, Jose Oliveira, and Nico Plat. The Cash-Point (ATM) 'Problem'. Formal Aspects of Computing, 12(4):211-215, December 2000.
3. Dieter Fensel, Jürgen Angele, and Dieter Landes. KARL: A knowledge acquisition and representation language. In J. C. Rault, editor, Proceedings of the 11th International Conference Expert Systems and their Applications, volume 1 (Tools, Techniques & Methods), pages 513-528, Avignon, 1991. EC2, Nanterre.
4. Charles Forgy. Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell., 19(1):17-37, 1982. (Pubitemid 13465076)
5. Joseph Giarratano and Gary Riley. Expert Systems. Principles and Programming. Thomson Course Technology, Boston, MA, United States, 4th edition, 2005.
6. Krzysztof Kluza, Grzegorz J. Nalepa, and Łukasz Łysik. Visual inference specification methods for modularized rulebases. Overview and integration proposal. In Grzegorz J. Nalepa and Joachim Baumeister, editors, 6th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 21, 2010, Karlsruhe, Germany, pages 6-17, Karlsruhe, Germany, 2010.
7. Jay Liebowitz, editor. The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.
8. Antoni Ligeza. Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg, 2006.
9. Antoni Ligeza and Grzegorz J. Nalepa. A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 1(2):117-137, 2011.
10. Grzegorz J. Nalepa. A new approach to the rule-based systems design and implementation process. Computer Science, 6:65-79, 2004.
11. Grzegorz J. Nalepa. Business Rules design and refinement using the XTT approach. In David C. Wilson, Geoffrey C. J. Sutcliffe, and FLAIRS, editors, FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference: Key West, Florida, May 7-9, 2007, pages 536-541, Menlo Park, California, 2007. Florida Artificial Intelligence Research Society, AAAI Press. (Pubitemid 350295328)
12. Grzegorz J. Nalepa. Proposal of business process and rules modeling with the XTT method. In Viorel Negru and 94., editors, Symbolic and numeric algorithms for scientific computing: SYNASC'07: 9th international symposium: RuleApps'2007 - workshop on Rule-based applications: Timisoara, Romania, September 26-29, 2007, pages 500-506, Los Alamitos, California ; Washington; Tokyo, 2007. IEEE, CPS Conference Publishing Service.
13. Grzegorz J. Nalepa. Architecture of the HeaRT hybrid rule engine. In Leszek Rutkowski and [et al.], editors, Artificial Intelligence and Soft Computing: 10th International Conference, ICAISC 2010: Zakopane, Poland, June 13-17, 2010, Pt. II, volume 6114 of Lecture Notes in Artificial Intelligence, pages 598-605. Springer, 2010.
14. Grzegorz J. Nalepa. Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków, 2011.
15. Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza, and Krzysztof Kaczor. Algorithms for rule inference in modularized rule bases. In N. Bassiliades, G. Governatori, and A. Pasckhe, editors, Rule-Based Reasoning, Programming, and Applications. 5th International Symposium, RuleML 2011. Proceedings - Europe, Barcelona, Spain, July 19-21, 2011. Lecture Notes in Computer Science, Vol. 6826 (Springer-Verlag, 2011).
16. Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza, and Krzysztof Kaczor. HalVA - rule analysis framework for XTT2 rules. In N. Bassiliades, G. Governatori, and A. Pasckhe, editors, Rule-Based Reasoning, Programming, and Applications. 5th International Symposium, RuleML 2011. Proceedings - Europe, Barcelona, Spain, July 19-21, 2011. Lecture Notes in Computer Science, Vol. 6826 (Springer-Verlag, 2011).
17. Grzegorz J. Nalepa and Antoni Ligeza. A graphical tabular model for rule-based logic programming and verification. Systems Science, 31(2):89-95, 2005.
18. Grzegorz J. Nalepa and Antoni Ligeza. XTT+ rule design using the ALSV(FD). In Adrian Giurca, Anastasia Analyti, and Gerd Wagner, editors, ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rulebased applications, RuleApps2008: Patras, 22 July 2008, pages 11-15, Patras, 2008. University of Patras.
19. Grzegorz J. Nalepa and Antoni Ligeza. On ALSV rules formulation and inference. In H. Chad Lane and Hans W. Guesgen, editors, FLAIRS-22: Proceedings of the twentysecond international Florida Artificial Intelligence Research Society conference: 19-21 May 2009, Sanibel Island, Florida, USA, pages 396-401, Menlo Park, California, 2009. FLAIRS, AAAI Press.
20. Grzegorz J. Nalepa and Antoni Ligeza. HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science, 20(1):35-53, 2010.
21. Grzegorz J. Nalepa, Antoni Ligeza, and Krzysztof Kaczor. Overview of knowledge formalization with XTT2 rules. In N. Bassiliades, G. Governatori, and A. Pasckhe, editors, Rule-Based Reasoning, Programming, and Applications. 5th International Symposium, RuleML 2011. Proceedings - Europe, Barcelona, Spain, July 19-21, 2011. Lecture Notes in Computer Science, Vol. 6826 (Springer-Verlag, 2011).
22. Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kaczor, and Weronika T. Furmanska. HeKatE rule runtime and design framework. In Adrian Giurca, Grzegorz J. Nalepa, and Gerd Wagner, editors, Proceedings of the 3rd East European Workshop on Rule-Based Applications (Rule Apps 2009) Cottbus, Germany, September 21, 2009, pages 21-30, Cottbus, Germany, 2009.
23. Ronald G. Ross. Principles of the Business Rule Approach. Addison-Wesley Professional, 2003.
24. Marcin Szpyrka and Tomasz Szmuc. Decision tables in petri net models. In Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, and Andrzej Skowron, editors, Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, volume 4585 of Lecture Notes in Computer Science, pages 648-657. Springer, 2007.
25. Ryszard Tadeusiewicz. Introduction to intelligent systems. In Bogdan M. Wilamowski and J. David Irwin, editors, Intelligent systems, The Electrical Engineering Handbook Series. The Industrial Electronics Handbook, pages 1-1-1-12. Boca Raton; London; New York: CRC Press Taylor & Francis Group, second edition, 2011.
26. I. S. Torsun. Foundations of Intelligent Knowledge-Based Systems. Academic Press, London, San Diego, New York, Boston, Sydney, Tokyo, Toronto, 1995.
27. Frank van Harmelen and John Balder. (ML)2: A formal language for KADS models. In ECAI, pages 582-586, 1992.
28. J. Vanthienen, C. Mues, A. Aerts, and G. Wets. A modularization approach to the verification of knowledge based systems. In 14th International Joint Conference on Artificial Intelligence (IJCAI'95) - Workshop on Validation & Verification of Knowledge Based Systems, Montreal, Canada 20-25 Aug 1995.
29. Jan Vanthienen, E. Dries, and J. Keppens. Clustering knowledge in tabular knowledge bases. In ICTAI, pages 88-95, 1996.
30. Jan Vanthienen and F. Robben. Developing legal knowledge based systems using decision tables. In ICAIL, pages 282-291, 1993.
31. G. Wagner, A.Giurca, and S. Lukichev. R2ml: A general approach for marking up rules. In F. Bry, F. Fages, M. Marchiori, and H. Ohlbach, editors, Principles and Practices of Semantic Web Reasoning, Dagstuhl Seminar Proceedings 05371, 2005.