###
DOI:
Journal of Software:2000.11(9):1276-1282

面向行动的信念更新
张东摩,朱朝晖,陈世福
(南京航空航天大学计算机科学研究所 南京 210016;南京大学计算机软件新技术国家重点实验室 南京 210016)
Action-Oriented Belief Updating
ZHANG Dong mo,ZHU Zhao hui,CHEN Shi fu
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2802   Download 2292
Received:November 30, 1998    Revised:July 29, 1999
> 中文摘要: 基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础.
中文关键词: 情境演算  信念更新  智能体  
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).
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到航空基础科学基金(No.97F52055)、 江苏省自然科学基金(No.BK97064 )、高等学校博士学科点专项科研基金( No.97028428) 本文研究得到航空基础科学基金(No.97F52055)、 江苏省自然科学基金(No.BK97064 )、高等学校博士学科点专项科研基金( No.97028428)
Foundation items:
Reference text:

张东摩,朱朝晖,陈世福.面向行动的信念更新.软件学报,2000,11(9):1276-1282

ZHANG Dong mo,ZHU Zhao hui,CHEN Shi fu.Action-Oriented Belief Updating.Journal of Software,2000,11(9):1276-1282