论文标题
MKNF混合知识库带有功能符号的迭代fixpoint语义
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
论文作者
论文摘要
基于Lifschitz的最小知识的逻辑和否定为失败的逻辑是一种成功的方法，是将描述逻辑和逻辑编程结合到单一语言中的成功方法。他们的语法是由Motik和Rosati定义的，它不允许函数符号。为了为MKNF HKBS定义有充分的语义，Knorr等人。定义发生在其中的模态原子的分区，称为交替的固定点分区。在本文中，我们提出了具有功能符号的HKB的迭代fixpoint语义。我们证明，我们的语义扩展了Knorr等人，因为对于无函数的HKB，它与其交替的FixPoint分区一致。拟议的语义很好地通过分布语义方法来实现概率扩展，这是未来工作的主题。
Hybrid Knowledge Bases based on Lifschitz's logic of Minimal Knowledge with Negation as Failure are a successful approach to combine the expressivity of Description Logics and Logic Programming in a single language. Their syntax, defined by Motik and Rosati, disallows function symbols. In order to define a well-founded semantics for MKNF HKBs, Knorr et al. define a partition of the modal atoms occurring in it, called the alternating fixpoint partition. In this paper, we propose an iterated fixpoint semantics for HKBs with function symbols. We prove that our semantics extends Knorr et al.'s, in that, for a function-free HKBs, it coincides with its alternating fixpoint partition. The proposed semantics lends itself well to a probabilistic extension with a distribution semantic approach, which is the subject of future work.
