{"type":"ScholarlyArticle","title":"Budget-Constrained Dynamics in Multiagent Systems","authors":[{"name":"Rui Cao","slug":"rui-cao","given":"Rui","family":"Cao","affiliation":"Illinois Wesleyan University Bloomington , Illinois , USA"},{"name":"Pavel Naumov","slug":"pavel-naumov","given":"Pavel","family":"Naumov","affiliation":"Vassar College Poughkeepsie , New York , USA"}],"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.","doi":"10.24963/ijcai.2017/127","url":"https://ijcai.org/proceedings/2017/127","pdf":"https://ijcai.org/proceedings/2017/0127.pdf","markdown":"https://ijcai.org/proceedings/2017/127.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/127","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":127,"pages":{"first":915,"last":921},"keywords":["Agent-based and Multi-agent Systems: Agent Theories and Models","Knowledge Representation, Reasoning, and Logic: Action, Change and Causality"],"videos":[],"references":[{"position":1,"raw":"[Alechina and Logan, 2002] Natasha Alechina and Brian Logan. Ascribing beliefs to resource bounded agents. In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), volume 2, pages 881-888, Bologna, July 2002. ACM Press.","title":"Ascribing beliefs to resource bounded agents","authors":"Natasha Alechina, Brian Logan","year":"2002","venue":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alechina et al., 2004] Natasha Alechina, Brian Logan, and Mark Whitsey. A complete and decidable logic for resource-bounded agents. In Nicholas R. Jennings, Charles Sierra, Liz Sonenberg, and Milind Tambe, editors, Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pages 606-613, New York, July 2004. ACM Press.","title":"A complete and decidable logic for resource-bounded agents","authors":"Natasha Alechina, Brian Logan, Mark Whitsey","year":"2004","venue":"Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Alechina et al., 2011] Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib. Logic for coali- tions with bounded resources. Journal of Logic and Com- putation, 21(6):907-937, December 2011.","title":"Logic for coalitions with bounded resources","authors":"Natasha Alechina, Brian Logan, Nguyen Hoang, Nga, Abdur Rakib","year":"2011","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Alechina et al., 2015] Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, and Leonardo Mostarda. Symbolic model-checking for resource- bounded ATL. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Sys- tems, pages 1809-1810. International Foundation for Au- tonomous Agents and Multiagent Systems, 2015.","title":"Symbolic model-checking for resourcebounded ATL","authors":"Natasha Alechina, Brian Logan, Nga Hoang, Franco Nguyen, Leonardo Raimondi, Mostarda","year":"2015","venue":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Balbiani et al., 2016a] Philippe Balbiani, David Fernández- Duque, and Emiliano Lorini. A logical theory of belief dynamics for resource-bounded agents. In 12th Confer- ence on Logic and the Foundations of Game and Decision Theory (LOFT), Maastricht, the Netherlands, 2016.","title":"A logical theory of belief dynamics for resource-bounded agents","authors":"Balbiani","year":"2016","venue":"12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Balbiani et al., 2016b] Philippe Balbiani, David Fernández- Duque, and Emiliano Lorini. A logical theory of belief dy- namics for resource-bounded agents. In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, pages 644-652. International Foun- dation for Autonomous Agents and Multiagent Systems, 2016.","title":"A logical theory of belief dynamics for resource-bounded agents","authors":"Balbiani","year":"2016","venue":"Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bulling and Farwer, 2010a] Nils Bulling and Berndt Far- wer. Expressing properties of resource-bounded systems: The logics RTL* and RTL. In Computational Logic in Multi-Agent Systems, pages 22-45. Springer, 2010.","title":"Expressing properties of resource-bounded systems: The logics RTL* and RTL","authors":"Farwer Bulling, Nils Bulling, Berndt Farwer","year":"2010","venue":"Computational Logic in Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bulling and Farwer, 2010b] Nils Bulling and Berndt Far- wer. On the (un-) decidability of model checking resource- bounded agents. In ECAI, volume 10, pages 567-572, 2010.","title":"Nils Bulling and Berndt Farwer. On the (un-) decidability of model checking resourcebounded agents","authors":"Farwer Bulling","year":"2010","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Costantini and Formisano, 2013] Stefania Costantini and Andrea Formisano. Rasp and asp as a fragment of lin- ear logic. Journal of Applied Non-Classical Logics, 23(1- 2):49-74, 2013.","title":"Rasp and asp as a fragment of linear logic","authors":"Stefania Costantini, Andrea Formisano","year":"2013","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Girard, 1987] Jean-Yves Girard. Linear logic. Theoretical computer science, 50:1-102, 1987.","title":"Linear logic","authors":"Jean-Yves Girard","year":"1987","venue":"Theoretical computer science","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Harel et al., 2000] David Harel, Jerzy Tiuryn, and Dexter Kozen. Dynamic logic. MIT press, 2000.","title":"Dynamic logic","authors":"David Harel, Jerzy Tiuryn, Dexter Kozen","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Jamroga and Tabatabaei, 2013] Wojciech Jamroga and Ma- soud Tabatabaei. Accumulative knowledge under bounded resources. In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, and Stefan Woltran, editors, Computa- tional Logic in Multi-Agent Systems, volume 8143 of Lec- ture Notes in Computer Science, pages 206-222. Springer Berlin Heidelberg, 2013.","title":"Accumulative knowledge under bounded resources","authors":"Wojciech Jamroga, Masoud Tabatabaei","year":"2013","venue":"Computational Logic in Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Naumov and Tao, 2015] Pavel Naumov and Jia Tao. Budget-constrained knowledge in multiagent systems. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pages 219-226. International Foundation for Autonomous Agents and Multiagent Systems, 2015.","title":"Budget-constrained knowledge in multiagent systems","authors":"Tao ; Naumov, Pavel Naumov, Jia Tao","year":"2015","venue":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Naumov and Tao, 2016] Pavel Naumov and Jia Tao. Price of privacy. In 12th Conference on Logic and the Founda- tions of Game and Decision Theory (LOFT), Maastricht, the Netherlands, 2016.","title":"Price of privacy","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2016","venue":"12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ryu, 1998] Young U Ryu. A logic-based modeling of re- source consumption and production. Decision support sys- tems, 22(3):243-257, 1998.","title":"A logic-based modeling of resource consumption and production","authors":"Young U Ryu","year":"1998","venue":"Decision support systems","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Sahlqvist, 1975] Henrik Sahlqvist. Completeness and cor- respondence in the first and second order semantics for modal logic. Studies in Logic and the Foundations of Mathematics, 82:110-143, 1975. (Proc. of the 3rd Scandi- navial Logic Symposium, Uppsala, 1973).","title":"Completeness and correspondence in the first and second order semantics for modal logic","authors":"Henrik Sahlqvist, Sahlqvist","year":"1973","venue":"Proc. of the 3rd Scandinavial Logic Symposium","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}