Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives

18th International Workshop on Nonmonotonic Reasoning (2020)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
CARPLF-3
Upload history
Archival date: 2022-01-12
View other versions
Added to PP index
2022-01-12

Total views
3 ( #67,369 of 65,736 )

Recent downloads (6 months)
3 ( #64,803 of 65,736 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.