A visual edition tool for design and verification of knowledge in rule-based systems

• Autorzy: Nalepa G. J. , Ligęza A.
• Języki publikacji: EN

Abstrakty

EN

In order to address problems encountered in the design of rule-based and expert systems the paper discusses a proposal of a new approach to rule-based system design and verification using an integrated CASE tool supporting visual design of rule-based systems. The Mirella tool allows for dynamic on-line specification of components of the knowledge with simultaneous analysis of the rule-based system during the design phase. The main idea is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation, called eXtended Tabular Trees, supported by Mirella CASE tool. It consists of visual design environment integrated with Prolog-based analysis and verification engine. Along with editor's built in on-line checking capabilities it improves system performance and safety. Selected implementation aspects are also highlighted. The environment is implemented in ANSI C in the GNU/Linux environment using Gtk/GNOME/SWI-Prolog development platform. This makes it both efficient and portable. The tool has a multilayer, multimodule architecture which gives it flexibility and allows future extensions.

Słowa kluczowe

EN

visual edition tool; knowledge verification; knowledge design; knowledge representation; expert systems; rule-based systems

PL

systemy ekspertowe

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2005
• Tom: Vol. 31, no 3
• Strony: 103--109
• Opis fizyczny: Bibliogr. 11 poz., wykr.

Twórcy

autor

Nalepa G. J.

• AGH University of Science and Technology, Institute of Automatics

autor

Ligęza A.

• AGH University of Science and Technology, Institute of Automatics

Bibliografia

• [1] Ligęza A., Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems, Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, 1999,313-325.
• [2] Andert E. P., Integrated knowledge-based system design and validation for solving problems in uncertain environments, Int. J. of Man-Machine Studies, 36, 1992, 357-373.
• [3] Van Harmelen F., Applying rule-based anomalies to kads inference structures, ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 1996, 41-46.
• [4] Ligęza A., Wojnicki I., Nalepa G., Tab-trees: a case tool for design of extended tabular systems, [in:] Database and Expert Systems Applications, Vol. LNCS 2113 of Lecture Notes in Computer Sciences, Springer-Verlag, Berlin 2001, 422-431.
• [5] Ligęza A., Towards design of complete rule-based control systems, [in:] J. Kocijan (ed.), IFACI IMACS International Workshop on Artificial Intelligence in Real-Time Control. IFAC, Bied, Slove- nia, 1995, 189-194.
• [6] Ligęza A., 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. ECAI'96, Budapest 1996, 28-34.
• [7] Ligęza A., Toward logical analysis of tabular rule-based systems, International Journal of Intelligent Systems, 16,2001,333-360.
• [8] Nalepa G. J., Ligęza A., Graphical case tools for integrated design and verification of rule-based systems, [in:] T. Burczyński, W. Cholewa (eds.), AI-METH 2002: Methods of Artificial Intelligence, 13-15 November, Gliwice, Poland, Gliwice, Poland, Silesian University of Technology. SUT DSMCM DFMD, Polish Association for Computational Mechanics, 2002, 307-313.
• [9] Nalepa G. J., Ligęza A., Designing reliable web security systems using rule-based systems approach, [in:] E. Menasalvas, J. Segovia, P. S. Szczepaniak (eds.), Advances in Web Intelligence, First International Atlantic Web Intelligence Conference AWIC 2003, Madrid, Spain, May 5-6, 2003, Vol. LNAI 2663 of Lecture Notes in Artificial Intelligence., Berlin, Heidelberg, New York, Springer- Yerlag, 2003, 124-133.
• [10] Szpyrka M., NALEPA G. J., On Two Fonnal Approaches to Design and Verification of Embedded Rule-based Systems, accepted to 28th IFAC/IFIP Workshop on Real-Time Programming, WRTP2004
• [11] Szpyrka M., Szmuc T., RTCP-nets as a Tool for Real-Time Systems Modelling and Analysis, [in:] M. Colnaric, M. Adamski, M. Węgrzyn (eds.), Real-Time Programming 2003, Elsevier Science Ltd., 21-26.