Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem

  • Christoph Beierle
  • Christian Eichhorn
  • Gabriele Kern-Isberner
Conference paper

DOI: 10.1007/978-3-319-30024-5_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9616)
Cite this paper as:
Beierle C., Eichhorn C., Kern-Isberner G. (2016) Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. In: Gyssens M., Simari G. (eds) Foundations of Information and Knowledge Systems. FoIKS 2016. Lecture Notes in Computer Science, vol 9616. Springer, Cham

Abstract

The axiomatic system P is an important standard for plausible, nonmonotonic inferences that is, however, known to be too weak to solve benchmark problems like irrelevance, or subclass inheritance (so-called Drowning Problem). Spohn’s ranking functions which provide a semantic base for system P have often been used to design stronger inference relations, like Pearl’s system Z, or c-representations. While each c-representation shows excellent inference properties and handles particularly irrelevance and subclass inheritance properly, it is still an open problem which c-representation is the best. In this paper, we focus on the generic properties of c-representations and consider the skeptical inference relation (c-inference) that is obtained by taking all c-representations of a given knowledge base into account. In particular, we show that c-inference preserves the properties of solving irrelevance and subclass inheritance which are met by every single c-representation. Moreover, we characterize skeptical c-inference as a constraint satisfaction problem so that constraint solvers can be used for its implementation.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Christoph Beierle
    • 1
  • Christian Eichhorn
    • 2
  • Gabriele Kern-Isberner
    • 2
  1. 1.Department of Computer ScienceUniversity of HagenHagenGermany
  2. 2.Department of Computer ScienceTU DortmundDortmundGermany

Personalised recommendations