Publication Details
Title: A Framework for Cumulative Default Logics
Author: G. Brewka
Group: ICSI Technical Reports
Date: July 1992
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1992/tr-92-042.pdf
Overview:
We present a framework for default reasoning which has its roots in Reiter's Default Logic. Contrary to Reiter, however, we do not consider defaults as inference rules used to generate extensions of a classical set of facts. In our approach defaults are elements of the logical language, and we will define inference rules on defaults. This has several advantages. First of all, we can reason about defaults, not just with defaults. This makes it easy to include different intuitions about the right behaviour of a default logic in an explicit form. Secondly, we can show how some of the problems of Reiter's logic and of some recent proposals to solve them can be handled adequately by exploiting the dependency information contained in derived defaults.
Bibliographic Information:
ICSI Technical Report TR-92-042
Bibliographic Reference:
G. Brewka. A Framework for Cumulative Default Logics. ICSI Technical Report TR-92-042, July 1992
Author: G. Brewka
Group: ICSI Technical Reports
Date: July 1992
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1992/tr-92-042.pdf
Overview:
We present a framework for default reasoning which has its roots in Reiter's Default Logic. Contrary to Reiter, however, we do not consider defaults as inference rules used to generate extensions of a classical set of facts. In our approach defaults are elements of the logical language, and we will define inference rules on defaults. This has several advantages. First of all, we can reason about defaults, not just with defaults. This makes it easy to include different intuitions about the right behaviour of a default logic in an explicit form. Secondly, we can show how some of the problems of Reiter's logic and of some recent proposals to solve them can be handled adequately by exploiting the dependency information contained in derived defaults.
Bibliographic Information:
ICSI Technical Report TR-92-042
Bibliographic Reference:
G. Brewka. A Framework for Cumulative Default Logics. ICSI Technical Report TR-92-042, July 1992