一阶逻辑定理证明器中的无效子句删除策略

在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器CSE1.5(Contradiction Separation Extension 1.5)中,以2019—2022的CADE(Conference on Automated DEduction)自动定理证明(ATP)系统竞赛中一阶逻辑问题组为测试对象。在300 s内,应用所提算法的CSE1.5_IC比原始CSE1.5总共多证明了27个问题。在两个版本证明器共同证明的所有FNE(FOF theorems without Equality)测试例中,CSE1.5_IC比CSE1.5平均每个问题多约简了28个子句,平均求解时间减少了7.07 s。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。

商品与“纯有”:马克思对黑格尔辩证法的本质改造

“纯有”是黑格尔逻辑学的开端,从抽象的“纯存在”过渡到具体的“定在”是黑格尔哲学体系的逻辑运演过程。从抽象上升到具体的方法共同构筑了结构相似的黑格尔哲学体系与《资本论》,“纯有”作为概念辩证法的起点是思辨抽象的结果,最终又回归抽象概念。而商品作为《资本论》的起点具有一般的抽象规定性,它是以现代社会为基础的科学抽象,实现了逻辑与历史的统一。以商品为《资本论》的起点超越了作为黑格尔哲学体系开端的“纯有”,在本质上改造了黑格尔辩证法。

心理主义的问题与理论哲学的观念——胡塞尔《逻辑研究》第1卷的主题思想

胡塞尔在《逻辑研究》第1卷"纯粹逻辑性导引"中完成了两项重要的准备工作:第一项工作是对具有观念对象和观念真理特征的意义构形(Sinngestalt)本身进行了纯粹的把握,即提出了现象学意义上的纯粹逻辑学观念;第二项工作在于,对所有经验主义或心理主义将思维行为的心理学内涵与逻辑概念和公理混为一谈的做法进行了斗争。通过再构胡塞尔在《逻辑研究》第1卷中所阐述的这两个思想,可以重现百年来时代精神的变化,并且重提理论理性的地位问题。

胡塞尔遗著《经验与判断——逻辑谱系学研究》(1939年)的形成始末与基本意涵

胡塞尔的《经验与判断——逻辑谱系学研究》(1939年)是他生前审定并计划出版的最后一部著作,也是他身后出版的第一部著作。它在胡塞尔的生命与思想道路上占有重要地位,一方面是因为它的产生的曲折过程是与作者胡塞尔和编者兰德格雷贝的个人命运联系在一起的,另一方面也是因为它的内容和形式都展现了一座连接胡塞尔生前公开发表的著作与身后出版的遗稿之间的桥梁,而且从这个角度看,胡塞尔的现象学著作的发表是以《逻辑研究》开幕、以"新《逻辑研究》"闭幕的。

胡塞尔对表述与含义的观念分析

胡塞尔在《逻辑研究》第一卷提出了构建纯粹逻辑学理想的三个层次:确定范畴、找出规律、建立理论,《逻辑研究》第二卷的"第一研究"就是对第一层次的解答。以是否具有含义,胡塞尔将符号区分为表述与指号,并指出指号的作用在于指示,而表述不仅能指示,还能意指,它们之间存在着交织。他对表述作了三重区分,并指出,无论是主观的表述还是客观的表述,对它们理解的偏差实际上不是含义的偏差而是意指的偏差。要构建纯粹逻辑学的理想,还是要回到含义统一的观念分析上来。

从形而上学到现象学:哲学为科学奠基

哲学为科学奠基是西方哲学的一个传统。自古希腊哲学以来,传统意义上的形而上学一直起着为科学奠基的作用。但是,随着本体论向认识论的转向,各门具体科学从形而上学的母体中脱离出来而导致哲学虚无化,心理主义逐渐成为各门具体科学的基础。反心理主义和心理主义的斗争在认识论领域内几乎始终相伴而行,康德就站在反心理主义的立场,试图重建形而上学。但是康德对心理主义的批判是不彻底的,心理主义发展的势头非但没有减弱,反而在近代达到了空前的繁荣。对心理主义批判的工作由胡塞尔完成,他论证逻辑学的基础不是心理主义,致力于构建一门纯粹逻辑学,重构了哲学对科学的奠基作用。

基于模糊逻辑的纯电动公交车动力电池工作状态评价

