HeKatE Rule Design Methodology Overview

• Autorzy: Antoni Ligęza , Grzegorz J. Nalepa

Warianty tytułu

Przegląd metodologii projektowania systemów regułowych HeKatE

• Języki publikacji: EN

Abstrakty

EN

This paper presents a methodology and tools for design and development of rulebased systems. Efficient knowledge representation is based on the Extended Tabular Trees -XTT2 formalism. The design process is a top-down one. A conceptual model is developed with the ARD+ diagrams representing functional dependencies among attributes. On the basis of ARD+ a scheme of the XTT2 rule-based model is generated and filled with knowledge. A set of tools supporting design and verification is described and design methodology is outlined. (original abstract)

W pracy przedstawiono metodologię i narzędzia do projektowania i budowy systemów regułowych. Prezentowane rozwiązanie cechuje wysoka efektywność reprezentacji wiedzy oparta na użyciu sieci specjalnych atrybutowych tablic decyzyjnych XTT2. Sam proces projektowania ma charakter zstępujący. W pierwszej fazie projektowany jest diagram zależności funkcyjnych pomiędzy atrybutami ARD+. Na podstawie diagramu ARD+ generowany jest automatycznie schemat tablic XTT2 i połączeń między nimi. Tablice te muszą zostać następnie wypełnione szczegółową wiedzą eksperta. W pracy przedstawiono zestaw narzędzi wspomagający proces projektowania i implementacji. (abstrakt oryginalny)

Słowa kluczowe

EN

Design process; Design of expert systems; Information system design; Implementation of systems

PL

Proces projektowania; Projektowanie systemów ekspertowych; Projektowanie systemów informatycznych; Wdrożenie systemów

• Czasopismo: Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
• Rocznik: 2010
• Numer: nr 133 Pozyskiwanie wiedzy i zarządzanie wiedzą
• Strony: 58--68

Twórcy

autor

Antoni Ligęza

• AGH University of Science and Technology Kraków, Poland

autor

Grzegorz J. Nalepa

• AGH University of Science and Technology Kraków, Poland

Bibliografia

• [1] FRIEDMAN-HILL E. J., Jess, The Rule Engine for the Java Platform. Distributed Computing Systems, Sandia National Laboratories, Livermore, CA, Version 6.1p8 (23 March 2005), http://www.jessrules.com/jess/docs/61.
• [2] Giurca A., Gasevic D., Taveter K., Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, Information Science Reference, 2009.
• [3] Harmelen F. van, Lifschitz V., Porter B., Handbook of Knowledge Representation, Elsevier Science, 2007.
• [4] Kaczor K., Nalepa G.J., Design and Implementation of HQED, the Visual Editor for the XTT+Rule Design Method (No. CSLTR02/2008), AGH University of Science and Technology, Kraków 2008.
• [5] Liebowitz J., The Handbook of Applied Expert Systems, CRC Press, Boca Raton 1998.
• [6] Ligęza A., Logical Foundations for Rule-Based Systems, Springer-Verlag, Berlin, Heidelberg 2006.
• [7] Ligęza A., Nalepa G.J., (2005). Visual design and on-line verification of tabular rule-based systems with XTT, [in:] K.P. Jantke, K.-P. Fuhnrich, W.S. Wittig (eds.), Marktplatz Internet: Von e-a Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005, "Lecture Notes in Informatics", Gesellschaft für Informatik, Bonn 2005, pp. 303-312.
• [8] Nalepa G.J., Business rules design and refinement using the XTT approach, Paper presented at the FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Flo., Menlo Park, Cal., 2007.
• [9] Nalepa G.J., Ligęza A., A graphical tabular model for rule-based logic programming and verification, "Systems Science" 2005, Vol. 31, No. 2, pp. 89-95.
• [10] Nalepa G.J., Ligęza A., HeKatE methodology, hybrid engineering of intelligent systems, "International Journal of Applied Mathematics and Computer Science" 2009 [accepted for publication].
• [11] Nalepa G.J., Ligęza A., A visual edition tool for design and verification of knowledge in rulebased systems, "Systems Science" 2005, Vol. 31, No. 3, pp. 103-109.
• [12] Nalepa G.J., Ligęza A., Conceptual modelling and automated implementation of rule-based systems, [in:] K. Zieliński, T. Szmuc (eds.), Software Engineering: Evolution and Emerging Technologies, Frontiers in Artificial Intelligence and Applications, Vol. 130, IOS Press, Amsterdam 2005, pp. 330-340.
• [13] Nalepa G.J., Ligęza A., Prolog-based analysis of tabular rule-based systems with the XTT approach, [in:] G.C.J. Sutcliffe, R.G. Goebel (eds.), FLAIRS 2006: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference [Melbourne Beach, Florida, May 11-13, 2006], FLAIRS, AAAI Press, Menlo Park, Cal., 2006.
• [14] Nalepa G.J., Ligęza A., XTT+ rule design using the alsv(fd), [in:] A. Giurca, A. Analyti, G. Wagner (eds.), ECAI2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008: Patras, 22 July 2008, University of Patras, Patras 2008.
• [15] Rupp A.N., An Introduction to The DROOLS Project. TheServerSide.COM, Enterprise Java Community, May 2004, http://www.theserverside.com/articles/article.tss?l=Drools.
• [16] Russell S., Norvig P., Artificial Intelligence: A Modern Approach, Prentice-Hall, 2003.
• [17] Simiński R., Dynamiczna weryfikacja poprawności baz wiedzy w procesie ich weryfikacji, Instytut Podstaw Informatyki PAN, Warszawa 2002.
• [18] Sommerville I., Software Engineering, International Computer Science, Pearson Education, 2004.