Switch to: References

Add citations

You must login to add citations.
  1. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Alexandre Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing.
    This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Paraconsistent Logics for Knowledge Representation and Reasoning: Advances and Perspectives.Walter A. Carnielli & Rafael Testa - 2020 - 18th International Workshop on Nonmonotonic Reasoning.
    This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Cost of Consistency: Information Economy in Paraconsistent Belief Revision.Rafael Testa - 2015 - South American Journal of Logic 1 (2):461-480.
    By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I shall argue (...)
    Download  
     
    Export citation  
     
    Bookmark