dc.contributor.advisor | Güvenir, Halil Altay | |
dc.contributor.author | Polat, Faruk | |
dc.date.accessioned | 2016-01-08T20:08:01Z | |
dc.date.available | 2016-01-08T20:08:01Z | |
dc.date.issued | 1989 | |
dc.identifier.uri | http://hdl.handle.net/11693/17192 | |
dc.description | Ankara : The Department of Computer Engineering and Information Sciences and the Institute of Engineering and Science of Bilkent Univ. , 1989. | en_US |
dc.description | Thesis (Master's) -- Bilkent University , 1989. | en_US |
dc.description | Includes bibliographical references leaves 47-49. | en_US |
dc.description.abstract | An important part of an expert system is its knowledge base which contains
domain dei^endent knowledge. Knowledge base verification is one of the
important ¡problems of knowledge acquisition. It is the process of checking
that a knowledge base is complete and consistent. An analysis of the rules
can detect many potential problems that may exist in a knowledge base. The
knowledge base may be incomplete, inconsistent, or even partly erroneous.
Those problems unless identified and corrected may cause the inference engine
to produce inconsistent results such as conflicting conclusions and sometimes
to enter infinite loops. In order to be general, rules with certainty factors are
preferred for knowledge representation. This is partly because rules are used
in many applications and certainty factors are necessary when knowledge has
probabilistic characteristics. Our approacli is to develop a knowledge base
verification tool that can be used as a part of a rule-based expert system
shell. | en_US |
dc.description.statementofresponsibility | Polat, Faruk | en_US |
dc.format.extent | viii, 61 leaves, illustrations | en_US |
dc.language.iso | English | en_US |
dc.rights | info:eu-repo/semantics/openAccess | en_US |
dc.subject | expert system | en_US |
dc.subject | expert system shell | en_US |
dc.subject | certainty factor | en_US |
dc.subject | inference engine | en_US |
dc.subject | knowledge acquisition | en_US |
dc.subject | knowledge base | en_US |
dc.subject | knowledge base verification | en_US |
dc.subject.lcc | QA76.9.E96 P763 1989 | en_US |
dc.subject.lcsh | Expert Systems (Computer Science). | en_US |
dc.subject.lcsh | Computer Programs-Verification. | en_US |
dc.title | Knowledge base verification in an expert system shell | en_US |
dc.type | Thesis | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.publisher | Bilkent University | en_US |
dc.description.degree | M.S. | en_US |