Show simple item record

dc.contributor.authorHu, Guang
dc.date.accessioned2020-03-24T07:15:11Z
dc.date.available2020-03-24T07:15:11Z
dc.date.issued2019
dc.identifier.urihttp://hdl.handle.net/11343/235775
dc.description© 2019 Guang Hu
dc.description.abstractEpistemic planning --- planning with knowledge and belief --- is essential in many multi-agent and human-agent interaction domains. Most state-of-the-art epistemic planners solve this problem by compiling to propositional classical planning, for example, generating all possible knowledge atoms, or compiling epistemic formula to normal forms.It is noted that the compilations are typically exponentially larger than the original problem. However, these methods become computationally infeasible as problems grow. In addition, those methods only works on propositional variables in discrete domains. In this thesis, we decompose epistemic planning by delegating epistemic logic reasoning to an external solver. We do this by modelling the problem using \emph{functional STRIPS}, which is more expressive than standard STRIPS and supports the use of external, black-box functions within action models. Exploiting recent work that demonstrates the relationship between what an agent `sees' and what it knows, we allow modellers to provide new implementations of externals functions. These define what agents see in their environment, allowing new epistemic logics to be defined without changing the planner. As a result, the capability and flexibility of the epistemic model itself are increased, as our model is able to avoid exponential pre-compilation steps and handle logics from continuous domains.We ran evaluations on well-known epistemic planning benchmarks to compare with an existing state-of-the-art planner, and on new scenarios based on different external functions. The results show that our planner scales significantly better than the state-of-the-art planner which we compared against, and can express problems more succinctly.
dc.rightsTerms and Conditions: Copyright in works deposited in Minerva Access is retained by the copyright owner. The work may not be altered without permission from the copyright owner. Readers may only download, print and save electronic copies of whole works for their own personal non-commercial use. Any use that exceeds these limits requires permission from the copyright owner. Attribution is essential when quoting or paraphrasing from these works.
dc.subjectEpistemic Planning, Perspective Model, Functional STRIPS
dc.titleWhat you get is what you see: Decomposing Epistemic Planning using Functional STRIPS
dc.typeMasters Research thesis
melbourne.affiliation.departmentComputing and Information Systems
melbourne.affiliation.facultyEngineering
melbourne.thesis.supervisornameTimothy Miller
melbourne.contributor.authorHu, Guang
melbourne.thesis.supervisorothernameNir Lipovetzky
melbourne.tes.fieldofresearch1080101 Adaptive Agents and Intelligent Robotics
melbourne.tes.fieldofresearch2080199 Artificial Intelligence and Image Processing not elsewhere classified
melbourne.tes.confirmedtrue
melbourne.accessrightsOpen Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record