A General Framework for Modelling Conditional Reasoning -- Preliminary Report

TL;DR

This paper presents a new formal framework for modeling various types of conditional reasoning in logic-based knowledge representation, especially focusing on conditionals that lack classical closure properties.

Contribution

It introduces a general formalization that encompasses a broad class of conditional reasoning systems, enabling structural analysis beyond classical logic constraints.

Findings

Framework applicable to diverse conditional reasoning systems

Semantics suitable for non-closure property conditionals

Supports structural analysis of logic-based conditionals

Abstract

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.