面向智能软件主体的基于逻辑的规约语言
人工智能
2007-05-23 v1
摘要
面向主体软件工程(Agent-Oriented Software Engineering, AOSE)研究领域旨在寻找用于建模、验证、确认和原型化以多主体系统(Multiagent Systems, MASs)概念化的复杂应用的抽象、语言、方法论与工具包。一个非常活跃的研究子领域研究如何将形式化方法用于 AOSE。本文详细调研了六种基于逻辑的可执行主体规约语言，选取它们是因为有潜力集成到我们的 ARPEGGIO 项目中——一个用于规约和原型化 MAS 的开放框架。这六种语言是 ConGoLog、Agent-0、IMPACT 主体编程语言、DyLog、Concurrent METATEM 和 Ehhf。对每种可执行语言，描述了其逻辑基础并给出使用示例。对六种语言的比较以及对类似方法的综述完善了本文，同时包含对在 MAS 建模与原型化中使用基于逻辑语言之优势的思考。
引用
@article{arxiv.cs/0311024,
title = {Logic-Based Specification Languages for Intelligent Software Agents},
author = {Viviana Mascardi and Maurizio Martelli and Leon Sterling},
journal= {arXiv preprint arXiv:cs/0311024},
year = {2007}
}
备注
67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe Editor-in-Chief