Order:
  1.  19
    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  
  2.  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  
  3.  4
    Selective Base Revisions.Marco Garapa - 2022 - Journal of Philosophical Logic 51 (1):1-26.
    Belief Revision addresses the problem of rationally incorporating pieces of new information into an agent’s belief state. In the AGM paradigm, the most used framework in Belief Revision, primacy is given to the new information, which is fully incorporated into the agent’s belief state. However, in real situations, one may want to reject the new information or only accept a part of it. A constructive model called Selective Revision was proposed to meet this need but, as in the AGM framework, (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  8
    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  
  5.  3
    Two Level Credibility-Limited Revisions.Marco Garapa - forthcoming - Review of Symbolic Logic:1-21.
    In this paper, we propose a new kind of nonprioritized operator which we call two level credibility-limited revision. When revising through a two level credibility-limited revision there are two levels of credibility and one of incredibility. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark