Knowledge base verification in an expert system shell

buir.advisorGüvenir, Halil Altay
dc.contributor.authorPolat, Faruk
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionAnkara : The Department of Computer Engineering and Information Sciences and the Institute of Engineering and Science of Bilkent Univ. , 1989.en_US
dc.descriptionThesis (Master's) -- Bilkent University , 1989.en_US
dc.descriptionIncludes bibliographical references leaves 47-49.en_US
dc.description.abstractAn 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.statementofresponsibilityPolat, Faruken_US
dc.format.extentviii, 61 leaves, illustrationsen_US
dc.publisherBilkent Universityen_US
dc.subjectexpert systemen_US
dc.subjectexpert system shellen_US
dc.subjectcertainty factoren_US
dc.subjectinference engineen_US
dc.subjectknowledge acquisitionen_US
dc.subjectknowledge baseen_US
dc.subjectknowledge base verificationen_US
dc.subject.lccQA76.9.E96 P763 1989en_US
dc.subject.lcshExpert Systems (Computer Science).en_US
dc.subject.lcshComputer Programs-Verification.en_US
dc.titleKnowledge base verification in an expert system shellen_US
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
1.6 MB
Adobe Portable Document Format
Full printable version