...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Autonomous agents and multi-agent systems >A logic of intention and action for regular BDI agents based on bisimulation of agent programs
【24h】

A logic of intention and action for regular BDI agents based on bisimulation of agent programs

机译：常规BDI代理基于代理程序双仿真的意图和行动逻辑

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We address the problem of providing a computationally grounded semantics for belief, desire, intention (BDI) agents that explicitly relates intention to action, using as a basis for this connection a notion of bisimulation for agent programs. We first define regular BDI agents, a class of BDI agents inspired by the procedural reasoning system architecture, under the restriction that agent programs are representable as regular expressions. The operational semantics of regular agent programs is formalized using agent program execution graphs, an extension of the process graphs used to formalize regular processes. An agent's executed program represents an attempt to perform an intended plan and can include branches for both successful execution and the failure of action attempts; intended execution paths are defined in terms of successful executions, and intentions in terms of future successfully executed agent programs. We present Agent Dynamic Logic (), a logic of intention and action that faithfully represents the operational semantics of regular BDI agents. is a logic in the spirit of BDI logic but also includes the dynamic logic of actions and a reduction of the logic of intention to the logics of action and time. A main contribution of the paper is a completeness result for a subclass of finite theories with explicit representations of agent plans.
机译：我们解决了为信念，愿望，意图（BDI）主体提供基于计算的语义的问题，该语义明确地将意图与行动相关联，并以此为基础将主体程序的双仿真概念作为基础。我们首先定义正则BDI代理，这是受程序推理系统体系结构启发的一类BDI代理，但要以代理程序可表示为正则表达式为限。常规代理程序的操作语义是使用代理程序执行图形式化的，该图是用于形式化常规过程的过程图的扩展。代理程序的执行程序代表执行预期计划的尝试，并且可以包括成功执行和失败操作尝试的分支；预期的执行路径是根据成功执行定义的，意图是指将来成功执行的代理程序。我们提出了Agent Dynamic Logic（），一种意图和行动的逻辑，忠实地表示常规BDI代理的操作语义。 BDI逻辑是一种逻辑，但它还包括动作的动态逻辑以及意图逻辑到动作和时间逻辑的简化。论文的主要贡献是具有代理计划明确表示的有限理论子类的完整性结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号