A Dynamic Epistemic Framework for Conformant Planning

06/24/2016
by   Quan Yu, et al.
0

In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the model checking problem of the iteration-free fragment is PSPACE-complete. By using two non-standard (but equivalent) semantics, we give novel model checking algorithms to the full language and the iteration-free language.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/03/2014

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

In this paper we introduce Epistemic Strategy Logic (ESL), an extension ...
research
06/22/2021

Knowing How to Plan

Various planning-based know-how logics have been studied in the recent l...
research
10/03/2019

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

While AI techniques have found many successful applications in autonomou...
research
02/23/2023

(Arbitrary) Partial Communication

Communication within groups of agents has been lately the focus of resea...
research
06/24/2016

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic

In this paper we introduce a computational-level model of theory of mind...
research
11/22/2018

Verification of Planning Domain Models - Revisited

The verification of planning domain models is crucial to ensure the safe...
research
05/18/2023

Lightweight Online Learning for Sets of Related Problems in Automated Reasoning

We present Self-Driven Strategy Learning (sdsl), a lightweight online le...

Please sign up or login with your details

Forgot password? Click here to reset