Programming Multi-Agent Systems

Programming Multi-Agent Systems
复制标题

多代理系统编程

DOI：
10.1007/978-3-540-79043-3_8
复制
发表时间：
2008
期刊：
--
影响因子：
--
通讯作者：
Dennis L
Dennis L
中科院分区：
--
文献类型：
--
作者：
Dennis L

文献摘要

相似文献

We describe the design of an intermediate language (AIL) for BDI-style programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages.