UVT: a unification based tool for knowledge based verification
dc.citation.epage | 75 | en_US |
dc.citation.issueNumber | 3 | en_US |
dc.citation.spage | 69 | en_US |
dc.citation.volumeNumber | 8 | en_US |
dc.contributor.author | Polat, F. | en_US |
dc.contributor.author | Guvenir, H. A. | en_US |
dc.date.accessioned | 2015-07-28T12:07:16Z | |
dc.date.available | 2015-07-28T12:07:16Z | |
dc.date.issued | 1993 | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.description.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. | en_US |
dc.description.provenance | Made available in DSpace on 2015-07-28T12:07:16Z (GMT). No. of bitstreams: 1 10.1109-64.215225.pdf: 852288 bytes, checksum: 5c8bd603811bb557538ae84446ffc6b8 (MD5) | en |
dc.identifier.doi | 10.1109/64.215225 | en_US |
dc.identifier.issn | 0885-9000 | |
dc.identifier.uri | http://hdl.handle.net/11693/13621 | |
dc.language.iso | English | en_US |
dc.publisher | IEEE | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1109/64.215225 | en_US |
dc.source.title | IEEE Expert | en_US |
dc.subject | Expert Systems | en_US |
dc.subject | Knowledge Based Systems | en_US |
dc.subject | Software Tools | en_US |
dc.subject | Program Verification | en_US |
dc.subject | Knowledge Engineering | en_US |
dc.subject | Program Testing | en_US |
dc.title | UVT: a unification based tool for knowledge based verification | en_US |
dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 10.1109-64.215225.pdf
- Size:
- 832.31 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version