[TOC]
- Title: Planning With Perspectives – Using Decomposing Epistemic Planning using Functional STRIPS
- Author: Guang Hu, Nir Lipovetzky
- Publish Year: 2022
- Review Date: Thu, Jan 11, 2024
- url: https://nirlipo.github.io/publication/hu-2022-planning/
Summary of paper
Motivation
- we present a novel approach to epistemic planning called planning with perspectives (PWP) that is both more expressive and computationally more efficient than existing state of the art epistemic planning tools.
Contribution
- in this paper, we decompose epistemic planning by delegating reasoning about epistemic formulae to an external solver, i.e., Functional STRIPS
- F-STRIPS supports the user of external, black-box functions within action models.
- Building on recent work that demonstrates the relationship between what an agent ‘sees’ and what it knows, we define the perspective of each agent using an external function, and build a solver for epistemic logic around this.
Some key terms
external functions (black-box)
- they are arbitrary functions implemented in a programming language that can be called during planning.
epistemic planning
- in many scenarios, autonomous agents need to plan about the knowledge or beliefs of other agents in the environment.
- epistemic planning is concerned about action theories may allow modellers reasoning not only about variables representing the state of the world, but also the beliefs and knowledge that other agents have about those variables.
F-STRIPS
external functions representation
- they start with the @ character.
@validMoveis an external function that checks whether the move is valid, encoding Pacman’s Maze implicitly.@move_ghostencodes deterministic movement strategy followed by all ghosts, a strategy that depends on Pacman’s Manhattan distance.- it looks like the effect of the external function will not be recorded as fluents.