Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version). Muise, C., Belle, V., Felli, P., McIlraith, S. A., Miller, T., Pearce, A. R., & Sonenberg, L. In Workshop on Distributed and Multi-Agent Planning (DMAP'15), 2015. Paper abstract bibtex 7 downloads Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology. Our approach represents an important first step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents.
@inproceedings{muise-dmap15-pdkbplanning,
title = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)},
author = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},
booktitle = {Workshop on Distributed and Multi-Agent Planning ({DMAP}'15)},
year = {2015},
keywords = {multi-agent planning, epistemic reasoning},
url={http://www.haz.ca/papers/muise-dmap15-pdkbplanning.pdf},
abstract={Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology. Our approach represents an important first step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents.}
}
Downloads: 7
{"_id":"DWcmvtBMkrWaNZ5RN","bibbaseid":"muise-belle-felli-mcilraith-miller-pearce-sonenberg-planningovermultiagentepistemicstatesaclassicalplanningapproachamendedversion-2015","downloads":7,"creationDate":"2015-05-09T06:04:51.302Z","title":"Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)","author_short":["Muise, C.","Belle, V.","Felli, P.","McIlraith, S. A.","Miller, T.","Pearce, A. R.","Sonenberg, L."],"year":2015,"bibtype":"inproceedings","biburl":"www.haz.ca/publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Felli"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]},{"firstnames":["Tim"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Adrian","R."],"propositions":[],"lastnames":["Pearce"],"suffixes":[]},{"firstnames":["Liz"],"propositions":[],"lastnames":["Sonenberg"],"suffixes":[]}],"booktitle":"Workshop on Distributed and Multi-Agent Planning (DMAP'15)","year":"2015","keywords":"multi-agent planning, epistemic reasoning","url":"http://www.haz.ca/papers/muise-dmap15-pdkbplanning.pdf","abstract":"Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology. Our approach represents an important first step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents.","bibtex":"@inproceedings{muise-dmap15-pdkbplanning,\n title = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)},\n author = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},\n booktitle = {Workshop on Distributed and Multi-Agent Planning ({DMAP}'15)},\n year = {2015},\n keywords = {multi-agent planning, epistemic reasoning},\n url={http://www.haz.ca/papers/muise-dmap15-pdkbplanning.pdf},\n abstract={Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology. Our approach represents an important first step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents.}\n}\n\n","author_short":["Muise, C.","Belle, V.","Felli, P.","McIlraith, S. A.","Miller, T.","Pearce, A. R.","Sonenberg, L."],"key":"muise-dmap15-pdkbplanning","id":"muise-dmap15-pdkbplanning","bibbaseid":"muise-belle-felli-mcilraith-miller-pearce-sonenberg-planningovermultiagentepistemicstatesaclassicalplanningapproachamendedversion-2015","role":"author","urls":{"Paper":"http://www.haz.ca/papers/muise-dmap15-pdkbplanning.pdf"},"keyword":["multi-agent planning","epistemic reasoning"],"metadata":{"authorlinks":{"mcilraith, s":"http://www.cs.toronto.edu/~sheila/publications/","muise, c":"https://haz.ca/academic-publications.html","belle, v":"https://bibbase.org/show?bib=https://dblp.org/pid/52/570.bib"}},"downloads":7},"search_terms":["planning","over","multi","agent","epistemic","states","classical","planning","approach","amended","version","muise","belle","felli","mcilraith","miller","pearce","sonenberg"],"keywords":["multi-agent planning","epistemic reasoning"],"authorIDs":["GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip","vsrgwisAvsx5co5Zd"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","optQ3PYGE2PxhriFJ","T3oedZczBnZ2Y6GvJ","r9FAaXnZMktuR9SCv","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}