The Design And Implementation Of Knowledge Base And User Interface For The Belief Nonrevision Prototype System

Belief revision is an important method to solve the inconsistent belief reasoning.The main idea of belief revision is to modify the knowledge base to restore consistency when inconsistency occurs.Belief revision is easy to lose useful information.The method of belief non revision reasoning can tolerate the inconsistency in the knowledge base,and it can be used to obtain a consistent conclusion set by means of a new reasoning method.The belief non revision prototype system uses the most basic logic of belief revision,to achieve the most basic belief in the process of non revision reasoning,but did not combine the actual domain knowledge to verify.In this paper,based on the belief non revision on the prototype system,combined with the fault diagnosis of ship domain knowledge,design a knowledg representation of credibility Horn clause under the first-order predicate logic,effective represent the imprecise knowledge,simplify the representation of domain knowledge to formal language,it is convenient for the analysis of belief form in the system,improve the reasoning efficiency of the whole system.Because the representation of knowledge,The knowledge base is designed as a "fact rule" knowledge base,The Horn clause of the form of knowledge in order to efficiently store.According to the structure of knowledge in knowledge base,improved the reasoning method of belief non revision prototype system,using the unit resolution to reducing combinatorial explosion in reasoning,created the belief map of reasoning in the process of reasoning,calculating the reliability of belief and the modification of belief.By using the above method,realized the construction of the knowledge base of the system,the process of the unit resolution belief revision,the construction of belief map and the reliability calculation and thereduction of belief on belief map,and the user interface.