Publication Date:
2022
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Conditional logic; Defeasible reasoning; Non-monotonic reasoning
List of contributors: