论文标题
建模有条件推理的一般框架 - 初步报告
A General Framework for Modelling Conditional Reasoning -- Preliminary Report
论文作者
论文摘要
我们在这里介绍和调查有条件的形式化，该条件允许定义广泛的推理系统。该框架涵盖了基于逻辑的KR：我们提出的语义中最流行的条件推理类型，适用于对那些不满足与经典逻辑相关的闭合特性的条件分析的结构分析。
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.
