A primer on default logic

John F. Horty

in Reasons as Defaults

Published in print April 2012 | ISBN: 9780199744077
Published online September 2012 | e-ISBN: 9780199932566 | DOI:
A primer on default logic

Show Summary Details


The goal of this first chapter is to motivate and develop a very simple prioritized default logic. The chapter begins by introducing default rules as well as prioritized default theories. It then moves through a series of definitions leading to the crucial notion of an extension for such a theory, and finally explores the relation between this concept of an extension and the more usual logical concept of a conclusion set.

Keywords: default logic; default theories; default rules; fixed priorities; triggering; conflict; defeat; scenarios; extensions

Chapter.  13510 words.  Illustrated.

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.