为解决纯电动公交车动力电池工作状态易受到诸多因素影响的问题,利用模糊逻辑算法,进行纯电动公交车动力电池工作状态评价。根据动力电池工作状态变化原因的多样性和模糊性,选取动力电池总电压、动力电池温度和绝缘阻值为评价参数,建立对应的隶属度函数和模糊评判矩阵,并建立模糊数学评判模型,将评判模型获得的动力电池工作状态与研究对象的实际工作状态相对比,结果表明所得结果与实际相符合。由此证明所构建的评判模型可以实现对纯电动公交车电池的故障预判,从而提高纯电动公交车运行的安全性,保证公交运营系统的正常工作。

基于ADVISOR的纯电动汽车复合电源系统

以动力电池和超级电容组成的复合电源系统为研究对象,在合理匹配复合电源系统各参数的基础上,建立基于逻辑门限和模糊控制的复合电源系统功率分配策略.利用汽车仿真软件ADVISOR2002并对其二次开发,搭建采用复合电源系统的纯电动汽车模型,结合典型的NEDC道路循环工况分别对此两种功率分配控制策略进行仿真对比分析.结果表明,基于模糊控制策略的复合电源系统可以更好地分配动力电池和超级电容之间的功率,复合电源系统性能明显提升.

人类语言的精神导航:汉语视角——论洪堡特语言思想的时间轴和空间轴

洪堡特普通语言学思想在空间轴上尊重和肯定人类各民族语言作为各自民族的精神观念形式,但在时间轴上认为不同的民族语言共同处在一个线性发展序列的不同发展阶段上,具有丰富的纯形式的欧洲语言处在这个序列的最前端。一方面,只有形式化、精确化的语言体制,才能促进思维和观念的发展;另一方面,人类语言的多样性决定了思维逻辑的多样性。从汉语的视角审视人类不同的语言依不同的路径对精神的导航作用;其中,汉语的类比逻辑体现了以神统形、以意摄象、完整动态、时空全息的认知功能。

关于纯粹文化对象的逻辑确证

文化定义作为研究对象的确定手段是文化研究的首要问题,但一直没有得到普遍接受的合理解决,其症结在于认识上的经验主义方法的逻辑局限性。对此,理性主义的替代策略为,直接以具有普遍认识效力的逻辑分析方法寻找文化对象,而这一工作可以分解为两个步骤:一般地抽象推定普遍文化的存在和具体地分析推导普遍文化存在的内涵。后者为描述确证,前者即所谓逻辑确证。

论胡塞尔对逻辑学的三重分层及其意义

胡塞尔认为,传统的形式逻辑可以分成三个层次,即判断的纯粹形式学、一致性逻辑(无矛盾逻辑)和真理逻辑。这三个层次并不是相互并列的,而是具有一个等级结构。判断的纯粹形式学是最低层次的,而真理逻辑则是最高层次的。胡塞尔划分逻辑学的三个层次目的是为了指明,形式逻辑只是确立了可能真理的形式规律,而未涉及认识的内容或判断的材料,因而无法排除内容上无意义的判断或质料的悖谬问题。在他看来,一门真正的真理逻辑必须对意识的意向性问题展开研究,因为逻辑的构成物实际上是范畴作用的结果,是先验主观性的产物。离开了认识的主观条件,仅凭逻辑的形式条件,我们无法获得真理性的认识。

逻辑函数的四种表示法

本文介绍了逻辑函数的四种表示方法,其中重点介绍了两种逻辑图及其联系与区别。

发生率计算理论的研究

在不确定性推理算法中,纯数值机制是一种计算简单快捷,并在许多实际应用方面已取得重大成就的方法,但这也掩盖不了其自身的一些缺陷。本文首先对纯数值机制的优缺点进行分析,然后针对其不足之处,引入了发生率计算。发生率计算是有关不确定性知识的一个自动推理机制。在文中,我们介绍发生率计算的一些基本知识,重点研究它在命题逻辑、三值逻辑上的假言推理。

复合电源电动拖拉机能量管理策略研究

