- Autor
- 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)
- Tytuł
- Meta-Level Approach to Knowledge Management in Rule-Based Systems
- Źródło
- Prace Naukowe Akademii Ekonomicznej we Wrocławiu, 2003, nr 975, s. 332-339, bibliogr. 14 poz.
- Tytuł własny numeru
- Pozyskiwanie wiedzy i zarządzanie wiedzą
- Słowa kluczowe
- Projektowanie systemów ekspertowych, Zarządzanie wiedzą
Design of expert systems, Knowledge management - Abstrakt
- 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)
- Dostępne w
- Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie
Biblioteka SGH im. Profesora Andrzeja Grodka
Biblioteka Główna Uniwersytetu Ekonomicznego w Poznaniu
Biblioteka Główna Uniwersytetu Ekonomicznego we Wrocławiu - Bibliografia
-
- 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).
- Cytowane przez
- ISSN
- 0324-8445
- Język
- eng
