16 found
Order:
Disambiguations
Eduardo Fermé [13]Eduardo L. Fermé [2]Eduardo Leopoldo Fermé [1]
See also
Eduardo Fermé
University of Madeira
  1.  18
    AGM 25 Years.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  11
    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 (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  27
    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 (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  4.  19
    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 (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  60
    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 (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  33
    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 (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  58
    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 (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  8. 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 (...)
     
    Export citation  
     
    Bookmark   8 citations  
  9.  18
    Editorial Introduction—25 Years of AGM Theory.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):113-114.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  4
    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   4 citations  
  11.  93
    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 (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  35
    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   2 citations  
  13.  28
    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   3 citations  
  14.  16
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. 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.
  16. 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