计算逻辑在多智能体系统（MAS）中的应用及挑战

204理论计算机科学www.elsevier.com/locate/entcs前言JürgenDix，JoaoAlexandreLeiteand KenSatoh摘要近年来，代理的概念在定义现代研究的趋势方面发挥了重要作用。在对社会学、心理学等广泛学科的影响中，智能体范式几乎入侵了计算机科学的每一个子领域，尤其是因为互联网和机器人技术。多智能体系统（MAS）是一组能够感知环境并对其采取行动以实现其个体目标和联合目标的问题解决实体。的工作这种系统集成了人工智能和其他计算领域的许多技术和概念。已经开发和正在开发的MAS应用范围很广，从搜索引擎到教育辅助工具，再到电子商务和贸易。虽然通常通过命令式语言来实现，主要是出于效率的原因，但代理概念最近在基于计算逻辑的系统的研究和开发中增加了其重要性计算逻辑，凭借其在实质和方法上的性质，为系统地研究计算提供了一个定义良好的，一般的和严格的框架，无论是语法，语义，过程，还是参与实现，环境，工具和标准。计算逻辑在足够的抽象层次上处理问题并提供解决方案因此，他们从问题域到问题域进行概括，并根据其性质进行排序。逻辑的基础，无论是在实质上还是在方法上，都构成了它的主要资产之一。本研讨会的目的是讨论技术，基于计算逻辑，表示，编程和推理的多智能体系统在一个正式的方式。这显然是计算逻辑的一个主要挑战，处理现实世界的问题和应用。该系列的第一个研讨会于1999年在美国新墨西哥州的拉斯克鲁塞斯举行，名称为逻辑编程中的多智能体系统（MASLP'99），并与ICLP'99相关联。在接下来的一年里，研讨会的名称改为计算逻辑在多智能体系统（CLIMA'00），在英国伦敦举行，并与CL'2000。随后的版本，CLIMA目前的版本，CLIMA2002年第1届，是ICLP我们要感谢提交论文的作者，计划委员会的成员和其他评审员对会议和本卷的贡献我们还要感谢Michael Mislove帮助编辑会议记录。方案委员会JürgenDix（英国曼切斯特大学Thomas Eiter（Vienna University of Technology，Austria）Klaus Fischer（DFKI，Germany）Michael Fisher（英国利物浦大学）James Harland（澳大利亚皇家墨尔本理工大学版权所有© 2013 Elsevier Ltd. 在CC BY-NC-ND许可下开放访问。10.1016/S1571-0661（05）80598-5数量205Wiebe van der Hoek（荷兰乌得勒支大学）Katsumi Inoue（日本神户大学）JoZiaoAlexandreLeite（NewUniversityofLisbon，Portugal）Lu'sMonizPereira（NewUniversityofLisbon，Portugal）KenSatoh（日本国家信息学研究所）V. S. Subrahmanian（美国马里兰大学）Francesca Toni（英国帝国理工学院）Paolo Torroni（意大利博洛尼亚大学）Jos'eAlferes其他评论者岩沼浩二安德烈·沙尔克阿拉木忠格哈德·莱克迈耶迈克尔·施罗德阿拉斯泰尔·伯特伟刘田口健二安娜·钱波利尼·成禄Hans TompitsPierangelo Dell迈克尔·芬克Inna PivkinnaMichael WinikoChiara GhidiniFabrizio RiguzziCees WitteveenHisashi HayashiChiaki Sakama对于这个版本的CLIMA，我们收到了25份提交，其中12份是经过仔细的审查过程，其中每篇论文都由计划委员会的三名成员独立审查后选出的。讲习班由五场会议组成：四场会议专门口头介绍选定的论文并随后进行讨论;一场会议专门进行小组讨论，Paolo Torroni应邀担任主持人。以下是研讨会的简要概述Schroeder和Schweimeier提出了一个基于逻辑编程的框架，具有3值多代理论证和模糊统一，用于代理中的知识表示和推理，以适应代理通信不确定时谈判代理的参数。Leite等人扩展了LUPS语言，引入了MLUPS，这是一种更新命令语言，设计用于指定分层相关代理组的可扩展演化，基于逻辑编程，从而为它们分配声明性语义。Kakas和Moréitis提出了一个用于模型描述的模型推理框架w或k，其中对象层次的参数可以以主体的角色为条件，而这些角色之间的优先级关系可以反过来以内容为条件，在此基础上，一种简单的溯因形式允许处理不完整的第2部分-代理的逻辑Toyama等人介绍了多代理自动认知逻辑（MAEL）的翻译，MAEL是一种基于Moore自动认知逻辑的多代理系统逻辑，到逻辑编程，并显示了MAEL扩展和稳定模型之间的对应关系。相应的逻辑程序。Dell数量206Harland和Winiko Wyndham讨论了BDI类型代理的形式化和实现问题，使用基于线性逻辑的演算，允许混合正向和反向链接技术。第3节-BDI Agent系统Bordini和Moreira研究了Rao和George Rao制定的不对称论文原则在多大程度上实际上被抽象的Agent规范语言AgentSpeak（L）满足，从而有助于调和基于BDI的代理的实践与理论之间。Araragi等人形式化并提出了一种方法来解决在实现BDI架构的承诺策略时出现的验证问题，即验证Agent意图的适用性和/或可行性Nide等人扩展了他们先前提出的基于CTL的命题BDI逻辑的演绎系统的精神状态一致性特征，作为使用BDI逻辑作为理性主体的可执行规范语言的表达能力。第4节-代理：推测计算和内省Hayashi等人通过逻辑编程解决了整合推测计算和动作执行的问题，即通过设计一种方法，当推测计算失败或执行操作时，进行计划修改。Iwanuma和Inoue改进了基于子句表SOL的一阶结果发现过程，具有条件答案计算和跳过偏好，以形式化主从多智能体系统中的推测计算。博兰德研究了在知识和信念的句法处理下寻找一致的公式类，确定了三个最大的内省信念集，强内省代理人可以始终如一地保持这些信念，以避免自我参照的悖论。会议5 -小组讨论Torroni主持了一个小组讨论，题为本卷构成CLIMASeptember2002，JürgenDix，JoZiaoAlexandreLeiteanddKennSatoh（客座编辑）