面向行动的信念更新

来源 :软件学报 | 被引量 : 0次 | 上传用户:myazx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于可能模型方法 ( 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.
其他文献
:介绍了机器人超声振动研磨研究中用的 RV-M1型机器人 ,建立了 RV-M1型机器人模型及其坐标系 ,推导出了该型机器人的正向运动学方程 ,并对机器人的运动学逆问题进行了求解 ,
重过磷酸钙是一种高效磷肥,由于含磷量比普通过磷酸钙高2~3倍,所以称为重过磷酸钙,或称双料、三料过磷酸钙,简称重钙。我们于1985~1986年分别在云南省保山市、施甸县、腾冲县
什邡晒烟种植历史悠久,常年种植面积8—9万亩,年产量25万担左右,总产值2000多万元,每年为国家提供税金近1000万元,是我县农民与地方财政收入的一项重要来源。在晒烟生产中。
一我如果说,我能够把几出京剧样板戏的唱段从头到尾一句不拉(连同过门)唱出来,台词不打嗑地全部抑扬顿挫地念出来,我还能把《白毛女》、《红色娘子军》的旋律全部哼出来,今天
中国艺术研究院中国美术创作院于二○○四年八月三十日在北京挂牌成立。这在从不缺乏热点的艺术界,并不是太打眼的新闻。回想起来,似乎创作院当时并不准备大事张扬,按常理应
忙碌的工作暂时告一个段落,难得老板准你放个长假,你会希望这是个怎么样的假期?  A、有趣好玩  B、放松休息  C、学习丰收  D、浪漫甜蜜  分析:  选A的人:  你于公于私都是个拼命三郎,从不让自己停下来。你在吃喝玩乐的活动筹划和工作提案一样认真,通宵熬夜对你,已是家常便饭了。  选B的人:  你在工作职场上很投入,在专业领域里也经营了一段时间,已经老神在在,一切都在掌控中。因为太稳定了,也
镍硌硅—镍硌热电偶传感器 (分度号为 N,简称 N型热电偶 ) 70年代由澳大利亚首先研制出来 ,它是一种新型镍硌合金测温元件 ,也是国际上在贱金属热电偶合金材料研究方面取得的
早期,植原发现水稻感稻瘟病时代谢出阻碍稻瘟病菌分生孢子发芽的物质。其后,三迟( 1968)、西村( 1970)及其他不少研究者试图弄清这种抗菌物质(植物防御素)的实质。另一方面,
所谓运动拍摄,就是在一个镜头中通过移动摄像机机位,或者变动镜头光轴,或者变化镜头焦距所进行的拍摄。通过这种拍摄方式所拍到的画面,称为运动画面。比如,通过推、拉、摇、
测定发芽率是种子播种品质鉴定的主要项目,是确定播种量的重要依据来源。准确的室内发芽试验对节约种子、降低成本、保苗增产有着一定的意义。 Determination of germinati