The HeKatE methodology. Hybrid engineering of intelligent systems

Grzegorz J. Nalepa; Antoni Ligęza

International Journal of Applied Mathematics and Computer Science (2010)

  • Volume: 20, Issue: 1, page 35-53
  • ISSN: 1641-876X

Abstract

top
This paper describes a new approach, the HeKatE methodology, to the design and development of complex rule-based systems for control and decision support. The main paradigm for rule representation, namely, eXtended Tabular Trees (XTT), ensures high density and transparency of visual knowledge representation. Contrary to traditional, flat rule-based systems, the XTT approach is focused on groups of similar rules rather than on single rules. Such groups form decision tables which are connected into a network for inference. Efficient inference is assured as only the rules necessary for achieving the goal, identified by the context of inference and partial order among tables, are fired. In the paper a new version of the language-XTT² - is presented. It is based on ALSV(FD) logic, also described in the paper. Another distinctive feature of the presented approach is a top-down design methodology based on successive refinement of the project. It starts with Attribute Relationship Diagram (ARD) development. Such a diagram represents relationships between system variables. Based on the ARD scheme, XTT tables and links between them are generated. The tables are filled with expert-provided constraints on values of the attributes. The code for rule representation is generated in a humanreadable representation called HMR and interpreted with a provided inference engine called HeaRT. A set of software tools supporting the visual design and development stages is described in brief.

How to cite

top

Grzegorz J. Nalepa, and Antoni Ligęza. "The HeKatE methodology. Hybrid engineering of intelligent systems." International Journal of Applied Mathematics and Computer Science 20.1 (2010): 35-53. <http://eudml.org/doc/207976>.

