Switch to: References

Add citations

You must login to add citations.
  1. 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   2 citations  
  • Paraconsistent Belief Revision Based on a Formal Consistency Operator (PhD Thesis).Rafael R. Testa - 2023
    "Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision systems. It explores the concept of paraconsistency (...)
    Download  
     
    Export citation  
     
    Bookmark