Agent信念修正推理机制  

Reasoning mechanism of agent’s belief revision

作　　者：林颖 郝一江[2] LIN Ying;HAO Yijiang(Marxism College,Ningde Normal University,Ningde 352100,China;Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China)

机构地区：[1]宁德师范学院马克思主义学院,福建宁德352100 [2]中国社会科学院哲学研究所,北京100732

出　　处：《重庆理工大学学报（社会科学）》2022年第6期53-62,共10页Journal of Chongqing University of Technology（Social Science）

基　　金：安徽省高校科研重点项目“人工智能视域下的信念—愿望—意图逻辑及(多)Agent行为表征研究”(SK2021A002)。

摘　　要：执行能行行动可以得到Agent所意图的事件状态。通过定义信念扩展、信念收缩和信念修正这三种常见的信念更新模型,可以形式化地表征:执行这些行动所导致的事件状态、决定主体“是否有机会执行这些行动的”条件,以及主体为了完成这些行动所应具备的能力。使用选择函数可定义信念收缩行动模型。信念修正可被定义为信念收缩行动和信念扩展行动的序列组合行动。根据主体的知识和信念可以定义主体采取信念更新行动的能力。Actions that an agent is capable of performing lead to desired states of affairs.By defining three common belief-changing models,that is,belief expansion,belief contraction and belief revision,one can formally characterize states of affairs that result from execution of these actions,the conditions that decide whether agents have the opportunity to perform them,and the capability that agents should possess in order to be able to perform them.The selection functions can be used to define the model of belief contraction actions.A belief revision action can be defined as a sequential composition of a belief contraction action and a belief expansion action.The ability of agents to apply belief-changing actions is defined on the basis of knowledge and belief.

关 键 词：信念扩展 信念收缩 信念修正 行动 

分 类 号：B81[哲学宗教—逻辑学]