- Author
- Nalepa Grzegorz J. (AGH Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), Ligęza Antoni (AGH Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
- Title
- Meta-Level Approach to Knowledge Management in Rule-Based Systems
- Source
- Prace Naukowe Akademii Ekonomicznej we Wrocławiu, 2003, nr 975, s. 332-339, bibliogr. 14 poz.
- Issue title
- Pozyskiwanie wiedzy i zarządzanie wiedzą
- Keyword
- Projektowanie systemów ekspertowych, Zarządzanie wiedzą
Design of expert systems, Knowledge management - Abstract
- This paper presents results of ongoing research on graphical design environment for rule-based systems. Basing on the experience with designed systems developed for Kheops, a new proposal of an integrated environment for design and on-line verification of rule-based systems using a meta-level knowledge representation format and wide range of verified characteristics was discussed. A modular, multi-level architecture of new environment combines tabular-trees- based graphical design methods with on-line verification procedures in Prolog. Architecture of the environment will allow for design and validation of wide class of rule-based systems. The environment is an example how meta-level approach to knowledge management can simplify rule-based system design process, and improve its reliability by allowing formal properties verification during the design phase. (fragment of text)
- Accessibility
- The Main Library of the Cracow University of Economics
The Library of Warsaw School of Economics
The Main Library of Poznań University of Economics and Business
The Main Library of the Wroclaw University of Economics - Bibliography
-
- 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.
- Coenen, F.: Validation and verification of knowledge based systems'. Report on EUROVAV'99. Knowledge Engineering Review, 15:2, 2000, 187-196.
- Ligęza A.: Logical support for design of rule-based systems. Reliability and quality issues, ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-based Systems, ECAI'96, 1996, Budapest, 28-34.
- Ligęza A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [5], 1999, 313-325.
- Vermesan A., Coenen F. (Eds.): Validation and Verification of Knowledge Based Systems- Theory, Tools and Practice. Kluwer Academic Publishers, Boston. 1999.
- De Hoog R.: Methodologies for Building Knowledge-Based Systems: Achievements and Prospectus. A Chapter in [7].
- Liebowitz J.: The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.
- Ligęza A.: Toward logical analysis of tabular rule-based systems. "International Journal of Intelligent Systems", Vol. 16, 333-360, 2001.
- Ligęza A., Wojnicki I., Nalepa G.J., Tab-Trees: A CASE tool for the design of extended tabular systems Database and expert systems applications: 12th International Conference, DEXA 2001: Munich, September 3-5, 2001, proceedings/eds. Heinrich C. Mayr [et al.]. - Berlin: Springer. 2001 - (Lecture Notes in Computer Science; 2113).
- Nalepa G.J., Ligęza A.: Graphical CASE tools for integrated design and verification of rule- based systems. [w:] Symposium on Methods of Artificial Intelligence: proceedings, eds. Burczynski T. Silesian University of Technology, Polish Association for Computational Mechanics, Gliwice 2001.
- Wielinga B.J., Schreiber A.Th., Breuker J.A.: KADS: A modeling approach to knowledge engineering. Readings in Knowledge Acquisition and Learning, Morgan Kaufmann 1992, Los Altos, CA.
- Lee K.J., Boley H., Tabet S.: Issues in Semantic Web-based E-Commerce and Rule Markup Languages. ICEC 2001, Workshop on Semantic Web-based E-Commerce and Rules Markup Languages, November 2nd, 2001, Vienna, Austria.
- Nalepa G.J.: Przegląd własności wybranych współczesnych implementacji języka. Prolog dla analizy i weryfikacji baz danych i baz wiedzy, IV Krajowa Konferencja Naukowa Inżynieria Wiedzy i Systemy Ekspertowe, Wrocław 2000.
- Simiński R.: Knowledge-base verification based on the decision unit concept. [w:] Proceedings of Knowledge Engineering and Expert Systems, Z. Bubnicki, A. Grzech (Eds.), Wrocław, 2000, Vol. II, 73-80 (in Polish).
- Cited by
- ISSN
- 0324-8445
- Language
- eng
