DMCA
Preferred subtheories: an extended logical framework for default reasoning (1989)
| Citations: | 226 - 11 self |
BibTeX
@INPROCEEDINGS{Brewka89preferredsubtheories:,
author = {Gerhard Brewka},
title = {Preferred subtheories: an extended logical framework for default reasoning},
booktitle = {},
year = {1989},
pages = {1043--1048}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole's THEORIST approach to default reasoning as a particular instance. A disadvantage of THEORIST is that it does not allow to represent priorities between defaults adequately (as distinct from blocking defaults in specific situations). We therefore propose two generalizations of Poole's system: in the first generalization several layers of possible hypotheses representing different degrees of reliability are introduced. In a second further generalization a partial ordering between premises is used to distinguish between more and less reliable formulas. In both approaches a formula is provable from a theory if it is possible to construct a consistent argument for it based on the most reliable hypotheses. This allows for a simple representation of priorities between defaults. 1
Keyphrases
extended logical framework preferred subtheories default reasoning nonmonotonic system partial ordering first generalization several layer particular instance david poole general framework second generalization preferred maximal consistent subset reliable formula reliable hypothesis simple representation different degree consistent argument specific situation possible hypothesis theorist approach
