A NEW APPROACH TO THE RULE-BASED SYSTEMS DESIGN AND IMPLEMENTATION PROCESS

Grzegorz J. Nalepa

doi:10.7494/csci.2004.6.5.65

Authors

Grzegorz J. Nalepa AGH University of Science and Technology

DOI:

https://doi.org/10.7494/csci.2004.6.5.65

Keywords:

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

Abstract

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.

Downloads

Download data is not yet available.

Author Biography

Grzegorz J. Nalepa, AGH University of Science and Technology

Institute of Automatics

References

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

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

Jackson P.: Introduction to Expert Systems. 3rd ed., Addison–Wesley, 1999, ISBN 0-201-87686-8

Liebowitz J. (Ed.): The Handbook of Applied Expert Systems. Boca Raton, CRC Press 1998, ISBN 0-8493-3106-4

Ligęza 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

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.

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.

Ligęza A.: Logical Foundations for Rule-Based Systems. Volume KU 0146, Scientific Publishers of AGH-UST, Cracow 2005, ISBN 83-89388-37-5

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

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.

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

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,

, p. 124–133

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,

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

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

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

Negnevitsky M.: Artificial Intelligence. A Guide to Intelligent Systems. Harlow, England; London; New York, Addison-Wesley 2002, ISBN 0-201-71159-1

van Harmelen F.: Applying rule-based anomalies to kads inference structures. ECAI’96 Workshop on Validation, Verification and Refinement of KnowledgeBased Systems, 1996, p. 41–46