一种新型的三I算法及其逻辑基础

在Fuzzy推理中提出了“过半可信”原则，并证明了R0-型三角模恰为可实现这一原则的三角模．在此基础上，将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分，提出了一种新型的三I算法(Triple I)^*．研究了逻辑系统ょ^*中的形式化推理机制，基于根的理论为新型三I算法奠定了严格的逻辑基础．     

基于BAM模糊逻辑系统的性能分析

从模糊逻辑系统与神经网络的对比分析中，论证了两个系统的等价性，并从BAM网络与Zedeh合成推理逻辑系统等价性的讨论中，给出了模糊逻辑系统的一 些概论和相应的结论，这对模糊逻辑系统的进一步理解是有益的。     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

艾维·李与现代公共关系

本文引用史料否定了现行公共关系学教材中关于现代公共关系诞生标志的两个根据，即艾维·李创办了世界第一家“宣传顾问事务所”和艾维·李是第一位提供公共关系职业服务人。提出了艾维·李发表的《共同原则宣言》标志现代公共关系诞生的新观点，并对“宣言”在公关史上的成就以及他在公共关系实践中的实绩作了较全面的评介，进一步肯定了艾维·李在现代公共关系史上的地位。     

浅析高中生数学合情推理能力的培养

现行的《普通高中数学课程标准》在保留了传统的数学课程对于演绎推理的重视的基础上，提出了“发展学生的合情推理能力”，把合情推理首次明确写入了数学课程的培养目标中，但实际教学中并没有很好地体现出合情推理的应有的地位和作用，教师缺乏在谊方面的教学模式与教学方法的指导。文章概括与提炼了在高中数学教学中开展合情推理教学的若干途径与方法：从“教师的教育观念，学生的学习方式”入手，探索与尝试有利于合情推理能力培养的课堂教学模式与方法；从“新课程的教材内容”入手，运用教学方法论的方法，挖掘和寻找有利于合情推理能力提高的生长点；从平时的“数学解题研完”入手，在教学解题过程中培养合情推理能力。从“学生成长的阶段性与各类学生的差异性层次性”入手，做好高中学生合情推理能力的阶段性与层次性的培养。     

量化plausibility测度在默认推理系统中的推理能力

作者讨论了量化plausibility测度在默认推理逻辑系统 （P系统）中的推理能力, 给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件.     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

次协调逻辑下的自动推理

引进了一套次协调逻辑系统－注解逻辑的线性归结方法后,在探讨的过程中提出了若干命题,并用一个推理实例表明在该系统中产生次调性后,仍然可以进行正常的推理。     

以“人的发展为中心”的“新发展观”——从哲学层面漫谈弗朗索瓦·佩鲁的《新发展观》

本文通过对卡尔·马克思哲学与佩鲁的《新发展观》的比较研究,从七个方面漫谈了佩鲁的《新发展观》基本思想,并着重从哲学层面分析了佩鲁的以人的“自由个性”和“丰富潜能”为中心的“新发展观”,最后提出了笔者十多年来所创意的以“人的自由全面发展”为轴心的“信息·生态·人道新文明观”。     

AFS模糊逻辑系统及其在模糊信息处理上的应用

为了应用AFS代数和AFS结构处理模糊信息,给出了AFS代数的逻辑非运算“′”,进而使AFS代数成为一个新的逻辑系统AFS模糊逻辑系统·它不是用T模,S模和非算子定义的,而是从问题的原始数据(数据库)用统一的算法建立起来的·它不但与人类思维逻辑相似而且便于计算机把数据库中的大量信息转化为人们能够理解和处理的模糊集     

确知模态命题逻辑

本文对“确知”逻辑进行了形式化,给出了“确知”逻辑的语义;构造了正则“确知”逻辑系统,并证明了正则“确知”逻辑系统的可靠性.     

一种新型的三Ⅰ算法及其逻辑基础

在Fuzzy推理中提出了"过半可信"原则,并证明了R0-型三角模恰为可实现这一原则的三角模.在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三Ⅰ算法(Triple Ⅰ)*.研究了逻辑系统（l） *中的形式化推理机制,基于根的理论为新型三Ⅰ算法奠定了严格的逻辑基础.     

法律推理中的辩证推理与实践推理刍议

共识认为，在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较，以期找到在中国法律制度下的法律推理的理论模式。     

圆柱型正交各向异性圆板的后屈曲分析

选取与正交各向异性参数ｋ￣２有关的简单多项式作为挠度试函数，基于Ｖｏｎ－Ｋáｍá型大挠度方程组，采用Ｇａｌｅｒｋｉｎ技术对周边转动弹性约束圆柱型正交各向异性圆板的后屈曲问题进行了分析．特例给出与各向同性圆板完全吻合的结果．计算结果表明，所选试函数具有收敛快、精度高等优点，尤其在约束较“弱”的情况下（即文中γ＿ｓ≤１．０），其结果比文献［１］用Ｌｅｇｅｎｄｒｅ多项式为试函数的结果精度高得多．     

不相融的逻辑系统

I 前年十月哈佛大学的路易斯先生在“Monist”杂志里发表了一篇讨论不相融逻辑系统的文章,引起大家的兴趣与讨论。本人去年在世界思潮里曾提出过此问题,但在那篇文章里,仅谈到知识论方面的影响,正题并未讨论。数月以来,对於此问题时想时辍,未能得圆满答案;但为时已久,仅由个人拼命的想下去,不见得有所发现。兹特就感想所及,把此问题重行提出,盼关心此问题者有以见教。 路氏文章的主旨似乎可以总结如下: a,有不相融的逻辑系统。 b对於不相融的逻辑系统,我们势必有所选择;而选择的标准事实上是“适用”(“适用”二字包括的思想很多,详见路氏…     

五值非线性序集逻辑系统中命题真度的分布

利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在［0,1］上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。     

几个三值命题逻辑系统中命题的条件真度

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。     

主方向关系合成的研究

方向关系推理是定性空间推理领域的一项重要的研究内容，得到了国内外许多学者的关注，其中，主方向关系的合成又是方向关系推理的基石。本文以Goyal和Egenhofer提出的“井”方向关系模型为基础，考虑了关系合成中的两种情况，即基于一致性的合成（Consistency-based Composition）与实体论合成（Existential Composition），给出了一种基于一致性的关系合成的新方法，同时从理论上证明了该方法的正确性。     

范例推理中范例自动获取的数据挖掘技术

范例推理作为基于规则推理技术的一个重要补充，已受到人工智能研究 人员的普遍关注，在范例推理中，也有许多相应的知识，它主要包括：范例库、修正知识库，索引模式，相似性判断标准等，这些知识的获取也存在一定的瓶颈问题，通过在范例推理中引入数据挖掘技术，可望部分解决其知识获取的自动化问题，提高智能系统的整体性能，本文着重讨论了在范例推理中使用数据挖掘技术的必要性，提出了二上自动获取范例库的思想与算法，并应用于一个实际的系统之中，实际结果表明，这种思路大大提高了智能系统的开发周期与系统的运行效率。     

一种S-蕴涵模糊逻辑系统的真度理论

利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.