A General Framework for Modelling Conditional Reasoning -- Preliminary Report
This work addresses a foundational issue in AI and logic for researchers in knowledge representation, but it is incremental as it builds on existing conditional reasoning systems.
The authors tackled the problem of formalizing conditional reasoning in logic-based knowledge representation by introducing a general framework that covers popular kinds of conditionals lacking classical closure properties, but no concrete results or numbers are provided.
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.