Show simple item record

dc.contributor.advisorGüvenir, Halil Altay
dc.contributor.authorPolat, Faruk
dc.date.accessioned2016-01-08T20:08:01Z
dc.date.available2016-01-08T20:08:01Z
dc.date.issued1989
dc.identifier.urihttp://hdl.handle.net/11693/17192
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.language.isoEnglishen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_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
dc.typeThesisen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.publisherBilkent Universityen_US
dc.description.degreeM.S.en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record