基于线性逻辑的大规模智能体群体构形空间中最优行程生成
人工智能
2021-12-02 v1
摘要
一组并行执行若干任务的智能体首先通过线性逻辑博弈范畴中相应进程的张量乘法表示。该群体状态构形空间中的最优行程定义为范畴中具有最大总收益的博弈。新的要点还包括：收益表示为智能体目标的确定度（可见性），而系统目标由系统目标格中对应于这些进程的最大值选定。
引用
@article{arxiv.1811.02216,
title = {An Optimal Itinerary Generation in a Configuration Space of Large Intellectual Agent Groups with Linear Logic},
author = {Dmitry Maximov},
journal= {arXiv preprint arXiv:1811.02216},
year = {2021}
}
备注
"Management of Large-Scale Systems Development" (MLSD-2018) a full version of the conference paper