A new approach to the rule-based systems design and implementation process

• Autorzy: Nalepa G.J.

Warianty tytułu

PL

Nowe podejście do procesu projektowania i implementacji systemów regułowych

• Języki publikacji: EN

Abstrakty

EN

The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called MIRELLA. 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. 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, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved.

PL

W artykule omówione zostały wybrane problemy związane z projektowaniem i implementacją systemów regułowych. W celu rozwiązania najważniejszych z nich przedstawiona została nowa wizualna metoda reprezentacji wiedzy (XTT) oraz zaprezentowano nową metodologię projektowania, implementacji i analizy takich systemów. Podejście to jest wspierane przez narzędzie typu CASE nazwane MIRELLA. Pozwala ono na projektowanie systemu na wysokim poziomie abstrakcji, przy równoczesnym zachowaniu jego własności logicznych i formalnych. Na podstawie projektu generowany jest prototypowy model systemu w języku PROLOG, którego własności formalne mogą być na bieżąco analizowane.

Słowa kluczowe

EN

rule-based systems; visual design; implementation; formal analysis; CASE tools

PL

systemy regułowe; wizualne projektowanie; formalna analiza; narzędzia CASE

• Wydawca: Wydawnictwa AGH
• Czasopismo: Computer Science
• Rocznik: 2004
• Tom: Vol. 6
• Strony: 65--79
• Opis fizyczny: Bibliogr. 18 poz., rys., tab.

Twórcy

autor

Nalepa G.J.

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

Bibliografia

• [1] Andert E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, p. 357–373
• [2] Hopgood A. A.: Intelligent Systems for Engineers and Scientists. 2nd ed. Boca Raton London, New York Washington, CRC Press, D.C. 2001, ISBN 0-849-30456-3
• [3] Jackson P.: Introduction to Expert Systems. 3rd ed., Addison–Wesley, 1999, ISBN 0-201-87686-8
• [4] Liebowitz J. (Ed.): The Handbook of Applied Expert Systems. Boca Raton, CRC Press 1998, ISBN 0-8493-3106-4
• [5] Ligeza A.: Towards design of complete rule-based control systems. In Kocijan R.K. J. (Ed.), IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, Bled, IFAC, Slovenia, 1995, p. 189–194
• [6] Ligęza A.: Logical support for design of rule-based systems. reliability and quality issues. In M. Rousset, editor, ECAI-96 Workshop on Validation, Verification and Refinment of Knowledge-based Systems, volume W2, pages 28–34. ECAI’96, Budapest, 1996.
• [7] 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, pages 313–325, 1999.
• [8] Ligęza A.: Logical Foundations for Rule-Based Systems. Volume KU0146, Scientific Publishers of AGH-UST, Cracow 2005, ISBN 83-89388-37-5
• [9] Ligęza A., Wojnicki I., Nalepa G.: Tab-trees: a case tool for design of extended tabular systems. In H. M. et al., editor, Database and Expert Systems Applications, volume 2113 of Lecture Notes in Computer Sciences, Springer-Verlag, Berlin, 2001, p. 422–431
• [10] Nalepa G. J.: Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. Ph.D. Thesis, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland, September 2004.
• [11] Nalepa G. J., Ligęza A.: Graphical case tools for integrated design and verification of rule-based systems. In Burczyński T., Cholewa W., Moczulski W. (Ed.), Methods of Artificial Intelligence, Proceedings of the Symposium on Methods of Artificial Intelligence AI-METH 2002, Gliwice, Poland, Silesian University of Technology, 2002, p. 307–3013
• [12] Nalepa G. J., Ligęza A.: Designing reliable web security systems using rule-based systems approach. In E. Menasalvas, J. Segovia, and P. S. Szczepaniak, editors, Advances in Web Intelligence. First International Atlantic Web Intelligence Conference AWIC 2003, Madrid, Spain, May 5-6, 2003, volume LNAI 2663 of Lecture Notes in Artificial Intelligence, Berlin, Heidelberg, New York, Springer-Verlag, 2003, p. 124–133
• [13] Nalepa G. J., Ligęza A.: Integrated design environment for formal verification of rule-based systems. In Z. Bubnicki and A. Grzech, editors, Inżynieria Wiedzy i Systemy Ekspertowe, Wrocław, 2003. Oficyna Wydawnicza Politechniki Wrocławskiej, volume II, p. 30–37,
• [14] Nalepa G. J., Ligęza A.: A graphical tabular model for rule-based logic programming and verification. In Z. Bubnicki and A. Grzech, editors, Proceedings of 15th International Conference on Systems Science, Wrocław, Wrocław University of Technology, Oficyna Wydawnicza Politechniki Wrocławskiej 2004
• [15] Nalepa G. J., Ligęza A.: A visual edition tool for design and verification of knowledge in rule-based systems. In Bubnicki Z. Grzech A. (Ed.), Proceedings of 15th International Conference on Systems Science, Wrocław, Wrocław University of Technology, Oficyna Wydawnicza Politechniki Wrocławskiej, 2004
• [16] Nalepa G. J., Szpyrka M.: On two formal approaches to design and verification of embedded rule-based systems. In Proceedings of WRTP2004, submitted to 28th IFAC/IFIP Workshop on Real-Time Programming, 2004
• [17] Negnevitsky M.: Artificial Intelligence. A Guide to Intelligent Systems. Harlow, England; London; New York, Addison-Wesley 2002, ISBN 0-201-71159-1
• [18] van Harmelen F.: Applying rule-based anomalies to kads inference structures. ECAI’96 Workshop on Validation, Verification and Refinement of Knowledge- Based Systems, 1996, p. 41–46