向量值一阶逻辑及其可靠性定理

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。     

离散数学与高中数学新课标中常用逻辑用语的衔接研究

作者在教材分析的基础上，通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较，研究其异同点，从而更好地指导大学离散数学的教学。     

全功能联结词集合的计算机实现

对数理逻辑中的各种联结词所构成的集合进行了讨论,并用计算机编程进行理论推导,把逻辑推理转化为计算机能够实现的0,1运算,用计算机实现了逻辑推理的全过程.得到的主要结果是:全功能联结词集合一共11个,其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合2个;没有四阶及四阶以上的全功能联结词集合.这便修正了近年来有关全功能联结词的一个错误结论.     

含等词的超表演算

将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回 溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.     

结构模型中自蕴涵方程的交互式推理解法

提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试探法的盲目的人机对话过程变为有目的，有根据的基于逻辑推理的人机对话过程。提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理网。还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次数。     

面临不一致时进行一致性推理的语意研究

讨论了一种新的逻辑,这种逻辑允许一个智能体在有不一致性存在于其信念集的情况下进行一致性推理．首先解释了这种逻辑的语意,然后给出了基于这种逻辑的一些推理规则和公理,最后用一个实例讨论了这种逻辑的应用．     

基于模糊粗糙集与模糊推理的作战指挥方式决策分析

依据指挥权限集中程度,指挥方式可分为集中指挥和分散指挥两种形式.本文探讨了基于模糊粗糙集与模糊推理的指挥方式决策分析新方法.首先,分析了作战指挥方式决策的影响因素,即指挥控制手段和情报保障程度;在此基础上,给出了基于模糊粗糙集的作战指挥方式的一种知识发现方法;然后,通过获取的模糊推理规则,运用多输入多重Mamdani模糊推理算法获得量化的指挥方式决策结论;最后,通过在MATLAB7.0模糊逻辑工具箱中构建的模糊推理仿真系统进行验证推演,给出了三种类型的指挥方式决策结论,与军事专家的经验决策相符合,该系统可纳入到作战指挥决策支持系统中.     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

全功能联结词集合的一个注记

本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合3个;没有四阶及四阶以上的全功能联结词集合.     

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论,并给出了一个计算对称逻辑函数零级核的定理,该定理表明,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。实际应用显示,应用该定理计算对称逻辑函数的零级核,在计算时间和存储容量上都优于传统的核理论。     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

Modal extension rule

Sinceautomatedtheoremprovingwasintroduced inthe1950s,ithasbeenmaturedintooneofthe mostadvancedareasofcomputerscience.Theresolu tionmethodisoneofthemostdistinguishedandmost widelyappliedmethodsintheoremproving(TP).ResolutionbasedTPtriestodeducetheemptyclause tochecktheunsatisfiabilityofclauseset.Butexten sionrulebasedTP[1]proceedsinverselytoresolution.Namely,extensionrulebasedTPcheckstheunsatis fiabilitybydeducingthesetofclausesconsistingofall themaximumterms.Therefore,itisanewtheorem provi…     

可能性理论在模糊专家系统中的应用

提出在引入可能性理论后，即可用可能性分布来表示不确定和模糊的知识，使得在智能系统中进行模糊推理时，可以得到比基于概率的方法好得多的结果．这对于提高智能系统的性能是十分有益的     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。     

联结词的完备集

本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给出了一般的证明方法.     

基于模糊自适应的汽车ABS路面辨识技术

实时有效辨识路面对防抱死制动系统(ABS)的制动安全性具有重要意义。分析了车辆制动特性,提出了 一种用轮速峰值连线求解参考车速的方法。为了有效辨别制动时的路面信息,在设计基于轮减速度和参考滑移率 的模糊智能推理算法的基础上,给出了用仿人智能思想来在线修改模糊控制参数的自适应推理算法。车的实时 (ABS)道路测试表明,模糊自适应路面辨识技术具有良好的制动平稳性和自适应性,提高了辨识路面突变的实时性, 简单实用,是一种新的有效ABS路面辨识法。     

模糊逻辑推理在电子病历智能辅助诊断系统中的应用研究

文章将模糊逻辑推理的思想应用于电子病历系统的知识表示和智能推理,在辅助诊断时,根据病人病症进行模糊推理,给出确信度,供医生参考.并用模糊逻辑推理方法在电子病历系统中进行室性早搏的实时自动检测实验,结果表明该方法能帮助医生准确思维,达到有效地降低误诊误治率和减少医疗费用的双重目的.     

基于元素干扰S-粗集知识的推理-识别

利用数理逻辑中命题逻辑的形式,给出元素干扰与关系因子的逻辑推理表示,然后给出知识系统受到外部因素干扰时,知识的逻辑推理表示,以及S-粗集的逻辑推理表示,给出知识的动态推理与识别定理,S-粗集的动态推理与识别定理。解决了元素干扰对系统进行干扰时,S-粗集知识的动态推理与识别问题。