-
55Credibility limited revisionJournal of Symbolic Logic 66 (4): 1581-1596. 2001.Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions
-
6Levi and Harper identities for non-prioritized belief base changeArtificial Intelligence 319 (C): 103907. 2023.
-
98Selective revisionStudia Logica 63 (3): 331-342. 1999.We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
-
111On the logic of theory change: Contraction without recovery (review)Journal of Logic, Language and Information 7 (2): 127-137. 1998.The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.
-
11On the Logic of Theory Change : Extending the AGM ModelDissertation, Royal Institute of Technology, Stockholm. 2011.This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM are presented and app…Read more
-
37Belief Revision and Computational Argumentation: A Critical ComparisonJournal of Logic, Language and Information 31 (4): 555-589. 2022.This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in th…Read more
-
160How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING. 2018.Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of …Read more
-
7Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility resultArtificial Intelligence 233 (C): 122-141. 2016.
-
12Studies on Brutal Contraction and Severe WithdrawalStudia Logica 105 (2): 331-360. 2017.In this paper we present an axiomatic characterization for brutal contractions. Then we consider the particular case of the brutal contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements. We present axiomatic characterizations for each one of those classes of functions and investigate the interrelation among them.
-
54Belief Change: Introduction and OverviewSpringer Verlag. 2018.This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.
-
16Revision by ComparisonArtificial Intelligence 157 (1): 5-47. 2004.Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the agent rationally to refuse to accept the new information. This paper …Read more
-
19Multiple Kernel ContractionStudia Logica 73 (2): 183-195. 2003.This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base cont…Read more
-
5Formal epistemology and logicIn Susana Nuccetelli, Ofelia Schutte & Otávio Bueno (eds.), A Companion to Latin American Philosophy, Wiley-blackwell. 2009.This chapter contains sections titled: Belief Revision in Latin America: The Legacy of Carlos Alchourrón The AGM Approach The Logic of Theory Change and Epistemology What Is an Epistemic State? Departures from AGM References.
-
4Credibility Limited RevisionJournal of Symbolic Logic 66 (4): 1581-1596. 2001.Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
-
90AGM 25 Years: Twenty-Five Years of Research in Belief ChangeJournal of Philosophical Logic 40 (2). 2011.The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended represe…Read more
-
9A Brief Note About Rott ContractionLogic Journal of the IGPL 6 (6): 835-842. 1998.One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by Gärdenfors in [5], who defined epistemic entrenchment and a contraction function in terms of it and related the latter with the AGM contraction function. Later Hans Rott in [16] presented an entrenchment based contraction function that does not satisfy recovery. In this paper we provide an axiomatic characterization of Rott Contraction
-
57Multiple kernel contractionStudia Logica 73 (2). 2003.This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base cont…Read more
-
35Epistemic entrenchment-based multiple contractionsReview of Symbolic Logic 6 (3): 460-487. 2013.In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Ferm…Read more
-
13Irrevocable belief revision and epistemic entrenchmentLogic Journal of the IGPL 8 (5): 645-652. 2000.In recent papers [10, 11] Krister Segerberg introduced Irrevocable Belief Revision, as closely related to AGM revision [2]. In this paper we present irrevocable belief revision in terms of an epistemic entrenchment relation
-
49DFT and belief revisionAnálisis Filosófico 26 (2): 373-393. 2006.Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will g…Read more
-
60System of Spheres-based Multiple ContractionsJournal of Philosophical Logic 41 (1): 29-52. 2012.We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.
-
39AGM 25 Years: Twenty-Five Years of Research in Belief ChangeJournal of Philosophical Logic 40 (2): 295-331. 2011.The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the b…Read more
-
1Shielded ContractionIn M. Williams & Hans Rott (eds.), Fronties of Belief Revision, Kluwer Academic Publishers. pp. 85-107. 2001.
-
20Editorial Introduction—25 Years of AGM TheoryJournal of Philosophical Logic 40 (2): 113-114. 2011.
-
44Possible Worlds Semantics for Partial Meet Multiple ContractionJournal of Philosophical Logic 41 (1): 7-28. 2012.In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this paper we present the p…Read more
-
50Semi-Contraction: Axioms and ConstructionNotre Dame Journal of Formal Logic 39 (3): 332-345. 1998.Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis
Eduardo Fermé
University of Madeira
-
University of MadeiraProfessor
Areas of Specialization
Belief Revision |
Nonmonotonic Logic |
AGM Belief Revision Theory |
Belief Revision, Misc |
Areas of Interest
Belief Revision |
Nonmonotonic Logic |
AGM Belief Revision Theory |
Belief Revision, Misc |