互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

习近平青年观的生成逻辑、内在逻辑与价值逻辑

党的十八大以来,习近平针对青年工作提出许多重要论断,深刻解答了"新时代培养什么样的青年,怎样培养青年"这一重大命题.习近平青年观以青年工作的历史逻辑、理论逻辑、实践逻辑为基本遵循,表现出具有唯物辩证规律的内在逻辑,在指导新时代青年工作的过程中彰显时代价值,实现了生成逻辑、内在逻辑与价值逻辑的辩证统一.     

模糊逻辑组合的灰度模型

首先对复合模糊命题的几种真值计算方法作了介绍，分析各种方法的优缺点，接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题，提出模糊逻辑的灰度概念，给出一个处理逻辑组合的灰度模型。它能将具有不同灰度的模糊逻辑统一起来．     

Exclusive-nor sum-of-sum逻辑及其最小化研究

对DRM(dual Reed-Muller)逻辑的非标准形表示形式和之同或和(exclusive-nor sum-of-sum,ENSOS)进行研究,并给出一种启发式的ENSOS逻辑最小化算法。该算法采用立方体覆盖表示ENSOS,对立方体迭代应用XNOR连接运算实现ENSOS逻辑的化简。为在算法结果质量与算法效率之间进行折中,该算法在进行立方体的XNOR连接时采用前瞻和回溯策略。使用基准函数进行验证的实验结果表明,所提出的算法能够获得更为精简的逻辑表达式。     

从命题的分析看两种不同的逻辑观

对命题的不同分析是两种逻辑的真正区别所在,这特别表现在对直言命题(主谓项结合的本质、全称与特称命题的逻辑结构,单称命题的地位)和关系命题的不同理解和把握上。     

基于Markov逻辑网的句子压缩方法

提出了一种基于Markov逻辑网通过删除单词进行英文句子压缩的方法。通过一阶逻辑公式表示单词的局部特征以及单词之间的相互依赖关系,确定单词是否应该删除。与现有方法相比,该方法把判别式学习和整数规划的优点相结合,既融合了丰富的句子特征,又以逻辑公式方便地表示全局约束。在书面和口语两个新闻数据集上的实验结果表明:该方法与L3和SVTL系统相比具有明显优势,在压缩率接近时,以人工压缩结果为评测标准,压缩后句子的依存关系F-score有较大提高。     

基于时间区间关系的时态模糊描述逻辑研究

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.     

复句内部分句间关系的本质属性与逻辑意义

对复句内部分句间关系的认识和理解,传统汉语语法理论注重从结构层次、语义特征等方面进行分析,忽视了对分句间关系的本质属性和逻辑意义的认识。其实,复句作为一种语言形态,是思维活动的载体,也是思维活动的物质表现形式,同样受到全人类共同的思维规律和逻辑方法的制约;只有在结构、语义层面的认识基础上,进一步从复句内部分句间诸关系中确定本质属性的关系,正确理解关联词语的逻辑意义,才能真正认识和掌握复句内部分句间多元关系中的内在联系。     

快速图像逻辑运算VC^＋＋算法

论述了图像的二值化及逻辑运算在数字图像处理中的重要作用，详细分析了二值化的改进算法及图像的六种逻辑运算的算法，提出的一种改进的图像逻辑运算算法，可以提高逻辑运算中二值化的速度，该算法有较高的实用价值。     

分布式计算系统中逻辑时钟的研究

主要论述了逻辑时钟在调试分布式系统领域的应用。首先讨论了逻辑时钟方法及逻辑时钟的修改算法 ,然后介绍了自行研制的分布式 S4系统中逻辑时钟监控器模块的实现方法。     

一个离散自相似逻辑序列与分维问题

提出一个离散自相似逻辑序列与分维关系的问题，并证实该逻辑序列与文［１］介绍的一种符号动力学作为Ｌｏｇｉｓｔｉｃ映射结果的一致性。同时给出具体维数。     

工程图投影域逻辑关联关系模型研究

以投影视图模型理论为基础,通过对矢量工程图图元信息的智能化处理,依据各投影视图蕴涵的内在关联机理及工程图表达产品设计信息的规律,提出了投影域的概念并对其进行技术获取。根据工程图的投影规律和表达规则,研究了投影域间的逻辑关联关系。以投影域之间的逻辑关联关系为基础,给出了逻辑关系的判别算子,并研究了投影域逻辑关系获取算法。通过对投影域关联关系的获取,以投影域逻辑关联关系模型为基础,达到对工程图的检索评价。     

刑事侦查与逻辑推理

刑事查离不开逻辑推理。侦理人员在掌握案件事实材料的基础上，运用逻辑推理，可以对案件的性质、犯罪人作案的手段、动机、时间和地点等进行推测和断定，有助于侦破工作的展开。     

角色论——责任伦理的逻辑起点

角色是个体的社会面具,角色是个体在特定社会关系中的坐标点,也是社会关系网的结点;责任依附于角色,角色永远与责任联系在一起,对角色的认同也就是对责任的认同;责任伦理以责任为研究对象,角色是责任伦理中最小的最基本的最简单的最抽象的范畴,并贯穿于责任伦理研究的始终,因而,角色可以充当责任伦理的逻辑起点。     

几个逻辑推理带来的启示

通过4个逻辑推理的例子来说明做理论研究应该采用的思维方法。     

复平面C（[0,1]）上的逻辑代数及其度量

在复平面C（[0,1]）上建立了四种逻辑代数,讨论了其性质,并且定义了C（[0,1]）上的逻辑度量,得到了四种逻辑度量空间,最后证明了在复平面上存在一个线性序拓扑。