Budget-Constrained Dynamics in Multiagent Systems
Abstract
The paper introduces a notion of a budget-constrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper also proposes a new modal language for reasoning about such a system. The language uses a modality labeled by agent as well as by budget and profit constraints. The main technical result is a sound and complete logical system that describes all universal properties of this modality. Among these properties is a form of Transitivity axiom that captures the interplay between the budget and profit constraints.
Cite
Text
Cao and Naumov. "Budget-Constrained Dynamics in Multiagent Systems." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/127Markdown
[Cao and Naumov. "Budget-Constrained Dynamics in Multiagent Systems." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/cao2017ijcai-budget/) doi:10.24963/IJCAI.2017/127BibTeX
@inproceedings{cao2017ijcai-budget,
title = {{Budget-Constrained Dynamics in Multiagent Systems}},
author = {Cao, Rui and Naumov, Pavel},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {915-921},
doi = {10.24963/IJCAI.2017/127},
url = {https://mlanthology.org/ijcai/2017/cao2017ijcai-budget/}
}