秦晓燕
- 作品数:14 被引量:36H指数:3
- 供职机构:山西师范大学数学与计算机科学学院更多>>
- 发文基金:国家自然科学基金四川省教育厅科学研究项目四川省科技支撑计划更多>>
- 相关领域:理学自动化与计算机技术自然科学总论更多>>
- 二值谓词逻辑中公式的向量真度被引量:3
- 2013年
- 首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层,提出每一层解释类下公式的n真度,最终给出公式向量真度的定义,更直观精确地刻画一阶公式的真实程度.接着证明向量真度的一些基本性质,指出向量真度保持谓词逻辑形式推理的MP规则、HS规则与推广规则,从而为进一步在谓词逻辑系统中开展近似推理研究提供一种可能的框架.
- 秦晓燕徐扬刘熠
- 一阶逻辑公式相对真度的计算形式被引量:1
- 2015年
- 对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。
- 秦晓燕徐扬
- 一类二值谓词逻辑中公式的准真度理论被引量:24
- 2005年
- 在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真度对全体谓词公式之集进行了分类.准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合,但可证明存在一类公式,对该类公式而言,逻辑有效性等价于准真度为1,矛盾性等价于准真度为0.所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广.
- 王国俊秦晓燕周湘南
- 关键词:真度等价谓词逻辑无穷乘积有限集
- 关于PI证明的若干注记以及逻辑公式的真度理论
- 归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型,本文给出了一种新的PI推理的定义,并且对PI归结的完备性定理证明所需要的引理给出了两种简化证明.本文提出了Godel和Kleene三值命题逻辑系...
- 秦晓燕
- 关键词:逻辑公式真度理论谓词逻辑
- 文献传递
- 分块矩阵半正定性的应用与三次幂等矩阵的研究
- 本文是在学习了矩阵的相关理论课程,如矩阵分析、矩阵不等式、矩阵理论等,并且借鉴引用一些重要结果而完成的.全文一共分为四章,各章的主要内容如下: 第一章首先介绍了一些定义,主要有Hermite矩阵、半正定矩阵、正定矩...
- 秦晓燕
- 关键词:HADAMARD积半正定矩阵幂等矩阵SCHUR补
- 文献传递
- 有限解释下一阶谓词公式的相对真度被引量:2
- 2008年
- 本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.
- 秦晓燕焦淑云
- 一阶逻辑系统的计量化研究
- 计量逻辑是研究逻辑理论程度化的一个重要研究方向。按照研究对象的不同,可以分为计量命题逻辑与计量一阶逻辑。其中关于计量命题逻辑的理论研究已有大量研究成果,而关于计量一阶逻辑的理论研究却只有凤毛麟角。 本文在一阶逻辑系统中...
- 秦晓燕
- 关键词:逻辑度量空间相似度
- 三次幂等矩阵与酉矩阵线性组合的研究被引量:1
- 2013年
- 利用代数的方法,对给定的两个非零三次幂等矩阵P1,P2和酉矩阵U1,U2,讨论了线性组合P=c1P1+c2P2保持三次幂等性系数所满足的充要条件.给出了使线性组合U=c1U1+c2U2保持酉性时系数所满足的充分条件,其中c1,c2为非零的复数.利用矩阵极分解给出酉矩阵线性组合的性质刻画.
- 任芳国王林娥秦晓燕
- 关键词:酉矩阵压缩矩阵极分解
- 剩余格的TL-滤子与TL-同余关系被引量:3
- 2012年
- 将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。
- 刘熠徐扬秦晓燕秦亚
- 关键词:剩余格
- 矩阵的保半正定性被引量:3
- 2011年
- 利用经典的半正定Hermite矩阵的等价条件,讨论了2×2分块矩阵的保半正定性问题.A为2×2半正定Hermite分块矩阵时,则对每一子块分别取迹、行列式、谱范数、秩、数值域后所成矩阵仍为半正定;当A为2×2分块矩阵时,的范数和数值域半径分别不超过的范数和数值域半径.
- 秦晓燕任芳国
- 关键词:半正定矩阵压缩矩阵谱范数