Budget-Constrained Dynamics in Multiagent Systems

Budget-Constrained Dynamics in Multiagent Systems

Rui Cao, Pavel Naumov

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Main track. Pages 915-921. https://doi.org/10.24963/ijcai.2017/127

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.
Keywords:
Knowledge Representation, Reasoning, and Logic: Action, Change and Causality
Agent-based and Multi-agent Systems: Agent Theories and Models