Summary
A practical design of non-trivial rule-based systems requires a systematic, structured and consistent approach. The paper focuses on selected issues in RBS knowledge engineering. Some ideas on combining knowledge engineering with software engineering are discussed. Furthermore, results of RBS design tools survey are enclosed. In the paper an original design and implementation methodology for RBS is also presented. It has been developed in the MIRELLA project. It is a top-down hierarchical design methodology, based on new knowledge representation methods (XTT and ARD), on-line logical system analysis in Prolog, and XML-based knowledge encoding. Basing on the experience with XTT-based methodology, as well as tools supporting it, the paper discusses an extended hierarchical design methodology for RBS. A preview of the Hekate project, which aims at developing a hybrid knowledge engineering methodology is also given.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bratko I (2000) Prolog Programming for Artificial Intelligence. Addison Wesley, 3rd edition
Hopgood AA (2001) Intelligent Systems for Engineers and Scientists. CRC Press, Boca Raton London New York Washington, D.C., 2nd edition, ISBN 0849304563
Horrocks I, Patel-Schneider PF, Bechhofer S, Tsarkov D (2005) Owl rules: A proposal and prototype implementation. Journal of Web Semantics, 3(1):23–40
Jackson P (1999) Introduction to Expert Systems. Addison–Wesley, 3rd edition, ISBN 0-201-87686-8
Liebowitz J (ed) (1998) The Handbook of Applied Expert Systems. CRC Press, Boca Raton ISBN 0-8493-3106-4
Ligęza A, Wojnicki I, Nalepa GJ (2001) Tab-trees: a case tool for design of extended tabular systems. In: Mayr HC et al. (eds), Database and Expert Systems Applications, volume 2113 of Lecture Notes in Computer Sciences, pp. 422–431. Springer-Verlag, Berlin
Ligęza A (2006) Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg
Michalik K (2003) Zintegrowany Pakiet Sztucznej Inteligencji Sphinx 4.0. AITech Artificial Intelligence Laboratory, Katowice, Poland
Miller J, Mukerji J (2003) MDA Guide Version 1.0.1. OMG
Nalepa GJ (2004) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. PhD thesis, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland, September 2004
Nalepa GJ, Ligęza A (2003) Designing reliable web security systems using rule-based systems approach. In: Menasalvas E, Segovia J, Szczepaniak PS (eds), 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, pp. 124–133, Berlin, Heidelberg, New York, Springer-Verlag
Nalepa GJ, Ligęza A (2004) Markup-languages-based approach to knowledge management and representation. In: Nycz M, Owoc ML (eds), Pozyskiwanie Wiedzy i Zarządzanie Wiedzą, number 1011 in Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu, pp. 332–339, Wrocław, 2004. Akademia Ekonomiczna im. Oskara Langego we Wrocławiu.
Nalepa GJ, Ligęza A (2005) Conceptual modelling and automated implementation of rule-based systems. In Szmuc T, Zieliński K (eds), Software engineering : evolution and emerging technologies, volume 130 of Frontiers in Artificial Intelligence and Applications, pp. 330–340. IOS Press
Nalepa GJ, Ligęza A (2006) Prolog-based analysis of tabular rule-based systems with the xtt approach. In: Sutcliffe GCJ, Goebel RG (eds), FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne Beach, Florida, May 11–13, 2006], pp. 426–431, FLAIRS. – Menlo Park, Florida Artificial Intelligence Research Society, AAAI Press
Nalepa GJ, Zięcik P (2006) Integrated embedded prolog platform for rule-based control systems. In: Napieralski A (ed), MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22–24 June 2006, pp. 716–721, Ł odź
Ross RG (2003) Principles of the Business Rule Approach. Addison-Wesley Professional
Russell S, Norvig P (2002) Artificial Intelligence: A Modern Approach. Prentice-Hall, 2nd edition
Simiński R (2002) Dynamiczna weryfikacja poprawności baz wiedzy w procesie ich weryfikacji. PhD thesis, Instytut Podstaw Informatyki PAN, Warszawa
Sommerville I (2004) Software Engineering. International Computer Science. Pearson Education Limited, 7th edition
Torsun IS (1995) Foundations of Intelligent Knowledge-Based Systems. Academic Press, London, San Diego, New York, Boston, Sydney, Tokyo, Toronto
Vermesan A (1998) The Handbook of Applied Expert Systems, chapter Foundation and Application of Expert System Verification and Validation. CRC Press
Vermesan A, Coenen F (eds) (1999) Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Kluwer Academic Publisher, Boston
von Halle B (2001) Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nalepa, G.J. (2008). Methodologies and Technologies for Rule-Based Systems Design and Implementation. Towards Hybrid Knowledge Engineering. In: Cotta, C., Reich, S., Schaefer, R., Ligęza, A. (eds) Knowledge-Driven Computing. Studies in Computational Intelligence, vol 102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77475-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-77475-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77474-7
Online ISBN: 978-3-540-77475-4
eBook Packages: EngineeringEngineering (R0)