Browse > Article
http://dx.doi.org/10.5391/JKIIS.2003.13.5.505

Knowledge Verification System with Unproved Pairwise Checking Method  

Suh, Euy-Hyun (목원대학교 컴퓨터공학과)
Publication Information
Journal of the Korean Institute of Intelligent Systems / v.13, no.5, 2003 , pp. 505-511 More about this Journal
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.
Keywords
지식베이스;일관성;쌍 검증 방식;지식검증시스템;
Citations & Related Records
연도 인용수 순위
  • Reference
1 D.L.Nazareth, "Lssues in the Verification of Knowledge in Rule-Based Systems", I.J.Man-Machine Studies, vol. 30, pp. 255-271, 1989.   DOI   ScienceOn
2 D.L.Nazareth and M.H.Kennedy, "Verification of Rule-Based Knowledge Using Directed Graphs", Knowledge Acquisition, vol.3, pp.339-360, 1991.   DOI
3 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.   DOI   ScienceOn
4 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
5 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.   DOI   ScienceOn
6 G.Valiente, "Verification of knowledge based redundancy and subsumption using graph transformations", Int'l J. Expert System, vol.6, no.3, pp341-355, 1993.
7 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.   DOI   ScienceOn
8 Gerard Ellis, "Compiling Conceptual Graphs", IEEE trans. on Knowledge and data engineering, vol 7, no 1, pp. 68-81, feb, 1995.   DOI   ScienceOn
9 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
10 B. Selman, H.Kautz, D.McAllester, "Computational challenges in propositional resoning and search", Proc. IJCAI97, 1997
11 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.
12 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.   DOI   ScienceOn
13 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.   DOI   ScienceOn
14 P. LeBeux, n Fontaine, "Un systeme d'acquisition des connaissances pour systemes experts", Technique et Science Informatique, vol 5, no.1, pp7-20, 1986.
15 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.
16 N.Botten, A.Kusiak and T.Raz, "Knowledge Bases : Integration, Verification and Partitioning", European j. Operational Research, vol 42, pp.111-128, 1989.   DOI   ScienceOn
17 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.   DOI   ScienceOn
18 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.   DOI   ScienceOn