Structural and Semantic Verification for Consistency and Completeness of Knowledge


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 8, pp. 2075-2082, Aug. 1998
10.3745/KIPSTE.1998.5.8.2075,   PDF Download:

Abstract

Rule-based knowledge representation is the most popular technique for storage and manipulation of domain knowledge in expert system. B the way, the amount of knowledge increases more and more in this representation technique, its relationship becomes complex, and even its contents can be modified. This is the reason why rule-based knowledge representation technique requires a verification system which can maintain consistency and completeness of knowledge base. This paper is to propose a verification system for consistency and completeness of knowledge base to promote the efficiency and reliability of expert system. After verifying the potential errors both in structure and in semantics whenever a new rule is added, this system renders knowledge base consistent and complete by correcting them automatically or by making expert correct them if it fails.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
S. E. Hyun, "Structural and Semantic Verification for Consistency and Completeness of Knowledge," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 8, pp. 2075-2082, 1998. DOI: 10.3745/KIPSTE.1998.5.8.2075.

[ACM Style]
Suh Euy Hyun. 1998. Structural and Semantic Verification for Consistency and Completeness of Knowledge. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 8, (1998), 2075-2082. DOI: 10.3745/KIPSTE.1998.5.8.2075.