This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
UVT: A Unification-Based Tool for Knowledge Base Verification
June 1993 (vol. 8 no. 3)
pp. 69-75

A method for verifying knowledge bases that is based on the unification of rules is discussed. One characteristic that distinguishes this approach from other verification tools is that it infers some of the rules that are not explicitly given in the rule base and considers their effect on the verification process. The method can determine conflicting, redundant, subsumed, circular, and dead-end rules, redundant if conditions in rules, and cycles and contradictions within rules. The method has been implemented in a computer program called UVT (for unification-based verification tool) and tested on sample knowledge bases.

Citation:
Faruk Polat, H. Altay Guvenir, "UVT: A Unification-Based Tool for Knowledge Base Verification," IEEE Intelligent Systems, vol. 8, no. 3, pp. 69-75, June 1993, doi:10.1109/64.215225
Usage of this product signifies your acceptance of the Terms of Use.