BriefGPT.xyz
Jul, 2019
满足强持久性的遗忘语法操作符
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
HTML
PDF
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
TL;DR
本文描述了在使用ASP进行遗忘操作中,提出了第一个具体满足强持久性的运算符,该运算符具有许多重要性质,是一种句法运算符,可将遗忘操作的计算限制在包含要忘记的原子的规则中,从而自然地产生与原始程序接近的遗忘结果。
Abstract
Whereas the operation of
forgetting
has recently seen a considerable amount of attention in the context of
answer set programming
(ASP), most of it has focused on theoretical aspects, leaving the practical issues
→