BazEkon - Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie

BazEkon home page

Meny główne

Autor
Nalepa Grzegorz J., Ligęza Antoni
Tytuł
Markup-Languages-Based Approach to Knowledge Management and Representation
Źródło
Prace Naukowe Akademii Ekonomicznej we Wrocławiu, 2004, nr 1011, s. 234-240, bibliogr. 18 poz.
Tytuł własny numeru
Pozyskiwanie wiedzy i zarządzanie wiedzą
Słowa kluczowe
Zarządzanie wiedzą, Języki programowania, Komputerowe wspomaganie inżynierii programowania (CASE), Computer Aided Software Enginneering (CASE)
Knowledge management, Programing languages, Computer aided software engineering (CASE), Computer Aided Software Enginneering (CASE)
Uwagi
summ.
Abstrakt
Artykuł poświęcono zagadnieniom związanym z podejściem do zarządzania wiedzą opartym na języku adiustacyjnym. Zaprezentowano rozszerzalny język programowania (XML) dla systemów regułowych. Omówiono środowisko oprogramowania używanego do komputerowego wspomagania projektowania oprogramowania (CASE).

The paper presents a new approach to knowledge management and representation with XML-based solution for rule-based systems management. A new integrated CASE environment for rule-based systems design is discussed. The principal idea consists in integrating the design with verification methodology, while supporting it by an integrated visual development environment. The environment discussed employs XML-based meta-level knowledge representation language to internally store the complete description of a system being built. Formal properties of the system can be verified on-line by external modules which integrate Prolog-based inference engine with the visual design environment. Modularization allows for writing multiple validation components for different formal properties. The visual CASE environment presented in the paper is the result of several years of research. It aims at supporting wide class of rule-based systems. Open and modular architecture of the environment makes future extensions easy to implement. It is a example of application of modern markup-based knowledge representation techniques to design and verification of rule-based systems. (original abstract)
Dostępne w
Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie
Biblioteka Główna Uniwersytetu Ekonomicznego w Katowicach
Biblioteka Główna Uniwersytetu Ekonomicznego w Poznaniu
Biblioteka Główna Uniwersytetu Ekonomicznego we Wrocławiu
Bibliografia
Pokaż
  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, 357-373.
  2. Boley H., Decker S., Sintek M.: Tutorial on Knowledge Markup Techniques, http://www.dfki.uni-kl.de/km/knowmark, ECAI2000, Berlin.
  3. Boley H., Tabet S., Wagner G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules, SWWS'Ol, Stanford, 2001.
  4. Bray Т., Paoli J., Sperberg-McQueen C.M., Maler E.: Eds.: Extensible Markup Language (XML) 1.0 (Second Edition), http://www.w3.org/TR/REC-xml, W3C Recommendation, 2000.
  5. Coenen F.: Validation and verification of knowledge based systems: Report on EUROVAV'99. "Knowledge Engineering Review", 15:2,2000,187-196.
  6. de Hoog R.: Methodologies for Building Knowledge-Based Systems: Achievements and Prospectus. A Chapter in [9].
  7. Lassila O., Swick R.R.: Resource Description Framework (RDF) Model and Syntax Specification, http://www.w3.org/TR/REC-rdf-syntax, W3C Recommendation, 1999.
  8. 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.
  9. Liebowitz J.: The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998.
  10. Ligęza A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In [17], 1999, 313-325.
  11. 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, ЕСАI'96, 1996, Budapest, 28-34.
  12. Ligęza A.: Toward logical analysis of tabular rule-based systems. "International Journal of Intelligent Systems", Vol. 16, 333-360,2001.
  13. Ligęza A., Wojnicki L, 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).
  14. Nalepa G.J., Ligęza A.: Designing reliable web security systems using rule-based systems approach, Atlantic Web Intelligence Conference AWIC 2003, Madrid, Spain, May 5-6, 2003, proceedings / eds. E. Menasalvas [et al.]. - Berlin: Springer-Verlag, 2003. (LNCS AI 2663).
  15. Nalepa G.J., Ligęza A.: Integrated design environment for formal verification of ruled-based systems, Inżynieria wiedzy i systemy ekspertowe. Zdzisław Bubnicki i Adam Grzech, red. -Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2003.
  16. Nalepa G.J., Ligęza A.: Graphical CASE tools for integrated design and verification of rule-based systems, Symposium on Methods of Artificial Intelligence: proceedings / eds. Burczynski T. [et al.], Silesian University of Technology, Polish Association for Computational Mechanics, Gliwice, 2001.
  17. Vermesan A. and Coenen F. (Eds.): Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice. Kluwer Academic Publishers, Boston, 1999.
  18. 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.
Cytowane przez
Pokaż
ISSN
0324-8445
Język
eng
Udostępnij na Facebooku Udostępnij na Twitterze Udostępnij na Google+ Udostępnij na Pinterest Udostępnij na LinkedIn Wyślij znajomemu