1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 描述逻辑中基于边界的模块提取方法.pdf

论文研究 描述逻辑中基于边界的模块提取方法.pdf

上传者: 2020-07-20 10:04:16上传 .PDF文件 461KB 热度 8次
模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础,并证明了其模块的正确性。在评估实验中,通过与最优模块和符号模块进行比较,基于边界的模块和最优模块大小很接近,非常适合对推理进行优化。
用户评论