BriefGPT.xyz
Jun, 2015
逻辑程序修订作为命题修订的扩展特性表征
Characterization of Logic Program Revision as an Extension of Propositional Revision
HTML
PDF
Nicolas Schwind, Katsumi Inoue
TL;DR
本文提出了一种构建LP修订算子的细致方法,并以广义逻辑程序为例,证明了所有合理的广义逻辑程序修订算子均源自满足AGM公理的命题修订算子。同时,将广义逻辑程序修订算子嵌入布尔格结构中,并引入两个类别的广义逻辑程序修订算子,并将结果扩展到了多种形式的逻辑程序的修订算子。
Abstract
We address the problem of
belief revision
of
logic programs
, i.e., how to incorporate to a logic program P a new logic program Q. Based on the structure of
→