7 found
Order:
  1.  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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  50
    Prioritized and Non-Prioritized Multiple Change on Belief Bases.Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. L. Reis & Guillermo R. Simari - 2012 - Journal of Philosophical Logic 41 (1):77-113.
    In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  28
    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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  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  
  5.  7
    Residual Contraction.Marco Garapa & Maurício D. L. Reis - 2020 - Journal of Logic, Language and Information 29 (2):255-274.
    In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contractions. We investigate the interrelations in the sense of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. 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  
  7. 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