← Guests
A new paper “Beyond Consistency: A Closer Look at Free Formulas” by Ofer Arieli, Badran Raddaoui and Christian Straßer got accept for KR 2026. It introduces new and highly cautious forms of defeasible reasoning, that is inconsistency-tolerant Nonmonotonic Logics, with some connections to inconsistency measures. In this paper, we describe methods for drawing conclusions from inconsistent information in a particularly cautious manner. These approaches to cautious paraconsistent reasoning are especially useful in situations where the outcomes of the conclusions are irreversible or have far-reaching consequences in the given context. Such inference methods are therefore more restrictive than standard approaches to reasoning under inconsistency, which rely on (the formulas in the intersection of) consistent subsets of the knowledge base. In particular, the reasoning methods under consideration allow to infer only those conclusions that are fully guaranteed, namely those that are in no way affected by the inconsistencies in the base. The paper presents several techniques for implementing cautious paraconsistent reasoning and compares their basic properties and relative strengths. (Arieli et al., 2026)
@InProceedings{arieli-raddaoui-strasser-KR-26,
author = {Ofer Arieli and Badran Raddaoui and Christian Stra{\ss}er},
title = {Beyond Consistency: A Closer Look at Free Formulas},
booktitle = {Proceedings of KR 2026},
year = {2026},
note = {Forthcoming},
}