24、基于模糊逻辑的规则交换格式不确定性处理：从编码到扩展

基于模糊逻辑的规则交换格式不确定性处理：从编码到扩展

1. 引言

语义网的知识表示形式主要有描述逻辑（DL）和逻辑程序（LP），二者都基于一阶逻辑的子集。DL和LP在知识表示上各有侧重且存在重叠，具有一定的互补性。例如，典型的DL无法直接表达LP的n元函数应用，而经典LP不能表达DL的析取。

将DL和LP结合，“在本体之上构建规则”或“在规则之上构建本体”已成为语义网各种应用的新兴话题。此前已有诸多相关成果，如提出了多个组合框架。其中，描述逻辑程序（DLP）作为二者的“交集”也被深入研究，同时还探讨了DL到LP的映射。

另外，处理不确定知识正成为语义网的关键研究方向。现实中许多商业本体建模所需的概念边界不清晰，与其他概念的关系也缺乏明确标准。为此，人们研究了多种将不确定知识融入传统规则语言和DL语言的方法。

规则交换格式（RIF）由W3C的RIF工作组开发，用于支持规则系统间的规则交换。其中，基本逻辑方言（RIF - BLD）对应具有等式和一阶语义的确定Horn规则语言。虽然RIF的基于逻辑的方言框架（RIF - FLD）允许使用多值逻辑，但RIF - BLD的真值集仅包含t和f两个值，不适合表达不确定知识。

本文的主要贡献包括：一是提出两种在RIF中编码不确定信息的技术以及对RIF的不确定性扩展；二是将DLP扩展为模糊DLP，并探讨其到RIF的映射。

2. 描述逻辑程序及其在RIF中的表示

描述逻辑程序（DLP）研究了语义网中LP规则和DL本体这两种主流方法的交集，并展示了如何在这个交集中实现DL和LP的互操作。DLP知识库允许以下几种陈述：
1. 声明类C是类D的子类，即C ⊑ D；