维维亚娜·马斯卡迪;Maurizio Martelli;利昂·斯特林 用于智能软件代理的基于逻辑的规范语言。 （英语） Zbl 1085.68131号 理论实践。日志。程序。 4，第4期，429-494（2004）. 概要：面向代理软件工程（AOSE）的研究领域旨在寻找抽象、语言、方法和工具包，用于建模、验证、验证和原型化概念化为多代理系统（MAS）的复杂应用程序。一个非常活跃的研究子领域研究如何将形式化方法用于AOSE。本文对六种基于逻辑的可执行代理规范语言进行了详细的调查，这六种语言因其在我们的ARPEGGIO项目中的潜力而被选择，该项目是一个用于指定和原型化MAS的开放框架。这六种语言分别是：（text{ConGolog}）、（text{AGENT}）-0、（text{IMPACT}）代理编程语言、（text{DyLOG}）和Concurrent（text{METATEM}）以及（{mathcal E}_{hhf}）。对于每种可执行语言，都描述了逻辑基础，并给出了使用示例。通过对六种语言的比较和对类似方法的调查，以及对在MAS建模和原型制作中使用基于逻辑的语言的优势的考虑，完成了本文。 引用于1文件 MSC公司： 68T05型 人工智能中的学习和自适应系统 68时01分 人工智能的一般主题 68N99型 软件理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：面向agent的软件工程;基于逻辑的语言;多智能体系统 软件：PVS公司;METATEM公司;ConGolog公司;加罗;LUPS公司;高尔夫;代理发言 PDF格式BibTeX公司 XML格式引用 \textit{V.Mascardi}等人，《理论与实践》。日志。程序。4，第4号，429--494（2004；Zbl 1085.68131） 全文： DOI程序