Extending the standard format of adaptive logics to the prioritized case
- Author
- Frederik Van De Putte (UGent) and Christian Strasser (UGent)
- Organization
- Abstract
- This paper introduces a new format for reasoning with prioritized standards of normality. It is applicable in a broad variety of contexts, e.g. dealing with (possibly conflicting) prioritized belief bases or combining different reasoning methods in a prioritized way. The format is a generalization of the standard format of adaptive logics (see [4]). Every logic that is formulated within it has a straightforward semantics in the style of Shoham's selection semantics (see [22]) and a dynamic proof theory. Furthermore, it can count on a rich meta-theory that inherits the attractive features of the standard format, such as soundness and completeness, reflexivity, idempotence, cautious monotonicity, and many other properties.
Downloads
-
(...).pdf
- full text
- |
- UGent only
- |
- |
- 266.18 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-3099666
- MLA
- Van De Putte, Frederik, and Christian Strasser. “Extending the Standard Format of Adaptive Logics to the Prioritized Case.” LOGIQUE ET ANALYSE, vol. 220, 2012, pp. 601–41.
- APA
- Van De Putte, F., & Strasser, C. (2012). Extending the standard format of adaptive logics to the prioritized case. LOGIQUE ET ANALYSE, 220, 601–641.
- Chicago author-date
- Van De Putte, Frederik, and Christian Strasser. 2012. “Extending the Standard Format of Adaptive Logics to the Prioritized Case.” LOGIQUE ET ANALYSE 220: 601–41.
- Chicago author-date (all authors)
- Van De Putte, Frederik, and Christian Strasser. 2012. “Extending the Standard Format of Adaptive Logics to the Prioritized Case.” LOGIQUE ET ANALYSE 220: 601–641.
- Vancouver
- 1.Van De Putte F, Strasser C. Extending the standard format of adaptive logics to the prioritized case. LOGIQUE ET ANALYSE. 2012;220:601–41.
- IEEE
- [1]F. Van De Putte and C. Strasser, “Extending the standard format of adaptive logics to the prioritized case,” LOGIQUE ET ANALYSE, vol. 220, pp. 601–641, 2012.
@article{3099666,
abstract = {{This paper introduces a new format for reasoning with prioritized standards of normality. It is applicable in a broad variety of contexts, e.g. dealing with (possibly conflicting) prioritized belief bases or combining different reasoning methods in a prioritized way. The format is a generalization of the standard format of adaptive logics (see [4]). Every logic that is formulated within it has a straightforward semantics in the style of Shoham's selection semantics (see [22]) and a dynamic proof theory. Furthermore, it can count on a rich meta-theory that inherits the attractive features of the standard format, such as soundness and completeness, reflexivity, idempotence, cautious monotonicity, and many other properties.}},
author = {{Van De Putte, Frederik and Strasser, Christian}},
issn = {{0024-5836}},
journal = {{LOGIQUE ET ANALYSE}},
language = {{eng}},
pages = {{601--641}},
title = {{Extending the standard format of adaptive logics to the prioritized case}},
volume = {{220}},
year = {{2012}},
}