A graphical tabular model for rule-based logic programming and verification

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

Abstrakty

EN

New trends in the development of databases and expert systems seem to underline the role of graphical specification tools, visual information modeling and formal verification procedures. This paper incorporates these new ideas and, moreover, tries to present putting them in engineering practice. The main goal 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. The main idea behind XTTis to build a hierarchy of Object-Attribute-Value Tables (OAV table). The basic component for knowledge specification is an OAV table. It is analogous to a relational database table; however, it contains conditional part and decision columns. Moreover, the attribute values can be non-atomic ones. Each row provides specification of a single rule. The OAV tables can be connected with one another through appropriate links specifying the control flow in the system. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, formal aspects such as completeness, determinism, etc., are automatically verified on-line during the design, so that its verifiable characteristics are preserved. From practical point of view, the design process is performed with an intelligent tool named Mirella.

Słowa kluczowe

EN

logic programming; Prolog; expert systems; graphical tabular model; formal verification procedures; visual information modeling

PL

systemy ekspertowe; Prolog

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2005
• Tom: Vol. 31, no 2
• Strony: 89--95
• 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] Ändert 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, ECAr96 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, Volume 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.), IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, IFAC, Bled, Slovenia, 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, ECAr96, 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. Burczynski, W. Cholewa, (ed.), AI-METH 2002: Methods of Artificial Intelligence, 13-15 November, 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. LNA1 2663 of Lecture Notes in Artificial Intelligence., Berlin, Heidelberg, New York, Springer-Veriag, 2003, 124-133.
• [10] Szpyrka M., Nalepa G. J., On Two Formal 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., RTCF-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.