基于语言真值格蕴涵代数的广义模态逻辑及其归结自动推理研究

来源 :辽宁师范大学 | 被引量 : 0次 | 上传用户:yy692451568
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
人工智能技术的快速提高离不开逻辑学的发展,针对不同的问题,构建了不同形式的逻辑系统。由于事物的不断变化,命题的真值依赖于时间、空间等影响因素,而模态逻辑是处理这一问题的有力工具。真值域取在格蕴涵代数上的格值模态逻辑不仅可以处理全序性信息,也可以处理非全序性信息。在日常生活中,人们通常使用自然语言来表达信息。为了将格值模态逻辑更好地应用于实际中,本文提出以六元语言真值格蕴涵代数为真值域的六元语言真值模态命题逻辑系统和六元语言真值模态一阶逻辑系统,研究其语义理论和语法结构,并探讨其归结原理。主要研究内容如下:1.基于六元语言真值格蕴涵代数和格值模态命题逻辑系统,提出六元语言真值模态命题逻辑系统的语义表示,定义一个将六元语言真值模态命题逻辑公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质。研究基于滤子J的J-强互补文字、J-一般互补文字、J-弱互补文字,提出基于滤子J的强归结式、一般归结式、弱归结式。探究该系统的J-归结原理,讨论J-归结原理的可靠性和完备性,并提出J-归结方法。研究基于α的α-强互补文字、α-一般互补文字、α-弱互补文字,提出基于α的强归结式、一般归结式、弱归结式。讨论该系统的α-归结原理,证明α-归结原理的可靠性和完备性,并提出α-归结方法。以两个实例说明J-归结方法和α-归结方法的有效性。通过对归结域的分析,总结J-归结与α-归结之间的关系。2.在六元语言真值模态命题逻辑系统中引进谓词和量词,建立六元语言真值模态一阶逻辑系统,定义一个将六元语言真值模态一阶逻辑公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质。通过定义六元语言真值模态一阶公式的模态度,给出将六元语言真值模态一阶逻辑公式转换为广义Skolem标准型的方法,并分析该系统的α-归结原理。为建立基于语言真值模态逻辑系统的归结方法提供新的理论准备。
其他文献
近年来,关于拉普拉斯方程以及方程组的多重正解、基态解、符号变化解的研究成果逐渐增多.此外,包含拉普拉斯算子的耦合薛定谔方程组也逐渐出现在物理学的分支中,比较常见的是用其描述非线性薛定谔场与阿贝尔规范理论中的电磁场问题.因此,薛定谔方程组正基态解的存在性问题被广泛研究,尤其是临界非线性增长的薛定谔方程组的基态解问题.但是经典的Brezis和Nirenberg的方法似乎并不能适用于所有情况,所以此类问
学位
滚动轴承作为旋转机械传动系统的关键支撑部件,为风力发电机的承载与动力传递提供了坚强的保障。然而,由于风力发电机通常在恶劣环境下长时间连续运行,滚动轴承不可避免地会出现点蚀、磨损等局部故障,从而导致整个系统崩溃甚至人员伤亡。研究发现,当滚动轴承发生局部损伤时,将产生在时域表现为周期性瞬态脉冲的故障特征。然而,传感器采集的数据容易受到环境噪声和电磁干扰的污染,这使得很难从原始数据中直接识别出轴承故障特
学位
乘法器电路在数字电路系统中占有重要的地位,但随着乘法器电路的结构越来越复杂,给乘法器电路的验证带来了新的挑战。如果不及时找到其中存在的错误,将导致严重的后果。因此,乘法器电路的验证在现代电路设计中成为至关重要的一环,而模拟仿真和形式化验证方法是验证乘法器电路的两种主要方法。模拟仿真是通过使用数学模型对电子电路的真实行为进行模拟的工程方法,但模拟仿真一直存在较多根本性问题无法有效解决。为解决此类问题
学位
当前,我国老龄化问题日益严峻,老年人的健康问题已成为社会关注的重点。而意外跌倒是影响老年人健康的一个重要原因,正确快速地检测老人的跌倒行为能够极大提升救治的成功率。本文针对室内环境下的跌倒事件,提出了基于多视角深度信息融合的室内跌倒检测算法研究,本文采用深度图像,克服传统RGB图像在夜晚不能够检测的问题,同时采用多个视角检测,以解决单一视角下的误检问题。本文的主要工作如下:(1)针对深度图从深度相
学位
车场日是陆军部队中一项经常性的车辆技术状况管理制度。在组织实施过程中,主要任务为车辆保养维护、车辆知识学习等。当前存在主要问题有:方法不当、完成质量不高、人员重视程度不够。为顺应军队智能化建设,及时检查制度完成情况和时效性,提高组织效率,引入车场日巡检机器人进行研究。其主要功能为:全车场自动巡检、检查清点战车、监督作业战士纠正违规操作、指导帮扶信息传达、区域物资运输及呼叫响应。要求机器人行进安全高
学位
在水泥生产过程中,水泥熟料游离钙(free calcium oxide,f-CaO)含量的高低是衡量水泥质量的一项重要指标。它的含量由人工采用离线化学检验法进行测定,导致水泥熟料f-CaO样本存在数据量小,多时间尺度,滞后性等问题。因此,本文采用软测量的方法结合数据增强的思路,提出基于生成对抗网络实现对水泥熟料f-CaO含量数据增强与软测量的方法。研究内容如下:(1)针对水泥工业数据存在的时序性、
学位
带钢轧机是冶金工业的重要设备,在生产运行过程中易于发生异常振动现象。异常振动的产生往往会导致机械设备零部件的损伤,甚至停工停产影响生产效益。因此找到一种切实可行的轧机异常振动诊断方法显得尤为重要。本文针对带钢轧机机组异常振动的振动程度、振动类型诊断分类问题,提出了三种新的基于信息融合智能诊断监测方法,从决策层进行融合诊断,并在轧机实验平台设计实验,采集轧机机架不同位置振动信号进行诊断监测,验证了所
学位
现代机械设备的结构日益复杂,其内部零件的精密度也越来越高,为保障机械设备的平稳安全运行,机械的健康状态监测就显得尤为重要,基于振动信号分析的故障诊断研究因此受到极大关注。传统轴承故障诊断方法需要训练与测试数据收集自同一机械或轴承,在应对变工况或跨机械诊断任务时,网络的识别准确率将大幅下降。本文主要研究了两种基于深度学习的滚动轴承故障诊断方法用于变工况或跨机械条件下的故障诊断。针对收集目标域所有故障
学位
量子博弈论是将量子信息论应用于博弈论的一门交叉学科。翻硬币博弈作为一个经典基本模型一直备受关注,是博弈论研究最前沿的热点领域之一。目前多数学者都是在封闭系统下对模型进行研究,而现实世界是一个开放系统,其演化过程必受外部环境影响,而外部环境如何影响翻硬币模型的均衡策略选择问题是亟待解决的一个重要问题。基于此,本文针对量子系统与外部环境耦合导致的退相干现象,利用量子博弈相关理论,分别建立了开放环境下不
学位
近年来,害虫的种类逐年增多并且规模呈现出扩大趋势,给农业生产带来了许多负面影响.考虑到害虫种群具有群体防御行为,采用化学控制和生物控制,本文建立具有群体防御行为的害虫综合治理Filippov模型,并系统地研究其动力学复杂性.第一章介绍了本文研究所需的基础知识.第二章把害虫种群密度作为害虫综合治理的控制指标,采用线性率释放天敌,建立一类具有群体防御行为的害虫综合治理Filippov模型.首先,给出F
学位