UVT: a unification based tool for knowledge based verification

Simple item page
dc.citation.epage75en_US
dc.citation.issueNumber3en_US
dc.citation.spage69en_US
dc.citation.volumeNumber8en_US
dc.contributor.authorPolat, F.en_US
dc.contributor.authorGuvenir, H. A.en_US
dc.date.accessioned2015-07-28T12:07:16Z
dc.date.available2015-07-28T12:07:16Z
dc.date.issued1993en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.description.abstractA 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.en_US
dc.identifier.doi10.1109/64.215225en_US
dc.identifier.issn0885-9000en_US
dc.identifier.urihttp://hdl.handle.net/11693/13621en_US
dc.language.isoEnglishen_US
dc.publisherIEEEen_US
dc.relation.isversionofhttp://dx.doi.org/10.1109/64.215225en_US
dc.source.titleIEEE Experten_US
dc.subjectExpert Systemsen_US
dc.subjectKnowledge Based Systemsen_US
dc.subjectSoftware Toolsen_US
dc.subjectProgram Verificationen_US
dc.subjectKnowledge Engineeringen_US
dc.subjectProgram Testingen_US
dc.titleUVT: a unification based tool for knowledge based verificationen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
10.1109-64.215225.pdf
Size:
832.31 KB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Scholarly Publications - Computer Engineering