scholarly journals On Applying the AGM Theory to DLs and OWL

2005 ◽  
pp. 216-231 ◽  
Author(s):  
Giorgos Flouris ◽  
Dimitris Plexousakis ◽  
Grigoris Antoniou
Keyword(s):  
Agm Theory

On the degeneracy of the full AGM-theory of theory-revision

2006 ◽  
Vol 71 (2) ◽  
pp. 661-676 ◽  
Author(s):  
Neil Tennant
Keyword(s):  
Theory Revision ◽  
Agm Theory ◽  
General Method ◽  
Theory Of Theory

AbstractA general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the AGM-theory of theory-revision.

Belief Revision

2021 ◽  
pp. 35-61
Author(s):  
Franz Huber
Keyword(s):  
Belief Revision ◽  
Agm Theory

This chapter first introduces the AGM theory of belief revision. Then it focuses on the problem of iterated belief revisions.

scholarly journals Belief Revision I: The AGM Theory

2013 ◽  
Vol 8 (7) ◽  
pp. 604-612 ◽  
Author(s):  
Franz Huber
Keyword(s):  
Belief Revision ◽  
Agm Theory

scholarly journals Strong Syntax Splitting for Iterated Belief Revision

2017 ◽  
Author(s):  
Gabriele Kern-Isberner ◽  
Gerhard Brewka
Keyword(s):  
Belief Revision ◽  
Irrelevant Information ◽  
Iterated Revision ◽  
Original Proposal ◽  
Epistemic States ◽  
Additional Axiom ◽  
Agm Theory ◽  
Iterated Belief Revision

AGM theory is the most influential formal account of belief revision. Nevertheless, there are some issues with the original proposal. In particular, Parikh has pointed out that completely irrelevant information may be affected in AGM revision. To remedy this, he proposed an additional axiom (P) aiming to capture (ir)relevance by a notion of syntax splitting. In this paper we generalize syntax splitting from logical sentences to epistemic states, a step which is necessary to cover iterated revision. The generalization is based on the notion of marginalization of epistemic states. Furthermore, we study epistemic syntax splitting in the context of ordinal conditional functions. Our approach substantially generalizes the semantical treatment of (P) in terms of faithful preorders recently presented by Peppas and colleagues.

scholarly journals Carlos E. Alchourrón. Breve biografía intelectual

1996 ◽  
Vol 28 (82) ◽  
pp. 3-12
Author(s):  
Gladys Palau
Keyword(s):  
Historical Development ◽  
Theory Change ◽  
Intellectual Biography ◽  
Defeasible Logic ◽  
Normative Systems ◽  
Logic Of Theory Change ◽  
Agm Theory ◽  
Normative Logic

This paper is a short intellectual biography of Professor Carlos E. Alchourrón. I analyze his main contributions in three fields: 1) the logic of normative systems, 2) the logic of theory change, and 3) the logic of defeasible conditionals. I review the historical development of his thought on these three subjects. Furthermore, I show how the problems that arise in the field of normative logic stimulated him to find solutions in the AGM theory and in defeasible logic. Lastly, I show how in his last papers these three fields converge in a general englobing approach.

scholarly journals Editorial Introduction—25 Years of AGM Theory

2011 ◽  
Vol 40 (2) ◽  
pp. 113-114
Author(s):  
Eduardo Fermé ◽  
Sven Ove Hansson
Keyword(s):  
Editorial Introduction ◽  
Agm Theory

scholarly journals Symbolic and subsymbolic components in the logic of belief change

2018 ◽  
Vol 32 (9) ◽  
Author(s):  
Slavko Brkić
Keyword(s):  
Epistemic Logic ◽  
Belief Change ◽  
Agm Theory

The intention of this paper is to 'locate' symbolic and subsymbolic components in the theory of belief change. First I will consider the roles of these components within the framework of epistemic logic (Hintikka style) and then apply it on a wider context - i.e. to the theory of belief change (Gärdenfors style or AGM theory). In this way we shall obtain the basis of the logic of belief change.

Sign in / Sign up

Export Citation Format

Share Document