loading...
UVT: A Unification-Based Tool for Knowledge Base Verification
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/64.215225June 1993 (vol. 8 no. 3) pp. 69-75
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/64.215225,
author = {Faruk Polat and H. Altay Guvenir},
title = {UVT: A Unification-Based Tool for Knowledge Base Verification},
journal ={IEEE Intelligent Systems},
volume = {8},
number = {3},
issn = {0885-9000},
year = {1993},
pages = {69-75},
doi = {http://doi.ieeecomputersociety.org/10.1109/64.215225},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Intelligent Systems
TI - UVT: A Unification-Based Tool for Knowledge Base Verification
IS - 3
SN - 0885-9000
SP69
EP75
EPD - 69-75
A1 - Faruk Polat,
A1 - H. Altay Guvenir,
PY - 1993
VL - 8
JA - IEEE Intelligent Systems
ER -
 

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.