UVT: a unification based tool for knowledge based verification

Date
1993
Authors
Polat, F.
Guvenir, H. A.
Editor(s)
Advisor
Supervisor
Co-Advisor
Co-Supervisor
Instructor
Source Title
IEEE Expert
Print ISSN
0885-9000
Electronic ISSN
Publisher
IEEE
Volume
8
Issue
3
Pages
69 - 75
Language
English
Journal Title
Journal ISSN
Volume Title
Series
Abstract

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.

Course
Other identifiers
Book Title
Citation
Published Version (Please cite this version)