基于子结构逻辑的不确定性语义时态查询中间件研究

发布时间：2023-02-12 16:34

　　本文对不确定性语义的时态查询问题进行研究,主要目的为解决时态查询及其演算在表达能力与计算复杂性之间的两难性平衡优化问题。在时空大数据、时空众包与云计算等应用的催化下,时态形式化演算已日益复杂,对知识表达的范畴有了极大扩充。但在知识表达能力提高的同时,演算系统的计算复杂性也产生了膨胀,甚至组合爆炸。计算复杂性与表达能力之间存在两难性选择:如降低表达能力,加快运算速度,易造成精度不足;如降低计算复杂性,则使得知识难以表达完全,造成计算与预测错误。尤其在不确定性语义、多值与模糊语义方面,急需优化配置计算能力与资源。主要方法为采用句法逻辑相对自由,语义模型由群论支撑并具高度抽象性的子结构逻辑作为形式化工具,对时态演算机制进行优化与查询中间件原型设计与实现。主要研究内容包括:1)建立基于子结构逻辑的不确定性语义演算机制,将时态属性映射为类型语义,从句法演算中剥离时间属性,简化句法逻辑;2)根据句法逻辑,提出可靠并完全于句法演算的代数语义模型,建立比句法演算更为高速有效的逻辑语义演算,加速查询运算;3)据演算系统,设计并实现了查询中间件原型,优化了不确定性语义时态查询过程与机制。通过对应理论(Co...

【文章页数】：69 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
第一章 绪论
    1.1 研究背景及意义
    1.2 国内外研究现状
    1.3 论文的研究内容
    1.4 论文的组织架构
第二章 预备知识
    2.1 查询语言与时态数据模型
    2.2 时态关系代数
        2.2.1 关系演算与形式化描述
        2.2.2 时态完备性
    2.3 逻辑方法与知识表达
    2.4 Allen方法及时态区间运算
    2.5 本章小结
第三章 时态查询中间件原型架构与建模
    3.1 中间件的时态查询语义转换
        3.1.1 时态逻辑演算
        3.1.2 并发Lambek演算系统及代数模型
    3.2 子结构逻辑系统
        3.2.1 系统的判定性
        3.2.2 计算复杂性证明
        3.2.3 查询操作与函数依赖
    3.3 中间件的时态查询句法分析
    3.4 中间件原型建模
        3.4.1 系统整体架构
        3.4.2 Valid函数及时态关系运算扩展
    3.5 本章小结
第四章 中间件原型验证与实验分析
    4.1 中间件原型查询准确率验证实验
    4.2 时态中间件查询效率对比实验
    4.3 实验结果分析及说明
    4.4 本章小结
总结与展望
参考文献
攻读学位期间发表论文
致谢



本文编号：3741440