A first-order formalization of commitments and goals for planning

F. Meneguzzi, P.R. Telang, M.P. Singh

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

17 Citations (Scopus)

Abstract

Commitments help model interactions in multiagent systems in a computationally realizable yet high-level manner without compromising the autonomy and heterogeneity of the member agents. Recent work shows how to combine commitments with goals and apply planning methods to enable agents to determine their actions. However, previous approaches to modeling commitments are confined to propositional representations, which limits their applicability in practical cases. We propose a first-order representation and reasoning technique that accommodates templatic commitments and goals that may be applied repeatedly with differing bindings for domain objects. Doing so not only leads to a more perspicuous modeling, but also supports many practical patterns.
Original languageEnglish
Title of host publicationProceedings of the twenty seventh AAAI Conference on Artificial Intelligence
PublisherAssociation for the Advancement of Artificial Intelligence (AAAI)
Pages697-703
Number of pages7
Volume27
ISBN (Electronic)9781577356158
DOIs
Publication statusPublished - 14 Jul 2013
EventTwenty-Seventh AAAI Conference on Artificial Intelligence - Hyatt Regency Bellevue, Bellevue, United States
Duration: 14 Jul 201318 Jul 2013
Conference number: 27

Publication series

NameThe Twenty-Seventh AAAI Conference on Artificial Intelligence
PublisherAssociation for the Advancement of Artificial Intelligence (AAAI Press)
Number1
Volume27
ISSN (Print)2159-5399
ISSN (Electronic)2374-3468

Conference

ConferenceTwenty-Seventh AAAI Conference on Artificial Intelligence
Country/TerritoryUnited States
CityBellevue
Period14/07/1318/07/13

Fingerprint

Dive into the research topics of 'A first-order formalization of commitments and goals for planning'. Together they form a unique fingerprint.

Cite this