A First-Order Formalization of Commitments and Goals for Planning

Felipe Meneguzzi, Pankaj R. Telang, Munindar P. Singh

AAAI 2013 pp. 697-703

doi:10.1609/AAAI.V27I1.8632 /aaai/2013/meneguzzi2013aaai-first/

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.

PDF AAAI Semantic Scholar

Cite

Text

Meneguzzi et al. "A First-Order Formalization of Commitments and Goals for Planning." AAAI Conference on Artificial Intelligence, 2013. doi:10.1609/AAAI.V27I1.8632

Markdown

[Meneguzzi et al. "A First-Order Formalization of Commitments and Goals for Planning." AAAI Conference on Artificial Intelligence, 2013.](https://mlanthology.org/aaai/2013/meneguzzi2013aaai-first/) doi:10.1609/AAAI.V27I1.8632

BibTeX

@inproceedings{meneguzzi2013aaai-first,
  title     = {{A First-Order Formalization of Commitments and Goals for Planning}},
  author    = {Meneguzzi, Felipe and Telang, Pankaj R. and Singh, Munindar P.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {697-703},
  doi       = {10.1609/AAAI.V27I1.8632},
  url       = {https://mlanthology.org/aaai/2013/meneguzzi2013aaai-first/}
}