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.
A general framework for modelling conditional reasoning - Preliminary report
Casini G;Straccia U
2022
Abstract
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_464649-doc_183679.pdf
accesso aperto
Descrizione: A general framework for modelling conditional reasoning - Preliminary report
Dimensione
640.3 kB
Formato
Adobe PDF
|
640.3 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.