Journal of Intelligence and Information Systems (지능정보연구)

Korea Intelligent Information System Society (한국지능정보시스템학회)
권호 표지

A Tool for Implementation of Expert System with Knowledge Management System

지식관리 시스템을 수반한 전문가 시스템 구축 도구

  • 서의현 (목원대학교 컴퓨터공학과)
  • Published : 2003.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

This paper proposes and implements a tool for the development of efficient and reliable expert system. In the expert system the inference is executed, based on the knowledges stored in the knowledge base of specific domain. To acquire the reliable results of inference, the expert system requires the facilities which can access the various kinds of knowledge and maintain the consistency and accuracy of knowledge. In this context this paper implemented the knowledge management system which maintains the consistency and accuracy of knowledge, adding selectively the knowledges without error to the knowledge base by verifying their error before the knowledges are added to the knowledge base. At the same time this paper made the expert system call and use the procedural knowledge and the declarative knowledge in the data base so that it might use the various kinds of knowledge in the process of inference.

본 논문은 효율적이고 신뢰성 있는 전문가시스템을 구축하기 위한 도구를 제안하고 구현한다. 전문가 시스템에서 추론은 특정 전문분야의 지식베이스에 저장된 지식을 기반으로 행해진다. 이 때 전문가 시스템이 신뢰할 수 있는 추론의 결과를 얻기 위해서는 다양한 형태의 지식들이 이용되고, 지식의 정확성 및 일관성이 유지되어야 한다. 이러한 관점에서 본 논문은 지식이 지식베이스에 첨가되기 전에 지식의 오류를 점검함으로써 오류가 없는 지식들을 선택적으로 지식베이스에 첨가하여, 지식의 정확성 및 일관성을 유지하는 지식관리 시스템을 구축했다. 아울러 본 논문은 전문가 시스템이 추론과정에서 다양한 지식을 이용하도록 절차적 지식과 데이터베이스에 저장된 선언적 지식을 호출하여 사용할 수 있도록 했다.

Keywords

References

  1. 한국정보과학회논문지 v.19 no.1 지식 기반 시스템에서의 추론 Browser의 설계 박창현;유석인
  2. European J. Operational Research v.42 Knowledge Bases : Integration, Verification and Partitioning Botten,N.;A.Kusiak;T.Raz
  3. International Journal of Intelligent Systems v.16 Checking Depth-Limited Consistency and Inconsistency in Knowledge-Based Systems Brisoux,L.;Eric Gregoire;Lakhdar Sais
  4. Int'l J. Man-Machine Studies v.26 no.5 A Decision-Table Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems Cragun,B.;H.Steudel
  5. IEEE Trans. on Knowledge and data engineering v.9 no.1 Capture, integration, and analysis of digital system requirements with conceptual graphs Cyre,W.R.
  6. IEEE Trans. on Knowledge and data engineering v.5 no.1 Rule-Based Consistency Enforcement for Knowledge-Based systems Eick,C.F.
  7. IEEE Trans. on Knowledge and data engineering v.7 no.1 Compiling Conceptual Graphs Ellis,G.
  8. Mathematical and Computer Modelling v.18 no.7 A New Definition of Consistency of Pairwise Comparisons Koczkodaj,W.W.
  9. Proceedings of the 6th International Conference on Information and Knowledge Management Using Consistency-driven Pairwise Comparisons in Knowledge-Based Systems Koczkodaj,W.W.;Michael W. Herman
  10. Technique et Science Informatique v.5 no.1 Un system d'acquisition des connaissances pour systems experts LeBeux,P.;D.Fontaine
  11. Applied Intelligence v.6 no.4 Formal Verification of Some Potential Contradictions in Knowledge Base Usion a High Level Net Approach Liu,N.K.
  12. IEEE Trans. on systems, man and cybernetics v.21 no.1 Maintaining Consistency of Database During Monitoring of an Evolving Process by a Knowledge-Based System Morizet-Mahoudeaux, P.
  13. I.J.Man-Machine Studies v.30 Issues in the Verification of Knowledge in Rule-Based Systems Nazareth,D.L.
  14. Knowledge Acquisition v.3 Verification of Rule-Based Knowledge Using Directed Graphs Nazareth,D.L.;M.H.Kennedy
  15. IEEE Trans. on Knowledge and data engineering v.5 no.3 Investigating the Applicability of Petri Nets for Rule-Based System Verification Nazareth,D.L.
  16. Proc. 9th IJCAI Checking an Expert system knowledge base for consistency and completeness Nguyen,T.A.;N.A.Perkins;T.J.Laffey;D.Pecora
  17. AI Magazine v.8 no.2 Knowledge Based Verification Nguyen,T.A.;W.A.Perkins;T.J.Laffey;D.Pecora
  18. Lecture notes in computer Science, issue Combining Constraints and Consistency Techniques in Knowledge-Based Expert System Popescu,I.
  19. IEEE Trans. on Knowledge and data engineering v.9 no.2 Using directed hypergraphs to verify rule-based expert systems Ramaswamy,M.;S.Sarkar;YE-Sho Chen
  20. Expert Systems : Principles and Programming Riley,G.
  21. Int'l J. Expert System v.6 no.3 Verification of knowledge based redundancy and subsumption using graph transformations Valiente,G.