The class of defeasible logics is only vaguely defined -- it is defined by a few exemplars and the general idea of efficient reasoning with defeasible rules. The recent definition of the defeasible logic $DL(\partial_{||})$ introduced new features to such logics, which have repercussions that we explore. In particular, we define a class of logics that accommodates the new logic while retaining the traditional properties of defeasible logics.
翻译:可废止逻辑类别的定义较为模糊——它仅通过几个范例以及使用可废止规则进行高效推理的一般概念来界定。最近提出的可废止逻辑$DL(\partial_{||})$为此类逻辑引入了新特征,我们探讨了这些特征带来的影响。具体而言,我们定义了一个逻辑类别,该类别既能容纳新逻辑,又能保留可废止逻辑的传统性质。