• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages ATAL 2001, Aug 1-3, 2001, Seattle, WA, USA >On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
【24h】

On the Epistemic Feasibility of Plans in Multiagent Systems Specifications

机译：关于多智能体系统规范中计划的认识论可行性

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

摘要

This paper addresses the problem of ensuring that agents' plans are epistemically feasible in multiagent systems specifications. We propose some solutions within the Cognitive Agents Specification Language (CASL). We define a subjective execution construct Subj that causes the plan to be executed in terms of the agent's knowledge state, rather than in terms of the world state. The definition assumes that the agent does not do planning or lookahead, and chooses arbitrarily among the actions allowed by the plan. We also define another deliberative execution operator Delib for smarter agents that do planning. We show how these notions can be used to express whether a process is epistemically feasible for its agent(s) in several types of situations. More generally, the paper shows how a formalization of epistemic feasibility can be integrated with a transition-system semantics for an agent programming/specification language.
机译：本文解决了确保代理计划在多代理系统规范中在认识论上可行的问题。我们在认知代理规范语言（CASL）中提出了一些解决方案。我们定义了一个主观执行构造Subj，它使计划根据代理的知识状态而不是世界状态执行。该定义假定代理不进行计划或提前，而是在计划允许的操作中任意选择。我们还为执行计划的智能代理定义了另一个协商执行运算符Delib。我们将展示如何使用这些概念来表达一个过程在几种情况下对于它的代理人是否在认识论上可行。更一般而言，本文显示了认知可行性的形式化如何与代理程序编程/规范语言的过渡系统语义集成在一起。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号