Budget-constrained dynamics in multiagent systems
Budget-constrained dynamics in multiagent systems
The paper introduces a notion of a budgetconstrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper 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.
915-921
International Joint Conferences on Artificial Intelligence
Cao, Rui
a3d4f144-2a36-48e7-8b7c-aeb2a3d6e8db
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
25 August 2017
Cao, Rui
a3d4f144-2a36-48e7-8b7c-aeb2a3d6e8db
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Cao, Rui and Naumov, Pavel
(2017)
Budget-constrained dynamics in multiagent systems.
Sierra, Carles
(ed.)
In 26th International Joint Conference on Artificial Intelligence, IJCAI 2017.
vol. 0,
International Joint Conferences on Artificial Intelligence.
.
(doi:10.24963/ijcai.2017/127).
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper introduces a notion of a budgetconstrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper 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.
Text
2017-ijcai
- Version of Record
Restricted to Repository staff only
Request a copy
More information
Published date: 25 August 2017
Venue - Dates:
26th International Joint Conference on Artificial Intelligence, IJCAI 2017, , Melbourne, Australia, 2017-08-19 - 2017-08-25
Identifiers
Local EPrints ID: 479345
URI: http://eprints.soton.ac.uk/id/eprint/479345
ISSN: 1045-0823
PURE UUID: c38a6cc0-e09e-4235-803b-3e3d2934d484
Catalogue record
Date deposited: 20 Jul 2023 17:30
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Rui Cao
Author:
Pavel Naumov
Editor:
Carles Sierra
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics