【摘 要】
：
该文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法
论文部分内容阅读
该文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法进行了系统深入的研究,主要有以下两方面的研究成果:一、关于格蕴涵代数的研究;1、对格蕴涵代数的格论性质进行了研究,得到了当L为完备格蕴涵代数时,关于∨,∧,→运算的一些结果;2、对格蕴涵代数的左幂等元进行了研究,证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和;3、对格蕴涵代数的滤子的性质进行了研究,证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理;4、给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质个结构进行了研究.二、关于格值命题逻辑系统LP(X)中α-自动推理方法的研究;1、对LP(X)中不可分极简式的性质进行了研究.2、对LP(X)中不可分极简式的判定方法进行了研究.3、对LP(X)中不可分极简式的α-归结域进行了研究.4、对经典逻辑中基于归结原理的自动推理方法进行了研究.5、对格值命题逻辑系统LP(X)中基于α-归结原理的α-自动推理方法进行了研究.
其他文献
论文首先介绍本系统开发所使用的编程技术，主要为ASP系统设计技术及ASP网络编程技术。其次，较为系统地介绍整个国际海运物流的业务流程，从不同角度讲述了国际海运物流每个业务环
一般地说，飞机起落架缓冲系统的控制方式有三种：被动控制、主动控制和半主动控制。其中半主动控制介于被动控制和主动控制两者之间，具有类似主动控制的可控性，同时具有结构简单、
目的:改良肌间沟臂丛神经阻滞——两次异感法的临床效果进行观察.方法:选取时间在我院2017年1月到2018年1月期间,在臂丛神经阻滞麻醉下行肩及肩以下的上肢手术的患者 82 例.
国内外高速公路的建设经验表明,高速公路的修建可以形成高速交通走廊、带动沿线道路周边的土地开发、从而对拉动周边地区的国民经济、减少交通时间、促进两地之间交流等.然而
我国的经济发展已进入新的阶段,经济增长方式开始向集约型转变。交通运输是经济社会发展的基础产业和先导行业,是经济发展、社会进步和人民生活品质改善的重要保障条件。陕西
本论文通过分析介绍国内外自由港的发展，吸取其成功的经验，并且与南沙（龙穴岛）港区港一体化的建设相结合，从宏观上对南沙（龙穴岛）区港一体化发展规划进行了研究。在配套政策方面也进
软土具有低强度、高压缩性、低渗透性等特点，在软土地区兴建铁路、公路时，由于路堤建成后沉降延续时间长，总沉降量和不均匀沉降很大需进行软基处理。软土地基处理的方法多种多样
中国经济发展正在发生深层次嬗变,如何认识、适应和引领新常态,成为一个时代大课题,而肩负着宣扬新政策、营造新氛围、直面新问题、传播新观念的党报,同样面临着一次“大考”
目的:探讨6s管理在眼科医疗设备日常管理维护中的应用效果.方法:按6s管理法的步骤,将眼科医疗设备的定种类、定数量、定位、定期维护、检测和使用,制定管理规定,修订6s管理医
目的:探讨改良式病员服在神经外科患者中的应用效果.方法:以本院神经外科为单位,在2019年1月-2020年1月间,选取偏瘫卧床患者100例,将其依据随机数字表法分为两组,对照组50例