针对电动拖拉机作业工况复杂,而基于优化的能量管理控制策略存在对工况依赖性强、控制滞后、不适合拖拉机作业实时控制的问题,制定3种典型的基于规则的能量管理策略,通过Amesim和Matlab/Simulink联合仿真。结果表明:在道路运输工况下,逻辑门限的控制策略的蓄电池输出电流比较平缓,内阻消耗最低,相对于单电源电动拖拉机,内阻消耗降低8.92%;在犁耕工况下,基于模糊的控制策略的蓄电池输出电流相对保持在较小的区间,而且内阻消耗也最低,相对于单电源电动拖拉机降低3.77%。研究表明,增强电动拖拉机能量管理策略的鲁棒性,才能有效地提高其经济性。

沈有鼎的“纯逻辑演算”思想源流——纪念沈有鼎先生逝世30周年

在概述沈有鼎先生的《个体与真值的演算》与《“纯逻辑演算”中不依赖量词的部分》两篇论文的主要内容和思想的基础上,找到沈有鼎不带量词的“纯逻辑演算”的直接思想来源;确立张清宇在20世纪90年代为经典逻辑提出的“括号记法”的直接思想来源;沿着这一传统为经典命题逻辑建立一个三元联结词“条件析取”的后承演算。

逻辑系统的代数状态空间方法的基础、现状及其应用

逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景.

电容充电过程功率因数校正技术仿真

由于初始端电压低且目标电压建立过程长,电容充电过程的功率因数校正的研究、设计及其控制参数的选定存在其特有的难点。基于PSIM电路仿真软件,搭建单管反激电路及数字逻辑控制电路的仿真模型,根据所建立的仿真模型,完成了对纯容性负载充电过程的功率因数校正仿真。在电流断续控制模式中进行变频峰值电流断续和定频峰值电流断续的电路仿真对比,对数字逻辑控制电路进行改进优化,有效避免了充电初期冲击电流过大的问题;进行了不同充电频率下的电感电流波形仿真对比,得出了充电效率与功率因数的最优控制。采用定频峰值电流断续的控制策略,有效控制了电容充电过程的电流即恒电流充电,仿真结果取得了良好的功率因数。

康德的哲学困境及其消解于中国哲学的学理研究

康德作为现代西方哲学的总源头,其最高哲学原则与中国哲学有着内在相通性。但因为对于时间和空间关系认识之不足,导致其在认知理性与实践理性的关系方面,出现了难以统合的困境。时间与空间的结合模式在康德的哲学中没有达到“纯形式”的整体性,这也是现代科学研究不得不将时间视为“独立因素”的西方哲学源头。中国哲学在古老的《周易》中,已经提出了时空结合的理论形式。研究提出了中国哲学的理论形态和特点,对康德在三大批判中存在的哲学困境进行了讨论,认为康德的疑问可以在中国哲学中得到消解。研究认为东西方哲学需要作为整体才能够构建完备的哲学大厦,因此有必要获得平等的解读。

事物、世界与逻辑——从亚里士多德到布伦塔诺和胡塞尔的是论

自维也纳学派以来,逻辑就被当作思想推理的工具,它甚至反过来被当作消除形而上学的工具。然而在亚里士多德创立逻辑之初,逻辑与形而上学是不可分割的。从亚里士多德以来的形而上学史中一直都存在着世界与逻辑的关系问题。19世纪随着数理逻辑的发展以及它对黑格尔哲学的反省,新亚里士多德主义者恢复了亚里士多德式的形而上学和逻辑学研究;而作为布伦塔诺学派的后继者,胡塞尔通过建立现象学来回应世界与逻辑的关系问题,并处理了是论和逻辑学的关系。由此,重构这段思想史并刻画和分析是者与逻辑的关系问题,就对反思当代哲学中的反形而上学思想与逻辑工具主义具有重要意义。

现象学本质直观原则视角下的语言符号任意性逻辑分析

任意性是符号学的基本原则之一,表征了先验的符号能力。然而,任意性的真理并没有被充分地认识。索绪尔虽然指出了任意性的重要性,但并没有充分把握任意性的逻辑本质。无论是经验主义还是心理主义都把符号及其任意性看作经验性的心理实在。胡塞尔把“直观”称为现象学“一切原则之原则”,进而明确提出“本质直观”的概念,指出它揭示了本质与认识之联系的起源,从而弥合了感性直观与先验认识的裂隙。在本质直观原则下,一切本质和真理都可以被切实地把握。毋庸置疑,作为特殊的哲学方法,本质直观可以从逻辑上充分论证任意性的真理本质。更重要的是,通过对任意性的哲学反思,本质直观的符号学价值将更加深刻地显现。