Hypothetical Reasoning with Defaults

  • Mark Ryanz, Udo Lipeckx
  • Published 2007


A wide range of properties of a speciication with Poole-type defaults can be formally expressed by the truth of modal formulas in its preference relation (viewed as a modal model). We show in this paper how hypothetical properties can be expressed in the same manner. These are the properties that a speciication would have if axioms or defaults were added… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics