In this research, commitments - specifically collective commitments - are looked at as a way to model connections between agents in groups. Using the concepts and ideas from action languages, we propose to model these commitments as actions along with the other basic actions that autonomous agents are capable of performing. The languages developed will be tested against different examples from various multi-agent system (MAS) areas and implemented to run in answer set programming.
@InProceedings{wright:LIPIcs.ICLP.2012.476, author = {Wright, Ben}, title = {{Together, Is Anything Possible? A Look at Collective Commitments for Agents}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {476--480}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.476}, URN = {urn:nbn:de:0030-drops-36491}, doi = {10.4230/LIPIcs.ICLP.2012.476}, annote = {Keywords: Reasoning About Knowledge, Action Languages, Commitments, Multi-agent systems, Modal Logic} }
Feedback for Dagstuhl Publishing