Propositional logic correcting method based on representative model

Abstract

The invention relates to a propositional logic correcting and calculating method based on a representative model, comprising the following steps: (1) initiating a result set Lambda, accepting a set Sigma, a system set Gamma and a new representative model list (New Model List); (2) initiating a representative model list (Model List) by using all representative models of Sigma; (3) if the system set Gamma is an empty set, turning to step (8); (4) taking out and deleting a proposition A from Gamma; (5) constructing an alternative representative model set Prop Model of A by using A, Sigma and Model List; (6) carrying out verification to A by all alternative representative models in Prop Model one by one: if an alternative representative model M leads A to be true, storing M into New Model List; (7) if New Model List is not an empty set, assigning a value to Model List by using New Model List, resetting New Model List to be the empty set, storing A into Lambda and Sigma respectively, and turning to step (3); and if New Model List is an empty set, directly turning to step (3); and (8) outputting the result Lambda. In the method, the representative model is constructed according to every proposition condition in the system set, and a method for only verifying related models is used so as to reduce the checking times of models, thus improving the efficiency of correction and calculation.

Description

field of invention [0001] The invention relates to an artificial intelligence propositional logic system, which modifies the form of the original propositional logic system Gamma according to the fact set Delta, so that the corrected system Lambda can coordinate with the fact set Delta. In particular, the invention relates to an automatic correction method based on a correction calculus of a propositional representative model. Background of the invention [0002] With the development of information science and artificial intelligence, people's demand for automatic maintenance of knowledge systems is increasing. How to make computer systems automatically maintain system knowledge bases is a problem that needs to be solved. People raise the question of logical revision—how to modify or delete the original belief system so that the system after adding the new concept is consistent when the new concept or demand conflicts or contradicts the original belief system. [0003] In o...

AI Technical Summary

Problems solved by technology

However, these methods have a certain degree of efficiency problems in system implementation.

Images