Report  Open Access

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.

Source: ISTI Technical Report, ISTI-2022-TR/004, pp.1–21, 2022

Back to previous page
BibTeX entry
	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}

Bibliographic record

ISTI Repository

Deposited version Open Access

Also available from

arxiv.orgOpen Access

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization