Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives

18th International Workshop on Nonmonotonic Reasoning (2020)
  Copy   BIBTEX


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 a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence.

Author Profiles

Walter Carnielli
University of Campinas
Rafael Testa
University of Campinas


Added to PP

114 (#58,681)

6 months
57 (#29,417)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?