一个多智能体认知规划求解器的设计
人工智能
2019-09-19 v1 信息论
计算机科学中的逻辑
多智能体系统
math.IT
摘要
随着对人工智能的兴趣持续增长，研究能够利用逻辑对世界进行推理的形式化与方法变得愈发重要。特别是，鉴于越来越多的多智能体系统可受益于自动化推理技术，探索定义世界状态以及智能体信息的新方式的重要性与日俱增。此类推理，即关于智能体对世界的感知以及智能体对其自身与他人知识的认知，被称为认知推理。在我们的工作中，我们将试图形式化这一通过认知逻辑表达的、针对动态领域的概念。具体而言，我们将尝试定义一种用于多智能体认知规划的基于动作的语言，并基于它实现一个认知规划器。该求解器应提供一个足够灵活的工具，能够对不同领域（例如经济、安全、司法与政治）进行推理，其中关于他人信念的推理可带来制胜策略或有助于改变一组智能体对世界的看法。
引用
@article{arxiv.1909.08259,
title = {Design of a Solver for Multi-Agent Epistemic Planning},
author = {Francesco Fabiano},
journal= {arXiv preprint arXiv:1909.08259},
year = {2019}
}
备注
In Proceedings ICLP 2019, arXiv:1909.07646. arXiv admin note: text overlap with arXiv:1511.01960 by other authors