%0 Journal Article
%T Action-Oriented Belief Updating<br>面向行动的信念更新
%A ZHANG Dong mo
%A ZHU Zhao hui
%A CHEN Shi fu
%A <br>张东摩
%A 朱朝晖
%A 陈世福
%J 软件学报
%D 2000
%I 
%X In this paper, the concept of action oriented belief updating is introduced based on the PMA (possible model approach). It is proved that a first order formula holds in a situation if and only if it belongs to the belief set of the situation provided the situation calculus system is informational complete. This result makes it possible to avoid the appeal to second induction axiom in the entailment of situation calculus and also provides a theoretical foundation for modeling agents with intention driver and the agent-oriented programming language AOPLID (agent-oriented programming language with intention driver).
%K Situation calculus
%K belief update
%K agent<br>情境演算
%K 信念更新
%K 智能体
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=056D169A03EBC442C895252F58A3F685&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=9CF7A0430CBB2DFD&sid=C700F38C49C581D7&eid=7CF64E95CEC38520&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=3