基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础 . Based on the possible m odel approach (PMA), a concept of action-oriented belief renewal is proposed, which proves that in a fully information-based situational calculus system, a first-order formula is valid if and only if it belongs to Belief set under situation S. This result provides a feasible way to effectively avoid the second-order inductive axiom in situational reasoning, as well as the establishment of agent-driven agent model and agent-oriented programming language AOPL ID agent-oriented programming language with intention driver) provides the necessary theoretical basis.