Semantical considerations on nonmonotonic logic
Artificial Intelligence
Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Reasoning about knowledge
Hi-index | 0.00 |
Ramsey's test for conditionals seems to be in conflict with the so-called Thomason conditionals. A Thomason conditional is a conditional in which either the antecedent or the consequent is a statement about the reasoning agent's own beliefs. Several authors have pointed out that resolving the apparent conflict is to be sought by abandoning the belief revision interpretation of the Ramsey test in favor of a suppositional interpretation.We formalize an AGM-style notion of supposition, showing that it is identical to revision for agents who are not autodoxastic--agents who do not reason about their beliefs. We present particular realizations of supposition in terms of revision and identify the relations between the conditionals supposition and revision give rise to.