...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Autonomous agents and multi-agent systems >Toward a programming theory for rational agents
【24h】

Toward a programming theory for rational agents

机译：走向理性主体的编程理论

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

摘要

An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs. The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity of decision procedures for the verification logic are not the focus of this paper and remain for future investigation.
机译：代理验证中的一个重要问题是，一方面缺乏对代理程序和另一方面代理逻辑之间关系的正确理解。理解这种关系将有助于确定代理程序编程语言在概念上既有良好的基础又具有良好的行为习惯，并有助于通过代理程序逻辑推理出有关代理程序的方法。为了弥合这一差距，我们研究了一些需要解决的问题，以便在模态代理逻辑和通过操作语义指定的代理编程语言之间建立精确的数学关系。在本文中，我们提出了一种代理编程理论，该理论提供了一种代理编程语言以及相应的代理验证逻辑来​​验证代理程序。该理论分阶段发展，首先显示出如何将模态语义学基于基于状态的语义学，其次，如何使用指义语义学来定义连接逻辑和代理程序编程语言的数学关系。此外，还显示了如何集成声明性目标以及如何将预编译的计划添加到编程理论中。特别是，我们讨论了理论中高阶目标概念的使用。诸如完全公理化和验证逻辑决策程序的复杂性之类的其他问题并不是本文的重点，并且有待进一步研究。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号