loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Dario Della Monica and Giacomo Lenzi

Affiliation: University of Salerno, Italy

ISBN: 978-989-8425-96-6

Keyword(s): μ-calculus, Multi-agent systems, Coalition logics, Bounded resources, Model checking.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Cooperation and Coordination ; Distributed and Mobile Software Systems ; Economic Agent Models ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Software Engineering ; Symbolic Systems

Abstract: Much attention has been devoted in artificial intelligence to the verification of multi-agent systems and different logical formalisms have been proposed, such as Alternating-time Temporal Logic (ATL), Alternating μ-calculus (AMC), and Coalition Logic (CL). Recently, logics able to express bounds on resources have been introduced, such as RB-ATL and PRB-ATL, both of them based on ATL. The main contribution of this paper is the introduction and the study of a new formalism for dealing with bounded resources, based on μ-calculus. Such a formalism, called Priced Resource-Bounded Alternating μ-calculus (PRB-AMC), is an extension of both PRB-ATL and AMC. In analogy with PRB-ATL, we introduce a price for each resource. By considering that the resources have each a price (which may vary during the game) and that agents can buy them only if they have enough money, several real world scenarios can be adequately described. First, we show that the model checking problem for PRB-AMC is in EXPTIME and has a PSPACE lower bound. Then, we solve the problem of determining the minimal cost coalition of agents. Finally, we show that the satisfiability problem of PRB-AMC is undecidable, when the game is played on arenas with only one state. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.208.187.169

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Della Monica, D. and Lenzi, G. (2012). ON A PRICED RESOURCE-BOUNDED ALTERNATING μ-CALCULUS.In Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8425-96-6, pages 222-227. DOI: 10.5220/0003750102220227

@conference{icaart12,
author={Dario Della Monica. and Giacomo Lenzi.},
title={ON A PRICED RESOURCE-BOUNDED ALTERNATING μ-CALCULUS},
booktitle={Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2012},
pages={222-227},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003750102220227},
isbn={978-989-8425-96-6},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - ON A PRICED RESOURCE-BOUNDED ALTERNATING μ-CALCULUS
SN - 978-989-8425-96-6
AU - Della Monica, D.
AU - Lenzi, G.
PY - 2012
SP - 222
EP - 227
DO - 10.5220/0003750102220227

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.