A general framework for modelling conditional reasoning - Preliminary report

Casini G, Straccia U

Conditional logic  Defeasible reasoning  Non-monotonic reasoning 

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.