Unification-based approach for knowledge base verification
| dc.citation.epage | 259 | en_US |
| dc.citation.issueNumber | 4 | en_US |
| dc.citation.spage | 251 | 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 | 2016-02-08T10:55:59Z | |
| dc.date.available | 2016-02-08T10:55:59Z | |
| dc.date.issued | 1991 | en_US |
| dc.department | Department of Computer Engineering | en_US |
| dc.description.abstract | Knowledge 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.identifier.issn | 0266-4720 | |
| dc.identifier.uri | http://hdl.handle.net/11693/26167 | |
| dc.language.iso | English | en_US |
| dc.source.title | Expert Systems | en_US |
| dc.subject | Computer programming - program debugging | en_US |
| dc.subject | Data processing - data transfer | en_US |
| dc.subject | Expert systems - testing | en_US |
| dc.subject | Knowledge acquisition | en_US |
| dc.subject | Knowledge base errors | en_US |
| dc.subject | Knowledge base verification | en_US |
| dc.subject | Expert systems | en_US |
| dc.title | Unification-based approach for knowledge base verification | en_US |
| dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Unification-based approach for knowledge base verification.pdf
- Size:
- 832.31 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version