지식 획득 시스템을 갖춘 전문가 시스템의 구현

An Implementation of Expert System wiht Knowledge Acquisition System

  • 서의현 (목원대학교 컴퓨터공학과)
  • 발행 : 2000.05.01

초록

An expert system executes the inference, based on the knowledge of specific domain. the reliability on the results of inference depends upon both the consistency and accuracy of knowledge. This is the reason why expert system requires the facilities which can practice an access to the various kinds of knowledge and maintain the consistency and accuracy of knowledge an maintain the consistency and accuracy of knowledge. This paper is to implement an expert system permitting an access of declarative and procedural knowledge in the knowledge base and in the data base. This paper is also to implement a knowledge acquisition system which adds the knowledge a only if its accuracy and consistency are maintained, after verifying the potential errors such as contradiction, redundancy, circulation, non-reachable rule and non-lined rule. In consequence, the expert system realizes a good access to the various sorts of knowledge and increases the reliability on the results of inference. The knowledge acquisition system contributes tro strengthening man-machine interface that enables users to add the knowledge easily to the knowledge base.

키워드

참고문헌

  1. N.Botten, A.Kusiak and T.Raz, 'Knowledge Bases : Integration, Verification and Partitioning,' European j. Operational Research, Vol.42, pp.111-128, 1989 https://doi.org/10.1016/0377-2217(89)90315-9
  2. B.Cragun and H.Steudel, 'A Decision-Table Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems,' Int'l j. Man-Machine Studies, Vol.26, No.5, pp.633-648, 1987
  3. Walling R. Cyre, 'Capture, integration, and analysis of digital system requirements with conceptual graphs,' IEEE Trans. on Knowledge and data engineering, Vol.9, No.1, pp.8-23, jan-feb, 1997 https://doi.org/10.1109/69.567041
  4. Christoph F. Eick, 'Rule-Based Consistency Enforcement for Knowledge-Based systems,' IEEE Trans. on Knowledge and data engineering, Vol.5, No.1, pp.4-13, feb, 1993
  5. Gerard Ellis, 'Compiling Conceptual Graphs,' IEEE trans. on Knowledge and data engineering, Vol.7, No.1, pp.68-81, feb, 1995 https://doi.org/10.1109/69.368517
  6. Giarratano, Riley, 'Expert Systems: Principles and Programming,' PWS Publishing Company ed, 1997
  7. R. Guo, Hou Zhengfeng, 'Issues of circulations in nonmonotonic reason maintenance systems,' IEEE international Conference on systems, Man and Cybernetics, Vol.2, pp.1430-1435, 1996 https://doi.org/10.1109/ICSMC.1996.571322
  8. Y.Kudo, T.Murai, T.Da-Te, 'The correspondence of belief changes in logical settings and the possibilistic framework,' Proceedings KES'98. Second International Conference on Knowledge-Based Intelligent Electronic Systems, 21-23 April 1998, Vol. 2, pp.221-229, 1998 https://doi.org/10.1109/KES.1998.725915
  9. P. LeBeux, D. Fontaine, 'Un systeme d'acquisition des connaissances pour systemes experts,' Technique et Science Informatique, Vol.5, No.1, pp.7-20, 1986
  10. N.K.Liu, 'Formal Verification of Some Potential Contradictions in Knowledge Base Usion a High Level Net Approach,' Applied Intelligence, Vol.6, No.4, Oct, 1996
  11. P.Morizet-Mahoudeaux, 'Maintaining Consistency of Database During Monitoring of an Evolving Process by a Knowledge-Based System,' IEEE Trans. on systems, man and cybernetics, Vol.21 , No.1, pp.47-60, 1991 https://doi.org/10.1109/21.101136
  12. D.L.Nazareth, 'Issues in the Verification of Knowledge in Rule-Based Systems,' I.J.Man-Machine Studies, Vol.30, pp.255-271, 1989
  13. D.L.Nazareth and M.H.Kennedy, 'Verification of Rule-Based Knowledge Using Directed Graphs,' Knowledge Acquisition, Vol.3, pp.339-360, 1991 https://doi.org/10.1016/S1042-8143(05)80024-X
  14. D.L.Nazareth, 'Investigating the Applicability of Petri Nets for Rule-Based System Verification,' IEEE Trans. on Knowledge and data engineering, Vol.5, No.3, pp.402-415, 1993 https://doi.org/10.1109/69.224193
  15. T.A. Nguyen, N.A.Perkins, T.J.Laffey and D.Pecora, 'Checking an Expert system knowledge base for consistency and completeness,' Proc. 9th IJCAI, LA, Califonia, pp.375- 378, 1985
  16. T.A.Nguyen, W.A.Perkins, T.J.Laffey and D.Pecora, 'Knowledge Based Verification,' AI Magazine, Vol. 8, No.2, pp.69-75, 1987
  17. V.Poznanski, 'Dempster-Shafer ranges for an RMS,' lEE Colloquium on Reasoning Under Uncertainty, pp.5/1 -5/2, 1990
  18. M. Ramaswamy, S. Sarkar, Ye-Sho Chen, 'Using directed hypergraphs to verify rule-based expert systems,' IEEE Trans. on Knowledge and data engineering, Vol.9, No.2, march-april, pp.221-237, 1997 https://doi.org/10.1109/69.591448
  19. C.L.Ramsey, L.B.Booker, 'A parallel implementation of belief maintenance system,' AI Systems in Geverment Conference, Proceedings, Fifth Annual, pp.180-186, 1990 https://doi.org/10.1109/AISIG.1990.63819
  20. M.Stanojevic, S.Vranes, D.Velasevic, 'Using truth maintenance systems, A tutorial,' IEEE Expert, Vol.9, No.6 pp.46-56, 1994 https://doi.org/10.1109/64.363270
  21. G.Valiente, 'Verification of knowledge based redundancy and subsumption using graph transformations,' Int'I j. Expert System, Vol.6, No.3, pp. 341-355, 1993
  22. 박창현, 유석인, '지식 기반 시스템에서의 추론 Browser의 설계', 한국정보과학회논문지, Vol.19, No.1, pp.80-93, 1992