A belief logic system and associative plan method based on goals

An associative plan method based on goals, called GAPM, is proposed and realized. GAPM puts a plan method based on goals into the process of common knowledge, predicates into frames, and critic rules into plans in order to make the representation and process of special common knowledge and general common knowledge achieves coordination consistently. Using GAPM, we have created and realized an experimental computer model of belief logic system, called FBL1, which is an extension of first-order logic. In FBL1, we combine modal logic and temporal logic with first-order logic, this gives FBL1 the capability to represent and process common knowledge which is based on the belief of subjective understanding of humans