Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS

DOI10.1613/JAIR.1.13446zbMATH Open1502.68271arXiv1903.11777OpenAlexW4306652307MaRDI QIDQ5870481FDOQ5870481

Authors: Guang Hu, Tim Miller, Nir Lipovetzky 

Publication date: 9 January 2023

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Abstract: Epistemic 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. However, these methods become computationally infeasible as problems grow. In this paper, we decompose epistemic planning by delegating reasoning about epistemic formula 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, it increases the capability and flexibility of the epistemic model itself, and avoids the exponential pre-compilation step. 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 against which we compared, and can express problems more succinctly.

Full work available at URL: https://arxiv.org/abs/1903.11777

Recommendations

• Planning using dynamic epistemic logic: correspondence and complexity
• A probabilistic analysis of propositional STRIPS planning
• Epistemic planning for single- and multi-agent systems
• A dynamic epistemic framework for conformant planning
• Epistemic planning: perspectives on the special issue
• DEL-based epistemic planning: decidability and complexity
• Planning-based knowing how: a unified approach
• Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• The interaction of representations and planning objectives for decision-theoretic planning tasks

zbMATH Keywords

multiagent systemsmodel-based reasoningepistemic planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (1)

• Modelling multi-agent epistemic planning in ASP

This page was built for publication: Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870481)