UVT: a unification based tool for knowledge based verification
Date
1993Source Title
IEEE Expert
Print ISSN
0885-9000
Publisher
IEEE
Volume
8
Issue
3
Pages
69 - 75
Language
English
Type
ArticleItem Usage Stats
178
views
views
211
downloads
downloads
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.
Keywords
Expert SystemsKnowledge Based Systems
Software Tools
Program Verification
Knowledge Engineering
Program Testing