Abstract
Standard refinements of epistemic and doxastic logics that avoid the problems of logical and deductive omniscience cannot easily be generalised to default reasoning. This is even more so when defeasible reasoning is understood as tentative reasoning; an understanding that is inspired by the dynamic proofs of adaptive logic. In the present paper we extend the abnormality (preference) models for adaptive consequence with a set of open worlds to account for this type of inferential dynamics. In doing so, we argue that unlike for mere deductive reasoning, tentative inference cannot be modelled without such open worlds.
| Original language | English |
|---|---|
| Pages (from-to) | 155-165 |
| Number of pages | 11 |
| Journal | Lecture Notes in Computer Science |
| Volume | 7758 |
| Publication status | Published - 2013 |
| Event | 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011 - Kutaisi, Georgia Duration: 26 Sept 2011 → 30 Sept 2011 |
Keywords
- adaptive Logic
- awareness
- defeasible logic
- modal logic
- omniscience
- open worlds
Fingerprint
Dive into the research topics of 'Dynamics of Defeasible and Tentative Inference'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver