A General Framework for Modelling Conditional Reasoning -- Preliminary Report

2022/02/15 by Casini, Giovanni, Straccia, Umberto · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences

paper · doi:10.48550/arxiv.2202.07596

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.

Cited by

• Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria

Related

• A tableau methodology for deontic conditional logics
• What does a conditional knowledge base entail?
• On Non-monotonic Conditional Reasoning
• Justification logics with counterfactual and relevant conditionals
• First-Order Conditional Logic Revisited