A first-order formalization of commitments and goals for planning

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

doi:10.5555/2891460.2891557

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 proceeding › Published conference contribution

18 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 language	English
Title of host publication	Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence
Publisher	Association for the Advancement of Artificial Intelligence (AAAI)
Pages	697-703
Number of pages	7
Volume	27
ISBN (Electronic)	9781577356158
DOIs	https://doi.org/10.5555/2891460.2891557
Publication status	Published - 14 Jul 2013
Event	Twenty-Seventh AAAI Conference on Artificial Intelligence - Hyatt Regency Bellevue, Bellevue, United States Duration: 14 Jul 2013 → 18 Jul 2013 Conference number: 27

Publication series

Name	The Twenty-Seventh AAAI Conference on Artificial Intelligence
Publisher	Association for the Advancement of Artificial Intelligence (AAAI Press)
Number	1
Volume	27
ISSN (Print)	2159-5399
ISSN (Electronic)	2374-3468

Conference

Conference	Twenty-Seventh AAAI Conference on Artificial Intelligence
Country/Territory	United States
City	Bellevue
Period	14/07/13 → 18/07/13

Access to Document

10.5555/2891460.2891557Licence: Unspecified

Cite this

Meneguzzi, F., Telang, P. R., & Singh, M. P. (2013). A first-order formalization of commitments and goals for planning. In Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence (Vol. 27, pp. 697-703). [8632] (The Twenty-Seventh AAAI Conference on Artificial Intelligence; Vol. 27, No. 1). Association for the Advancement of Artificial Intelligence (AAAI). https://doi.org/10.5555/2891460.2891557

A first-order formalization of commitments and goals for planning. / Meneguzzi, F.; Telang, P.R.; Singh, M.P.

Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence. Vol. 27 Association for the Advancement of Artificial Intelligence (AAAI), 2013. p. 697-703 8632 (The Twenty-Seventh AAAI Conference on Artificial Intelligence; Vol. 27, No. 1).

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Meneguzzi, F, Telang, PR & Singh, MP 2013, A first-order formalization of commitments and goals for planning. in Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence. vol. 27, 8632, The Twenty-Seventh AAAI Conference on Artificial Intelligence, no. 1, vol. 27, Association for the Advancement of Artificial Intelligence (AAAI), pp. 697-703, Twenty-Seventh AAAI Conference on Artificial Intelligence, Bellevue, Washington, United States, 14/07/13. https://doi.org/10.5555/2891460.2891557

Meneguzzi F, Telang PR, Singh MP. A first-order formalization of commitments and goals for planning. In Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence. Vol. 27. Association for the Advancement of Artificial Intelligence (AAAI). 2013. p. 697-703. 8632. (The Twenty-Seventh AAAI Conference on Artificial Intelligence; 1). doi: 10.5555/2891460.2891557

@inproceedings{dd220050218642e5b8aa835165f6ea18,

title = "A first-order formalization of commitments and goals for planning",

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.",

author = "F. Meneguzzi and P.R. Telang and M.P. Singh",

note = "Publisher copyright: Copyright {\textcopyright} 2013, Association for the Advancement of Artificial Intelligence All Rights Reserved.; Twenty-Seventh AAAI Conference on Artificial Intelligence ; Conference date: 14-07-2013 Through 18-07-2013",

year = "2013",

month = jul,

day = "14",

doi = "10.5555/2891460.2891557",

language = "English",

volume = "27",

series = "The Twenty-Seventh AAAI Conference on Artificial Intelligence",

publisher = "Association for the Advancement of Artificial Intelligence (AAAI)",

number = "1",

pages = "697--703",

booktitle = "Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence",

}

TY - GEN

T1 - A first-order formalization of commitments and goals for planning

AU - Meneguzzi, F.

AU - Telang, P.R.

AU - Singh, M.P.

N1 - Conference code: 27

PY - 2013/7/14

Y1 - 2013/7/14

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84893411920&partnerID=MN8TOARS

U2 - 10.5555/2891460.2891557

DO - 10.5555/2891460.2891557

M3 - Published conference contribution

VL - 27

T3 - The Twenty-Seventh AAAI Conference on Artificial Intelligence

SP - 697

EP - 703

BT - Proceedings of the twenty seventh AAAI Conference on Artificial Intelligence

PB - Association for the Advancement of Artificial Intelligence (AAAI)

T2 - Twenty-Seventh AAAI Conference on Artificial Intelligence

Y2 - 14 July 2013 through 18 July 2013

ER -

A first-order formalization of commitments and goals for planning

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this