Show simple item record

dc.contributor.authorPolat, F.en_US
dc.contributor.authorGuvenir, H. A.en_US
dc.date.accessioned2016-02-08T10:55:59Z
dc.date.available2016-02-08T10:55:59Z
dc.date.issued1991en_US
dc.identifier.issn0266-4720
dc.identifier.urihttp://hdl.handle.net/11693/26167
dc.description.abstractKnowledge base verification, a part of the validation process in expert system development, includes checking the knowledge base for completeness and consistency to guard against a variety of errors that can arise during the process of transferring expertise from a human expert to a computer system. Regardless of how an expert system is developed, its developers can profit from a systematic check of the knowledge base without gathering extensive data for test runs, even before the full reasoning mechanism is functioning. Until recently knowledge base verification has been largely ignored, which has led to expert systems with knowledge base errors and no safety factors for correctness. We propose a unification-based approach for verification of a knowledge base represented in the form of production rules and facts. This approach can determine conflicting, redundant, subsumed and circular rules; redundant if-conditions in rules; dead-end rules; and cycles and contradiction in rules.en_US
dc.language.isoEnglishen_US
dc.source.titleExpert Systemsen_US
dc.subjectComputer programming - program debuggingen_US
dc.subjectData processing - data transferen_US
dc.subjectExpert systems - testingen_US
dc.subjectKnowledge acquisitionen_US
dc.subjectKnowledge base errorsen_US
dc.subjectKnowledge base verificationen_US
dc.subjectExpert systemsen_US
dc.titleUnification-based approach for knowledge base verificationen_US
dc.typeArticleen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage251en_US
dc.citation.epage259en_US
dc.citation.volumeNumber8en_US
dc.citation.issueNumber4en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record