| 摘要: |
| 基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础. |
| 关键词: 情境演算 信念更新 智能体 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到航空基础科学基金(No.97F52055)、 江苏省自然科学基金(No.BK97064 )、高等学校博士学科点专项科研基金( No.97028428) |
|
| Action-Oriented Belief Updating |
|
ZHANG Dong mo,ZHU Zhao hui,CHEN Shi fu
|
| Abstract: |
| 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). |
| Key words: Situation calculus belief update agent |
