BriefGPT.xyz
Sep, 2022
推理性遗忘
Abductive forgetting
HTML
PDF
Paolo Liberatore
TL;DR
该论文探讨了如何在维持其缩略模式的同时从逻辑公式中移除变量，其中，传统的遗忘方式维护的是后果而非解释。它提出了两种定义方式并确定了其表述的必要和充分条件，同时提出了两种切换途径以保证遗忘的表述性，即从命题逻辑切换到默认逻辑和引入新变量。
Abstract
abductive forgetting
is removing variables from a
logical formula
while maintaining its
abductive explanations
. It is defined in either of
→