On prime scenarios in qualitative spatial and temporal reasoning

Abstract

The concept of prime implicant is a fundamental tool in Boolean algebra, which is used in Boolean circuit design and, recently, in explainable AI. This study investigates an analogous concept in qualitative spatial and temporal reasoning, called prime scenario. Specifically, we define a prime scenario of a qualitative constraint network (QCN) as a minimal set of decisions that can uniquely determine solutions of this QCN. We propose in this paper a collection of algorithms designed to address various problems related to prime scenarios, and also show how certain results can be useful for measuring the robustness of a QCN. In addition, we study the relationship between our notions in this paper and the notion of prime sub-QCN in the literature, and establish theoretical results in the process. Further, we devise a language based on the notion of prime scenario for knowledge compilation. Finally, an experimental evaluation is performed with instances of Allen's Interval Algebra and RCC8 to assess the efficiency of our algorithms and, hence, also the difficulty of the newly introduced problems here.