论文标题
绑架遗忘
Abductive forgetting
论文作者
论文摘要
绑架性遗忘正在从逻辑公式中删除变量，同时保持其绑架性解释。根据其预期的应用，它以两种替代方式进行。两者都与通常的遗忘不同，后者保持后果而不是解释。与此不同的是，从命题公式中绑架遗忘可能不会由任何命题公式表达。必要且充分的条件告诉它何时。检查它是$π^p_3 $ -complete。保证绑架遗忘的表达性的一种方法是从命题转换为默认逻辑。另一个是引入新变量。
Abductive forgetting is removing variables from a logical formula while maintaining its abductive explanations. It is carried in two alternative ways depending on its intended application. Both differ from the usual forgetting, which maintains consequences rather than explanations. Differently from that, abductive forgetting from a propositional formula may not be expressed by any propositional formula. A necessary and sufficient condition tells when it is. Checking it is $Π^p_3$-complete. A way to guarantee expressibility of abductive forgetting is to switch from propositional to default logic. Another is to introduce new variables.
