Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings
Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava
TL;DR
The paper tackles continual planning and model learning in non-stationary stochastic environments with unknown dynamics by introducing CLaP, an adaptive loop that interleaves epistemic exploration with planning on learned relational PPDDL models. CLaP detects inconsistencies between observed transitions and the current model, guides targeted exploration through FOND-based queries, and updates only the inconsistent parts of the model to maintain sample efficiency. Theoretical results on variational distance show locally convergent learning within stationary epochs, and empirical results across four IPPC domains demonstrate strong transfer and near-Oracle performance with significantly reduced sample complexity compared to baselines. This approach enables robust deployment of planning systems in dynamic real-world settings by combining active learning, epistemic planning, and symbolic relational models for generalization and adaptation.
Abstract
This paper introduces a new approach for continual planning and model learning in relational, non-stationary stochastic environments. Such capabilities are essential for the deployment of sequential decision-making systems in the uncertain and constantly evolving real world. Working in such practical settings with unknown (and non-stationary) transition systems and changing tasks, the proposed framework models gaps in the agent's current state of knowledge and uses them to conduct focused, investigative explorations. Data collected using these explorations is used for learning generalizable probabilistic models for solving the current task despite continual changes in the environment dynamics. Empirical evaluations on several non-stationary benchmark domains show that this approach significantly outperforms planning and RL baselines in terms of sample complexity. Theoretical results show that the system exhibits desirable convergence properties when stationarity holds.
