A Belief Evolution Model with Non-axiomatic Logic

The existing belief models based on knowledge science and engineering have not yet formed a complete theoretical system in terms of formation of knowledge, the representation of uncertainty, and the updating and revision of beliefs. To address this problem, this paper takes knowledge ecology as a main reference frame and proposes a belief evolution model using Non-Axiomatic Logic as a formalization way. The proposed belief systems organize perceived environmental information into evidence, and transform it into normative knowledge, commonsense knowledge, and intelligent strategies through a unified reasoning and learning approach. In addition, the model uniformly characterizes the randomness, vagueness, imprecision, ignorance and other kinds of uncertainty information existing in the knowledge with NAL, which provides a formal representation and semantic explanation of the shape of the knowledge at each stage. The proposed model not only reveals the developmental laws of the internal growth of knowledge, but also explicitly characterizes the transformation and developmental laws between information, knowledge and intelligence, reflecting the constructivist cognitive theory of knowledge and understanding established by Jean Piaget.