@article{GrzegorzJ2010,
abstract = {This paper describes a new approach, the HeKatE methodology, to the design and development of complex rule-based systems for control and decision support. The main paradigm for rule representation, namely, eXtended Tabular Trees (XTT), ensures high density and transparency of visual knowledge representation. Contrary to traditional, flat rule-based systems, the XTT approach is focused on groups of similar rules rather than on single rules. Such groups form decision tables which are connected into a network for inference. Efficient inference is assured as only the rules necessary for achieving the goal, identified by the context of inference and partial order among tables, are fired. In the paper a new version of the language-XTT² - is presented. It is based on ALSV(FD) logic, also described in the paper. Another distinctive feature of the presented approach is a top-down design methodology based on successive refinement of the project. It starts with Attribute Relationship Diagram (ARD) development. Such a diagram represents relationships between system variables. Based on the ARD scheme, XTT tables and links between them are generated. The tables are filled with expert-provided constraints on values of the attributes. The code for rule representation is generated in a humanreadable representation called HMR and interpreted with a provided inference engine called HeaRT. A set of software tools supporting the visual design and development stages is described in brief.},
author = {Grzegorz J. Nalepa, Antoni Ligęza},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {rule-based expert systems; intelligent control; system design},
language = {eng},
number = {1},
pages = {35-53},
title = {The HeKatE methodology. Hybrid engineering of intelligent systems},
url = {http://eudml.org/doc/207976},
volume = {20},
year = {2010},
}

TY - JOUR
AU - Grzegorz J. Nalepa
AU - Antoni Ligęza
TI - The HeKatE methodology. Hybrid engineering of intelligent systems
JO - International Journal of Applied Mathematics and Computer Science
PY - 2010
VL - 20
IS - 1
SP - 35
EP - 53
AB - This paper describes a new approach, the HeKatE methodology, to the design and development of complex rule-based systems for control and decision support. The main paradigm for rule representation, namely, eXtended Tabular Trees (XTT), ensures high density and transparency of visual knowledge representation. Contrary to traditional, flat rule-based systems, the XTT approach is focused on groups of similar rules rather than on single rules. Such groups form decision tables which are connected into a network for inference. Efficient inference is assured as only the rules necessary for achieving the goal, identified by the context of inference and partial order among tables, are fired. In the paper a new version of the language-XTT² - is presented. It is based on ALSV(FD) logic, also described in the paper. Another distinctive feature of the presented approach is a top-down design methodology based on successive refinement of the project. It starts with Attribute Relationship Diagram (ARD) development. Such a diagram represents relationships between system variables. Based on the ARD scheme, XTT tables and links between them are generated. The tables are filled with expert-provided constraints on values of the attributes. The code for rule representation is generated in a humanreadable representation called HMR and interpreted with a provided inference engine called HeaRT. A set of software tools supporting the visual design and development stages is described in brief.
LA - eng
KW - rule-based expert systems; intelligent control; system design
UR - http://eudml.org/doc/207976
ER -

References

top
  1. Ben-Ari, M. (2001). Mathematical Logic for Computer Science, Springer-Verlag, London. Zbl1009.03001
  2. Browne, P. (2009). JBoss Drools Business Rules, Packt Publishing, Birmingham. 
  3. Bratko, I. (2000). Prolog Programming for Artificial Intelligence, 3rd Edn, Addison Wesley, Harlow. Zbl0599.68007
  4. Brownston, L., Farrell, R., Kant, E. and Martin, N. (1985). Programming Expert Systems in OPS5, Addison-Wesley, Reading, MA/Menlo Park, CA. 
  5. Burbeck, S. (1992). Applications programming in smalltalk80(tm): How to use model-view-controller (MVC), Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign, IL. 
  6. Cheng, A. M. K. (2002). Real-Time Systems. Scheduling, Analysis and Verification, John Wiley & Sons, Inc., Hoboken, NJ. 
  7. Clark, J. (1999). Xsl transformations (xslt) version 1.0 w3c recommendation 16 November 1999, Technical report, World Wide Web Consortium (W3C). 
  8. Connolly, T., Begg, C. and Strechan, A. (1999). Database Systems. A Practical Approach to Design, Implementation, and Management, 2nd Edn, Addison-Wesley, Harlow/Reading, MA. 
  9. Coenen, F., et al. (2000). Validation and verification of knowledge-based systems: Report on eurovav99, The Knowledge Engineering Review 15(2): 187-196. 
  10. Forgy, C. (1982). Rete: A fast algorithm for the many patterns/many objects match problem, Artificial Intelligence 19(1): 17-37. 
  11. Friedman-Hill, E. (2003). Jess in Action, Rule Based Systems in Java, Manning, Greenwich, CT. 
  12. Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1995). Design Patterns, 1st Edn, Addison-Wesley Pub Co, Reading, MA. Zbl0887.68013
  13. Genesereth, M. R. and Nilsson, N. J. (1987). Logical Foundations for Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Los Altos, CA. Zbl0645.68104
  14. Giarratano, J. C. and Riley, G. D. (2005). Expert Systems, Thomson, Boston, MA. 
  15. Giurca, A., Gasevic, D. and Taveter, K. (Eds) (2009). Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, Information Science Reference, Hershey, New York, NY. 
  16. Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B. and Dean, M. (2004). SWRL: A semantic web rule language combining OWL and RuleML: W3C member submission 21 may 2004, Technical report, W3C. 
  17. Jackson, P. (1999). Introduction to Expert Systems, 3rd Edn, Addison-Wesley, Harlow. Zbl0634.68086
  18. Kaczor, K. (2008). Design and implementation of a unified rule base editor, M.Sc. thesis, AGH University of Science and Technology, Cracow. 
  19. Kaczor, K. and Nalepa, G. J. (2008). Design and implementation of hqed, the visual editor for the xtt+ rule design method, Technical Report CSLTR 02/2008, AGH University of Science and Technology, Cracow. 
  20. Klösgen, W. and Żytkow, J. M. (Eds) (2002). Handbook of Data Mining and Knowledge Discovery, Oxford University Press, New York, NY. Zbl1003.68037
  21. Laffey etal, T. (1988). Real-time knowledge-based systems, AI Magazine Spring: 27-45. 
  22. Liebowitz, J. (Ed.) (1998). The Handbook of Applied Expert Systems, CRC Press, Boca Raton, FL. Zbl0902.68191
  23. Ligęza, A. (1986). An expert systems approach to analysis and control in certain complex systems, Preprints of the 4-th IFAC/IFIP Symposium on Software for Computer Control SOCOCO'86, Graz, Austria, pp. 147-152. 
  24. Ligęza, A. (1988). Expert systems approach to decision support, European Journal of Operational Research 37(1): 100-110. 
  25. Ligęza, A. (1993). Logical foundations for knowledge-based control systems-Knowledge representation, reasoning and theoretical properties, Scientific Bulletins of AGH: Automatics 63(1529): 144. 
  26. Ligęza, A. (1996). Logical support for design of rule-based systems. Reliability and quality issues, in M. Rousset (Ed.), ECAI-96 Workshop on Validation, Verification and Refinment of Knowledge-based Systems, Vol. W2, ECCAI (European Coordination Committee for Artificial Intelligence), Budapest, pp. 28-34. 
  27. Ligęza, A. (1998). Towards logical analysis of tabular rule-based systems, Proceedings of the Ninth European International Workshop on Database and Expert Systems Applications, Vienna, Austria, pp. 30-35. 
  28. Ligęza, A. (1999). Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Kluwer Academic Publishers, Boston, MA/Dordrecht/London, pp. 313-325. 
  29. Ligęza, A. (2001). Toward logical analysis of tabular rulebased systems, International Journal of Intelligent Systems 16(3): 333-360. Zbl0995.68117
  30. Ligęza, A. (2005). Logical Foundations for Rule-Based Systems, AGH University of Science and Technology Press, Cracow. Zbl1095.68113
  31. Ligęza, A. (2006). Logical Foundations for Rule-Based Systems, Springer-Verlag, Berlin/Heidelberg. Zbl1095.68113
  32. Ligęza, A. and Nalepa, G. J. (2005). Visual design and on-line verification of tabular rule-based systems with XTT, in K. P. Jantke, K.-P. Fähnrich and W. S. Wittig (Eds), Marktplatz Internet: Von e-Learning bis e-Payment: 13. Leipziger Informatik-Tage, LIT 2005, Lecture Notes in Informatics (LNI), Gesellschaft fur Informatik, Bonn, pp. 303-312. 
  33. Ligęza, A. and Nalepa, G. J. (2007). Knowledge representation with granular attributive logic for XTT-based expert systems, in D. C. Wilson, G. C. J. Sutcliffe and FLAIRS (Eds), FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference: Key West, Florida, May 7-9, 2007, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, CA, pp. 530-535. 
  34. Ligęza, A. and Nalepa, G. J. (2008). Granular logic with variables for implementation of extended tabular trees, in D. C. Wilson and H. C. Lane (Eds), FLAIRS-21: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society conference: 15-17 May 2008, Coconut Grove, Florida, USA, AAAI Press, Menlo Park, CA, pp. 341-346. 
  35. Ligęza, A., Wojnicki, I. and Nalepa, G. J. (2001). Tab-trees: A case tool for design of extended tabular systems, in H.C. Mayr, J. Lazansky, G. Quirchmayr and P. Vogel (Eds), Database and Expert Systems Applications, Lecture Notes in Computer Sciences, Vol. 2113, Springer-Verlag, Berlin, pp. 422-431. Zbl0988.68747
  36. Ligęza, A. (1996 ). Logical Support for Design of Rule-Based Systems. Reliability and Quality Issues LAAS, Report No. 96170, Toulouse. Zbl0880.68124
  37. Morgan, T. (2002). Business Rules and Information Systems. Aligning IT with Business Goals, Addison Wesley, Boston, MA. 
  38. Nalepa, G. J. (2004). Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems, PhD thesis, AGH University of Science and Technology, Institute of Automatics, Cracow. 
  39. Nalepa, G. J. and Ligęza, A. (2005a). A graphical tabular model for rule-based logic programming and verification, Systems Science 31(2): 89-95. Zbl1292.90207
  40. Nalepa, G. J. and Ligęza, A. (2005b). Software Engineering: Evolution and Emerging Technologies, Frontiers in Artificial Intelligence and Applications, Vol. 130, IOS Press, Amsterdam, pp. 330-340. 
  41. Nalepa, G. J. and Ligęza, A. (2005c). A visual edition tool for design and verification of knowledge in rule-based systems, Systems Science 31(3): 103-109. Zbl1292.68139
  42. Nalepa, G. J. and Ligęza, A. (2006). Prolog-based analysis of tabular rule-based systems with the “xtt” approach, in G. C. J. Sutcliffe and R. G. Goebel (Eds), FLAIRS 2006: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference: Melbourne Beach, Florida, May 11-13, 2006, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, CA, pp. 426-431. 
  43. Nalepa, G. J. and Ligęza, A. (2008). Xtt+ rule design using the alsv(fd), in A. Giurca, A. Analyti and G. Wagner (Eds), ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based Applications, RuleApps2008: Patras, 22 July 2008, University of Patras, Patras, pp. 11-15. 
  44. Nalepa, G. J., Ligęza, A., Kaczor, K. and Furmańska, W. T. (2009). Hekate rule runtime and design framework, in G. W. Adrian Giurca and G.J. Nalepa (Eds), Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009), Cottbus, Germany, September 21, 2009, BTU Cottbus, Cottbus, pp. 21-30. 
  45. Pawlak, Z. (1991). Rough Sets. Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht/Boston, MA/London. Zbl0758.68054
  46. Quinlan, J. R. (1987). Simplifying decision trees, International Journal of Man-Machine Studies 27(3): 221-234. 
  47. Ross, R. G. (2003). Principles of the Business Rule Approach, 1st Edn, Addison-Wesley Professional, Reading, MA. 
  48. Torsun, I. S. (1995). Foundations of Intelligent KnowledgeBased Systems, Academic Press, London/San Diego, CA/New York, NY/Boston, MA/Sydney/Tokyo/Toronto. 
  49. Tzafestas, S. and Ligęza, A. (1988). Expert control through decision making, Foundations of Control Engineering 13(1): 43-51. Zbl0709.93515
  50. Tzafestas, S. and Ligęza, A. (1989). Expert control through decision making, Journal of Intelligent and Robotic Systems 1(4): 407-425. Zbl0709.93515
  51. van Harmelen, F., Lifschitz, V. andPorter, B. (Eds) (2007). Handbook of Knowledge Representation, Elsevier Science, Amsterdam. 
  52. van Harmelen, F. (1996). Applying rule-based anomalies to kads inference structures, ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, Budapest, Hungary, pp. 41-46. 
  53. von Halle, B. (2001). Business Rules Applied: Building Better Systems Using the Business Rules Approach, Wiley, New York, NY. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.