TY - JOUR AU - Sohrabi, Shirin AU - Baier, Jorge AU - McIlraith, Sheila PY - 2011/08/04 Y2 - 2024/03/28 TI - Preferred Explanations: Theory and Generation via Planning JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 25 IS - 1 SE - AAAI Technical Track: Knowledge Representation and Reasoning DO - 10.1609/aaai.v25i1.7845 UR - https://ojs.aaai.org/index.php/AAAI/article/view/7845 SP - 261-267 AB - <p> In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem arises in a diversity of applications including diagnosis of dynamical systems and activity recognition. We provide a logical characterization of the notion of an explanation. To generate explanations we identify and exploit a correspondence between explanation generation and planning. The determination of good explanations requires additional domain-specific knowledge which we represent as preferences over explanations. The nature of explanations requires us to formulate preferences in a somewhat retrodictive fashion by utilizing Past Linear Temporal Logic. We propose methods for exploiting these somewhat unique preferences effectively within state-of-the-art planners and illustrate the feasibility of generating (preferred) explanations via planning. </p> ER -