2022
Conference article  Open Access

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
BibTeX entry
@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}
}

TAILOR
Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization


OpenAIRE