R-重构相关论文
在开放逻辑中,令Γ是假说,A为语句使得ΓA且A受到事实反驳,本文给出了Γ关于A的事实反驳的R-重构不多于n的充要条件,作为推论我们......
关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库，该文给出了一个维护和更新的形式转换系统，使得任意可能有矛盾的......
我们提出了基于枚举函数的R-重构的概念,从语义和语法方面刻画了它的重要性质。特别,我们证明了这类R-重构是ω-递归可枚举集合,从......
在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些......
在开放逻辑中，Ｒ－重构作为一知识库或信念集修正的结果并不唯一，有时甚至太多而难于明确计算和表示，为此，文中给出了基于一优先序的Ｒ－重构的......
