14 found
Order:
  1.  61
    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 (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  62
    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   11 citations  
  3.  45
    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   10 citations  
  4.  10
    Shielded base contraction.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2018 - Artificial Intelligence 259 (C):186-216.
  5. 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  
  6.  38
    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   3 citations  
  7.  5
    Knowledge-driven profile dynamics.Eduardo Fermé, Marco Garapa, Maurício D. L. Reis, Yuri Almeida, Teresa Paulino & Mariana Rodrigues - 2024 - Artificial Intelligence 331 (C):104117.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Generalized Partial Meet and Kernel Contractions.Marco Garapa & Maurício D. L. Reis - forthcoming - Review of Symbolic Logic:1-29.
    Two of the most well-known belief contraction operators are partial meet contractions (PMCs) and kernel contractions (KCs). In this paper we propose two new classes of contraction operators, namely the class of generalized partial meet contractions (GPMC) and the class of generalized kernel contractions (GKC), which strictly contain the classes of PMCs and of KCs, respectively. We identify some extra conditions that can be added to the definitions of GPMCs and of GKCs, which give rise to some interesting subclasses of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    Ensinar E aprender filosofias negras: Entrevista a Renato Noguera.Alexandre De Oliveira Fernandes, Emanoel Luís Roque Soares & Maurício De Novais Reis - 2018 - Odeere 3 (6):07.
    Uma boa entrevista precisa de uma entrada? Necessitamos aqui, realmente de uma apresentação de nosso entrevistado? Se sim, seremos sintéticos, porque estamos convencidos de que importa a fala de Renato Noguera. Deixaremos que a entrevista diga “algo” sobre ele que não possa ser pinçado rapidamente de seu currículo lattes, produção bibliográfica, palestras e bancas de trabalhos acadêmicos, não sem dizer, contudo, que Noguera é daqueles pensadores que aproximam o conhecimento das pessoas. Não escreve e nem fala como se estivesse em (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    Levi and Harper identities for non-prioritized belief base change.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2023 - Artificial Intelligence 319 (C):103907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    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)  
     
    Export citation  
     
    Bookmark  
  12. Entre o ser e o não-ser.Lúcio Marques & Maurício Reis (eds.) - 2016
    No categories
     
    Export citation  
     
    Bookmark  
  13.  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 (C):122-141.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  9
    Hermenêutica e psicanálise.Luiz Rohden & Mauricio Martins Reis - 2022 - Veritas – Revista de Filosofia da Pucrs 67 (1):e42814.
    A articulação entre psicanálise e hermenêutica não é algo de incomum no pensamento dos últimos anos, em especial a partir da segunda metade do século vinte. Ocorre, todavia, que essa articulação muito raramente é postulada como constitutiva ou intrínseca, se tomarmos em consideração os pressupostos da psicanálise freudiana comparativamente à filosofia da hermenêutica filosófica de Hans-Georg Gadamer. O presente artigo tem por objetivo pavimentar essa clareira comum entre ambos, tomando como base a interpretação na especificidade da clínica do inconsciente e (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark