重庆理工大学学报(社会科学) ›› 2022, Vol. 36 ›› Issue (6): 53-62.

• 逻辑与科学方法论 • 上一篇    

Agent信念修正推理机制

林 颖1,郝一江2   

  1. 1.宁德师范学院 马克思主义学院; 2.中国社会科学院 哲学研究所
  • 发布日期:2022-07-18
  • 作者简介:林颖,教授,主要从事现代逻辑学研究;郝一江,副研究员,博士,主要从事现代逻辑学与科学哲学研究

  • Published:2022-07-18

摘要: 执行能行行动可以得到 Agent所意图的事件状态。通过定义信念扩展、信念收缩和信念修正 这三种常见的信念更新模型,可以形式化地表征:执行这些行动所导致的事件状态、决定主体“是否有机 会执行这些行动的”条件,以及主体为了完成这些行动所应具备的能力。使用选择函数可定义信念收缩 行动模型。信念修正可被定义为信念收缩行动和信念扩展行动的序列组合行动。根据主体的知识和信 念可以定义主体采取信念更新行动的能力。

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

中图分类号: 

  • B81