Journal of the Korean Institute of Intelligent Systems (한국지능시스템학회논문지)

Korean Institute of Intelligent Systems (한국지능시스템학회)
권호 표지
DOI QR코드

DOI QR Code

Knowledge Verification System with Unproved Pairwise Checking Method

개선된 쌍 검증 방식을 이용한 지식 검증 시스템

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

Abstract

Production rule based knowledge representation method has many advantages, but has the difficulties in maintaining the consistency of knowledge. Since the consistency maintenance of knowledge exercises a marked effect on the reliability of inference results, the system for consistency maintenance of knowledge is indispensable to increase the reliability. In the most popular pairwise checking method among consistency verification methods, the valuable rules can be omitted and it takes much time in checking the consistency when the rules are numerous. So, this paper is to propose and implement the verification system which can remove the structural errors and semantic ones, making up for the defects of pairwise checking method by using the certain property list and eventual property list and improving the steps of verification.

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

Keywords

References

  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. Laure Brisoux, Eric Gregoire, Lakhdar Sais, "Checking Depth-Limited Consistency and Inconsistency in Knowledge-Based Systems", International Journal of Intelligent Systems, vol. 16, 2001, pp 319-331. https://doi.org/10.1002/1098-111X(200103)16:3<319::AID-INT1010>3.0.CO;2-U
  3. 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. https://doi.org/10.1016/S0020-7373(87)80076-7
  4. 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
  5. Christoph F. Eick, "Rule-Based Consistency Enforcement for Knowledge-Based systems", IEEE Trans. on Knowledge and data engineering, vol 5, no.1 ,pp4-13, feb, 1993. https://doi.org/10.1109/69.204087
  6. 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
  7. P. LeBeux, n Fontaine, "Un systeme d'acquisition des connaissances pour systemes experts", Technique et Science Informatique, vol 5, no.1, pp7-20, 1986.
  8. 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
  9. B.Mazure, L.Sais, E.Gregoire, "Boosting complete technique thanks to local search methods", Annuals of mathematics and artificial intelligence, Kluwer, pp 319-331, 1998
  10. 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
  11. D.L.Nazareth, "Lssues in the Verification of Knowledge in Rule-Based Systems", I.J.Man-Machine Studies, vol. 30, pp. 255-271, 1989. https://doi.org/10.1016/S0020-7373(89)80002-1
  12. 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
  13. 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
  14. T.A. Nguyen, N.A.Perkins, T.J.Laffey and D.Pecora, "Checking an Expert system knowledge base for consistency and completeness", Proc. IJCAI85, LA, Califonia, pp. 375-378, 1985.
  15. 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.
  16. 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
  17. B. Selman, H.Kautz, D.McAllester, "Computational challenges in propositional resoning and search", Proc. IJCAI97, 1997
  18. G.Valiente, "Verification of knowledge based redundancy and subsumption using graph transformations", Int'l J. Expert System, vol.6, no.3, pp341-355, 1993.