• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Principles of Knowledge Representation and Reasoning(KRamp;R); 20060602-05; Lake District of the United Kingdom(GB) >Grounding and the expression of belief
【24h】

Grounding and the expression of belief

机译：扎根与信念表达

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

摘要

In this paper we investigate the logic of speech acts and groundedness. A piece of information is grounded for a group of agents if it is publicly expressed and established by all agents of the group. Our concept of groundedness is founded on the expression of the sincerity condition of speech act theory. We formalize groundedness within an extended BDI (Belief, Desire, Intention) logic where belief is viewed as a kind of group belief. We show that our logic permits to reconcile the mentalist approaches on the one hand, and the structural and social approaches on the other, which are the two rival research programs in the formalization of agent interaction. Although groundedness is thus linked to the standard mental attitude of belief, it is immune to the critiques that have been put forward against the mentalist approaches, viz. that they require too strong hypotheses about the agents' mental states such as sincerity and cooperation: just as the structural approaches, groundedness only bears on the public aspect of communication. In our extended BDI logic we study communication between heterogeneous agents. We characterize inform and request speech acts in terms of preconditions and effects. We demonstrate the power of our solution by means of two examples. First, we revisit the well-known FIPA Contract Net Protocol. As a second example, we show how Walton & Krabbe's commitments can be redefined in term of groundedness.
机译：在本文中，我们研究了言语行为和基础的逻辑。如果某条信息是由该组的所有代理公开表达和建立的，则该信息是基于该组的。我们的扎根概念是建立在言语行为理论的诚意条件之上的。我们将扩展的BDI（信念，欲望，意图）逻辑中的基础正式化，在这种逻辑中，信念被视为一种群体信念。我们证明，我们的逻辑一方面可以调和心理学家的方法，另一方面可以让结构和社会的方法和解，这是代理交互作用形式化中的两个相互竞争的研究计划。因此，尽管扎根与信念的标准心理态度有关，但它不受针对心理学家方法提出的批评的影响，即。他们需要关于代理人心理状态（如诚意与合作）的过强假设：就像结构方法一样，扎根也仅取决于沟通的公共方面。在扩展的BDI逻辑中，我们研究异构代理之间的通信。我们根据前提条件和效果来表征告知和请求言语行为。我们通过两个示例展示了我们解决方案的强大功能。首先，我们回顾著名的FIPA合同网协议。作为第二个示例，我们展示了如何根据扎根原则重新定义沃尔顿与克拉伯的承诺。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号