22 found
Order:
Disambiguations
Eduardo Fermé [19]Eduardo L. Fermé [2]Eduardo Leopoldo Fermé [1]
See also
Eduardo Fermé
University of Madeira
  1.  12
    Belief Change: Introduction and Overview.Eduardo Fermé & Sven Ove Hansson - 2018 - Springer Verlag.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  73
    AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
    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 representations of the belief states, change operators not included in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  3.  29
    AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
    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 belief states, change operators not included in the original (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  4.  89
    Selective Revision.Eduardo L. Fermé & Sven Ove Hansson - 1999 - Studia Logica 63 (3):331-342.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  5.  4
    Revision by Comparison.Eduardo Fermé & Hans Rott - 2004 - Artificial Intelligence 157 (1):5-47.
    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 introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  6.  45
    System of Spheres-Based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2012 - Journal of Philosophical Logic 41 (1):29-52.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  45
    Multiple Kernel Contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
    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 contractions. This construction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  8.  39
    Credibility Limited Revision.Sven Ove Hansson, Eduardo Leopoldo Fermé, John Cantwell & Marcelo Alejandro Falappa - 2001 - Journal of Symbolic Logic 66 (4):1581-1596.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  29
    Possible Worlds Semantics for Partial Meet Multiple Contraction.Maurício D. L. Reis & Eduardo Fermé - 2012 - Journal of Philosophical Logic 41 (1):7-28.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  12
    Multiple Kernel Contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183-195.
    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 contractions. This construction (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  11.  4
    Credibility Limited Revision.Sven Hansson, Eduardo Ferme, John Cantwell & Marcelo Falappa - 2001 - Journal of Symbolic Logic 66 (4):1581-1596.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  12. On the Logic of Theory Change: Contraction Without Recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  26
    How to Construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.
    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 paraconsistency in a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  41
    Semi-Contraction: Axioms and Construction.Eduardo Fermé & Ricardo Rodriguez - 1998 - Notre Dame Journal of Formal Logic 39 (3):332-345.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  7
    Belief Revision and Computational Argumentation: A Critical Comparison.Pietro Baroni, Eduardo Fermé, Massimiliano Giacomin & Guillermo Ricardo Simari - forthcoming - Journal of Logic, Language and Information:1-35.
    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 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 relationships between two lively research fields in the broad area of defeasible reasoning and on the other hand pointing out open (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  25
    Epistemic Entrenchment-Based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2013 - Review of Symbolic Logic 6 (3):460-487.
    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é & Reis (2012).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  43
    DFT and Belief Revision.Eduardo Fermé & Ricardo Rodríguez - 2006 - Análisis Filosófico 26 (2):373-393.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  18
    Editorial Introduction—25 Years of AGM Theory.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):113-114.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  1
    Shielded Base Contraction.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2018 - Artificial Intelligence 259:186-216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Formal Epistemology and Logic.Horacio Arló-Costa & Eduardo Fermé - 2010 - In Susana Nuccetelli, Ofelia Schutte & Otávio Bueno (eds.), A Companion to Latin American Philosophy. Wiley-Blackwell.
  21.  1
    On the Logic of Theory Change : Extending the AGM Model.Eduardo Fermé - 2011 - Dissertation, Royal Institute of Technology, Stockholm
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Construction of System of Spheres-Based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result.Maurício D. L. Reis, Eduardo Fermé & Pavlos Peppas - 2016 - Artificial Intelligence 233:122-141.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark