A General Framework for Modelling Conditional Reasoning - Preliminary Report

Giovanni Casini, Umberto Straccia
2022 Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning   unpublished
We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy closure properties associated to classical logics.
doi:10.24963/kr.2022/12 fatcat:smu7byem75f5nl7hor2opa6eyu