基于描述逻辑的推理机设计实现及其分布化研究

发布时间：2025-03-18 06:46

　　语义Web的发展使得其逻辑基础描述逻辑也成为研究的一个热点。描述逻辑支持推理，其推理主要涉及如下问题：概念可满足性(Concept Satisfiability)，包含关系(Subsumption)，可满足性(Satisfiabilty)，实例检测(instance Checking)；而可满足性是关键问题。用于解决可满足性的Tableau算法，在当前国外的推理机研究中发挥了重要的作用。但Tableau算法复杂性和低效率制约了其实际的应用。鉴于国内推理机研究的贫乏和当前推理机效率不高，本文将设计实现一个基于Tableau算法的推理机原型系统，作为算法优化和相关研究的起点；同时，本文将研究算法内部机制，结合并行计算研究，进行对Tableau算法基础上的推理机分布化的探索。

【文章页数】：68 页

【学位级别】：硕士

【部分图文】：

图2一1描述逻辑到谓词逻辑的转换描述逻辑是一阶谓词逻辑的一个可判断的子集，使用描述逻辑代替一阶谓词逻辑的原因是若直接使用一阶逻辑，而不附加任何约束，则:

转换结果就超过一阶谓词。由于描述逻辑变元自由的语法和概念表示个体集的事实，因而概念转换为带有一个自由变元的公式「Borgida，1996]。把概念看作一元谓词符号，关系看作二元谓词符号，于是得到如图2一1所示从描述逻辑到谓词逻辑的转换:描描述逻辑构造器器描述逻辑项项转换为的谓....

图3一1根据内存分布和存储方式分类从物理划分上共享内存和分布式内存是两种基本的并行计算机存储方

从物理划分上共享内存和分布式内存是两种基本的并行计算机存储方式，除此之外分布式共享内存也是一种越来越重要的并行计算机存储方式，如图3一1。根据内存分布和存储方式的不同M工MD计算机又可分为以下几种类型。1)共享存储MIMD，也称为对称多处理机(SMP)

图3一2并行算法设计、并行计算模型、并行机三者关系

并行计算模型是指将各种并行机(至少某一类并行机)的基本特征抽取出来，形成一个处于具体并行机之上的抽象并行计算机。并行计算模型与并行算法设计、并行计算机之间的关系如图3一2:并并行算法设计计并并行计弃棋型型并并行机机图3一2并行算法设计、并行....

图3一3抽象映射

图3一3抽象映射一个物理问题并行求解的最终目的是将该问题映射到并行机上。这一物理上的映射是通过不同层次上的抽象映射来实现，如图3一3。忽略并行机的非本质的细节特征可以得到该并行机的并行计算模型。在这一模型上可以设计各种适合该模型的并行算法。并行程序设计需要将问题的并行求解算法转化....

本文编号：4036167