用于多智能体群体行为分析的普查信号时序逻辑推断
人工智能
2016-10-19 v1 多智能体系统
逻辑
最优化与控制
摘要
在本文中，我们定义了一种新颖的普查信号时序逻辑（CensusSTL），其关注组中完成由信号时序逻辑（STL）指定的某项任务的不同子集中的智能体数量。CensusSTL由一个“内逻辑”STL公式和一个“外逻辑”STL公式组成。我们提出了一种新推理算法，用于从一组智能体的轨迹数据推断CensusSTL公式。我们首先识别“内逻辑”STL公式，然后基于智能体行为在每个时间点是否满足“内逻辑”公式来推断子群。我们使用两种基于相似性和互补性的不同方法来推断子群。“外逻辑”CensusSTL公式由不同子群的普查轨迹推断得出。我们将该算法应用于分析一场足球比赛的数据，推断足球队不同子群的CensusSTL公式。
引用
@article{arxiv.1610.05612,
title = {Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis},
author = {Zhe Xu and Agung Julius},
journal= {arXiv preprint arXiv:1610.05612},
year = {2016}
}
备注
26 pages, 5 figures