间隔中性集合与逻辑：计算中的理论和应用
摘要：中微分析的进展与应用 第一章首次介绍了中微分集的区间，这是中微分集的一个实例。在这一章中，给出了区间中微分集的定义和集合理论运算符，并证明了区间中微分集的各种性质。第二章根据区间中微分集定义了基于区间中微分集的区间中微分逻辑，包括一阶区间中微分命题逻辑和一阶区间中微分谓词逻辑的句法和语义。区间中微分逻辑可以推理和建模模糊的、不完整的和不一致的信息。在这一章中，我们还设计了一个基于一阶区间中微分谓词逻辑的区间中微分推理系统。区间中微分推理系统可以应用于决策。第三章在关系数据库领域给出了区间中微分集和逻辑的一个应用。中微分数据模型是模糊数据模型和参数一致数据模型的一般化。在这里，我们将模糊数据模型的各种集合论和关系论操作推广到中微分数据模型。第四章提供了区间中微分逻辑的另一个应用。提出了一个软语义Web服务代理框架，以促进高质量语义Web服务代理的注册和发现。使用区间中微分逻辑实现了软语义Web服务代理的智能推理引擎模块。
作者：Haibin Wang, Florentin Smarandache, Yan-Qing Zhang, Rajshekhar Sunderraman
论文ID：cs/0505014
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23