Nowa wersja platformy jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2010 | nr 133 Pozyskiwanie wiedzy i zarządzanie wiedzą | 58-68
Tytuł artykułu

HeKatE Rule Design Methodology Overview

Warianty tytułu
Przegląd metodologii projektowania systemów regułowych HeKatE
Języki publikacji
EN
Abstrakty
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)
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)
Twórcy
  • AGH University of Science and Technology Kraków, Poland
  • 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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171380725
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.