A general framework for modelling conditional reasoning - Preliminary report
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.
Source: KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, pp. 112–121, Haifa, Israel, 31/07-05/08/2022
Metrics
Back to previous page
@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},
booktitle = {KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, pp. 112–121, Haifa, Israel, 31/07-05/08/2022},
year = {2022}
}
0000-0002-4267-4447
