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.
Source: ISTI Technical Report, ISTI-2022-TR/004, pp.1–21, 2022
@techreport{oai:it.cnr:prodotti:464649, title = {A general framework for modelling conditional reasoning - Preliminary report}, author = {Casini G. and Straccia U.}, institution = {ISTI Technical Report, ISTI-2022-TR/004, pp.1–21, 2022}, year = {2022} }