Abstract:In order to represent the knowledge model of the combination of time and actions in a possible world,this article proposes a knowledge representation(KR) method which is based on first order logic and its semantic can be interpreted by production rules. First,we discuss the basic theory of knowledge representation(KR), and next,we construct a meta language through which semantic can be explained by the rules of semantic interpretation and predicates, and then,by the meta language and its semantic we describe the concepts in the possible world. At last,we use experiments in the possible world to demonstrate the effectiveness of the presented method.

A Knowledge Representation in Possible World.