تقرير
Discounting in Strategy Logic
| العنوان: | Discounting in Strategy Logic |
|---|---|
| المؤلفون: | Mittelmann, Munyque, Murano, Aniello, Perrussel, Laurent |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Artificial Intelligence |
| الوصف: | Discounting is an important dimension in multi-agent systems as long as we want to reason about strategies and time. It is a key aspect in economics as it captures the intuition that the far-away future is not as important as the near future. Traditional verification techniques allow to check whether there is a winning strategy for a group of agents but they do not take into account the fact that satisfying a goal sooner is different from satisfying it after a long wait. In this paper, we augment Strategy Logic with future discounting over a set of discounted functions D, denoted SLdisc[D]. We consider "until" operators with discounting functions: the satisfaction value of a specification in SLdisc[D] is a value in [0, 1], where the longer it takes to fulfill requirements, the smaller the satisfaction value is. We motivate our approach with classical examples from Game Theory and study the complexity of model-checking SLdisc[D]-formulas. Comment: Extended version of the paper accepted at IJCAI 2023 |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2305.15256 |
| رقم الأكسشن: | edsarx.2305.15256 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |