自主智能体协调：动作语言与CLP(FD)及Linda的融合
计算机科学中的逻辑
2011-10-05 v1 人工智能
编程语言
摘要
本文提出了一种知识表示形式化方法，即面向多智能体系统的高级动作描述语言，其中自主智能体在共享环境中进行推理与行动。智能体自主追求个体目标，但能够通过共享知识库进行交互。在通过世界共享部分进行交互时，智能体处理同步与并发问题；该动作语言允许描述策略以确保智能体自主推导出的计划的全局一致执行。分布式规划问题通过提供与单个智能体相关的部分问题的声明式规范来形式化。每个此类规范可由独立的基于CLP的规划器执行。智能体间的协调利用Linda基础设施实现。该方案在SICStus Prolog中开发的原型实现中得到了验证。将发表于《Theory and Practice of Logic Programming (TPLP)》。
引用
@article{arxiv.1110.0624,
title = {Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda},
author = {Agostino Dovier and Andrea Formisano and Enrico Pontelli},
journal= {arXiv preprint arXiv:1110.0624},
year = {2011}
}