Privacy Preserving Plans in Partially Observable Environments

Big brother is watching but his eyesight is not all that great, since he only has partial observability of the environment. In such a setting agents may be able to preserve their privacy by hiding their true goal, following paths that may lead to multiple goals. In this work we present a framework that supports the offline analysis of goal recognition settings with non-deterministic system sensor models, in which the observer has partial (and possibly noisy) observability of the agent's actions, while the agent is assumed to have full observability of his environment. In particular, we propose a new variation of worst case distinctiveness (wcd), a measure that assesses the ability to perform goal recognition within a model. We describe a new efficient way to compute this measure via a novel compilation to classical planning. In addition, we discuss the tools agents have to preserve privacy, by keeping their goal ambiguous as long as possible. Our empirical evaluation shows the feasibility of the proposed solution.

[1]  Hector Geffner,et al.  Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent , 2011, IJCAI.

[2]  Malte Helmert,et al.  The Fast Downward Planning System , 2006, J. Artif. Intell. Res..

[3]  Blai Bonet,et al.  Belief Tracking for Planning with Sensing: Width, Complexity and Approximations , 2014, J. Artif. Intell. Res..

[4]  Eva Onaindia,et al.  FMAP: Distributed cooperative multi-agent planning , 2014, Applied Intelligence.

[5]  Gal A. Kaminka,et al.  Fast and Complete Symbolic Plan Recognition , 2005, IJCAI.

[6]  Hector Geffner,et al.  Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners , 2010, AAAI.

[7]  Derek Long,et al.  Domain Independent Goal Recognition , 2010, STAIRS.

[8]  Derek Long,et al.  Accurately determining intermediate and terminal plan states using bayesian goal recognition , 2011 .

[9]  Ivan Serina,et al.  A Privacy-preserving Model for the Multi-agent Propositional Planning Problem , 2014, ECAI.

[10]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[11]  Carmel Domshlak,et al.  Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? , 2009, ICAPS.

[12]  Ronen I. Brafman,et al.  A Privacy Preserving Algorithm for Multi-Agent Planning and Search , 2015, IJCAI.

[13]  Orkunt Sabuncu,et al.  Solving Goal Recognition Design Using ASP , 2016, AAAI.

[14]  Erez Karpas,et al.  Goal Recognition Design with Non-Observable Actions , 2016, AAAI.

[15]  Hector Geffner,et al.  Plan Recognition as Planning , 2009, IJCAI.

[16]  Erez Karpas,et al.  Goal Recognition Design for Non-Optimal Agents , 2015, AAAI.

[17]  R. Goldman,et al.  Partial Observability and Probabilistic Plan/Goal Recognition , 2005 .

[18]  Hila Zarosim,et al.  Fast and Complete Symbolic Plan Recognition: Allowing for Duration, Interleaved Execution, and Lossy Observations , 2005 .

[19]  Blai Bonet,et al.  A Concise Introduction to Models and Methods for Automated Planning , 2013, A Concise Introduction to Models and Methods for Automated Planning.

[20]  Erez Karpas,et al.  Goal Recognition Design , 2014, ICAPS.

[21]  Eran Toch,et al.  Being visible in public space: The normalisation of asymmetrical visibility , 2017 .