1、声明式代理语言与技术：多智能体系统的规范与执行

声明式代理语言与技术：多智能体系统的规范与执行

在当今科技发展的浪潮中，多智能体系统的研究与应用愈发重要。而声明式代理语言与技术（DALT）为多智能体系统的发展提供了强大的支持。

1. DALT 研讨会概述

DALT 研讨会已经成功举办了六届，是一个成熟的论坛，供对将声明式和形式化方法与智能体及多智能体系统的工程技术相结合感兴趣的研究人员分享经验。2008 年的 DALT 研讨会作为 AAMAS 2008 的卫星研讨会在葡萄牙的埃斯托里尔举行。此前，DALT 研讨会在墨尔本、纽约、乌得勒支、函馆和檀香山等地都取得了成功。

该研讨会的目标有两个方面：
- 支持将声明式范式和技术推广到更广泛的智能体研究人员和从业者群体中。
- 让从事声明式语言和技术研究的人员关注复杂智能体系统的设计问题。

2. 多智能体系统的需求与挑战

近年来，计算逻辑领域的进展为声明式语言和技术提供了坚实的基础，使智能体能够在开放和动态的环境中灵活自主地行为。在这种情况下，多智能体系统的工程设计需要确保适应性和一定程度的可预测性。

对于多智能体系统而言，可预测性尤为重要，因为其中的智能体是自主和自适应的。形式化和声明式技术在规范、验证和实现方面被认为是提供所需可预测性的最有前途的方法。

DALT 社区面临的持续挑战包括：
- 研究用于规范和实现理性智能体的形式化和声明式技术。
- 开发用于构建多智能体系统结构和促进智能体间合作的技术，如组织视图、规范、团队、协调机制、论证和谈判技术等。
- 将声明式代理语言和技术应用于与多智能体系统有共性的领域，如语义网、面向服务的系统、基于组件的