A First-Order Formalization of Commitments and Goals for Planning


  • Felipe Meneguzzi Pontifical Catholic University of Rio Grande do Sul
  • Pankaj Telang North Carolina State University
  • Munindar Singh North Carolina State University




Goals, Commitments, HTN Planning


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.




How to Cite

Meneguzzi, F., Telang, P., & Singh, M. (2013). A First-Order Formalization of Commitments and Goals for Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 27(1), 697-703. https://doi.org/10.1609/aaai.v27i1.8632