Casini G, Straccia U
FOS: Computer and information sciences Artificial Intelligence (cs.AI) Defeasible reasoning Conditional logic Computer Science - Artificial Intelligence 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.
@inproceedings{oai:it.cnr:prodotti:469826,
title = {A general framework for modelling conditional reasoning - Preliminary report},
author = {Casini G and Straccia U},
doi = {10.24963/kr.2022/12 and 10.48550/arxiv.2202.07596},
year = {2022}
}Bibliographic record
Deposited version
10.24963/kr.2022/12
10.48550/arxiv.2202.07596