策略逻辑中的折扣因子
人工智能
2023-05-25 v1
摘要
只要我们希望对策略和时间进行推理，折扣就是多智能体系统中的一个重要维度。它是经济学中的一个关键方面，因为它捕捉了“遥远的未来不如近期的未来重要”这一直觉。传统的验证技术允许检查一组智能体是否存在获胜策略，但它们没有考虑到这样一个事实：更快地满足目标与在长时间等待后满足目标是不同的。在本文中，我们用一组折扣函数 D 上的未来折扣来增强策略逻辑，记为 SLdisc[D]。我们考虑带有折扣函数的“直到”算子：SLdisc[D] 中规约的满足值是在 [0, 1] 中的一个值，其中满足要求所需时间越长，满足值越小。我们用博弈论中的经典例子来动机我们的方法，并研究 SLdisc[D] 公式模型检测的复杂性。
引用
@article{arxiv.2305.15256,
title = {Discounting in Strategy Logic},
author = {Munyque Mittelmann and Aniello Murano and Laurent Perrussel},
journal= {arXiv preprint arXiv:2305.15256},
year = {2023}
}
备注
Extended version of the paper accepted at IJCAI 2023