A system for modeling robotic intellectual belief

In artificial intelligence, the research on knowledge and belief has made many achievements. But most researches hardly combine knowledge with belief to be a single system. Moreover, people have researched the relationship between belief and other factors, such as scene, intention, behavior, action and so on. In this paper, however, we take another research direction. Based on the basic epistemic system that mixes knowledge and belief, we establish a new reasoning system by adding a new operator about intellectual belief. And then, we model its semantic by possible-world model. Moreover, we prove some theorems within this system, and two metatheorems about this system. In the end, we discuss some intellectual properties about robotic belief and its application of artificial intelligence.