| Authors |
|
| Publication date |
2017
|
| Host editors |
-
A. Baltag
-
J. Seligman
-
T. Yamada
|
| Book title |
Logic, Rationality, and Interaction
|
| Book subtitle |
6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Event |
6th International Workshop Logic, Rationality, and Interaction
|
| Pages (from-to) |
676-680
|
| Publisher |
Berlin: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
In this paper we study the relation between nonmonotonic reasoning and belief revision. Our main conceptual contribution is to suggest that nonmonotonic reasoning guides but does not determine an agent’s belief revision. To be adopted as beliefs, defeasible conclusions should remain stable in the face of certain bodies of information. This proposal is formalized in what we call a two-tier semantics for nonmonotonic reasoning and belief revision. The main technical result is a sound and complete axiomatization for this semantic.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-662-55665-8_51
|
|
Permalink to this page
|