BriefGPT.xyz
Jul, 2023
消除混合推理系统的无意稳定定点
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
HTML
PDF
Spencer Killen, Jia-Huai You
TL;DR
利用传统的AFT理论难以定义依赖于稳定修订之前计算得到的信息的近似器，本文提出了一种类似AFT的方法，能够利用先前计算得到的上界更精确地捕捉语义，并通过扩展最先进的近似器展示了该框架在混合MKNF知识库上的应用性。
Abstract
A wide variety of
nonmonotonic semantics
can be expressed as
approximators
defined under
aft
(Approximation Fixpoint Theory). Using tradit
→