• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >Belief, information acquisition, and trust in multi-agent systems - A modal logic formulation
【24h】

Belief, information acquisition, and trust in multi-agent systems - A modal logic formulation

机译：多主体系统中的信任，信息获取和信任-模态逻辑公式

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we consider the influence of trust on the assimilation of acquired information into an agent's belief. By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust. The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a modal operator with minimal semantics. On characteristic axiom of the basic system is if agent i believes that agent j has told him the truth of p and he trusts the judgement of j on p, then he will also believe p. In addition to the basic system, some variants and further axioms for trust and information acquisition are also presented to show the expressive richness of the logic. The applications of the logic to computer security and database reasoning are also suggested by its connection with some previous works.
机译：在本文中，我们考虑了信任对将获取的信息吸收到代理的信念中的影响。通过使用模态逻辑，我们在语义和公理上描述了信念，信息获取和信任之间的关系。信念和信息获取运算符分别由KD45和KD常规模态表示，而信任由具有最小语义的模态运算符表示。关于基本系统的特征公理是，如果代理i相信代理j告诉了他p的真相，并且他相信j对p的判断，那么他也会相信p。除了基本系统之外，还介绍了一些用于信任和信息获取的变体和其他公理，以显示逻辑的表达丰富性。该逻辑与一些以前的著作的联系也表明了该逻辑在计算机安全和数据库推理中的应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号