Skip to main content
Article thumbnail
Location of Repository

A preferential model semantics for default logic

By F. Voorbraak


Shoham proposed a uniform approach to systems for nonmonotonic reasoning, which consists\ud in considering standard logics augmented with a preference relation on the interpretations.\ud Circumscription can easily seen to be a special case of this preference logic framework, but\ud capturing default logic turned out to be, more difficult, and is even thought to be impossible by\ud some researchers of nonmonotonic reasoning. In this paper a preferential model semantics for\ud default logic is given, by defining a preference relation on partial models called hypervaluations.\ud Alternatively, Kripke models for K45 could have been used instead of hypervaluations. The\ud given semantics slightly strengthens Shoham's notion of preferential entailment, and reflection\ud on the question why such a strengthening is necessary provides some insight into the relation\ud between default logic and circumscription

Topics: Wijsbegeerte, nonmonotonic resoning, default logic, preference ordering, partial interpretation
Year: 1991
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.