格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法

在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性.     

二型模糊集下的推理模型及Mamdani推理算法

在二型模糊集理论的基础上,讨论了二型模糊集下的三种模糊推理模型,研究了模糊推理模型的Mamdani推理算法,证明了Mamdani推理算法具有单调性质.     

一种算子命题逻辑系统及其T-不变量推理算法

定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。     

格值一阶逻辑系统LF(X)中的广义量词

给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。     

经典命题逻辑中的近似推理与强近似推理

基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。     

基于证据推理的动态联盟伙伴选择优化模型

讨论了定性和定量相结合选择动态联盟伙伴的问题，针对权系数信息不完全和指标值不确定提出了一种基于证据推理的优化模型。该模型首先通过证据推理算法将方案的指标值集结，然后将效用值集结，结合不完全信息的权系数建立非线性规划模型，设计了遗传算法来求解，从而选出最满意的伙伴。最后以实例表明该模型的有效性。     

加权抽取模糊推理中的评判方法

在真值流推理和加权模糊推理过程中,必然要遇到评判揄结论是否被证实的问题,本文针对多角度反映规则结论的情况提出了一种实用评判算法。     

内P-推理与系统故障判断恢复

P-集合(packet set)是由内P-集合XF(internal packet set)与外P-集合XF(outer packet set)构成的集合对(XF,XF),利用P-集合得到P-推理(packet reasoning),P-推理是由内P-推理(internal packet reasoning)与外P-推理(outer packet reasoning)共同构成的.P-推理是一个动态推理,具有智能特征;把内P-推理应用于系统故障判断-恢复中,给出了内P-故障信息判定定理、最小粒度定理、粒度链定理、属性补充-信息删除定理、系统故障元判定定理,内P-推理信息辨识定理及推论,同时给出了系统故障内P-推理算法与它的N-S图,最后给出应用实例.     

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。     

一种基于证据推理的信息不完全的多准则决策方法

针对权系数信息不完全、准则值不确定且不完全的多准则决策问题,提出了一种基于证据推理的方法.该方法通过证据推理算法构造方案的目标函数,结合不完全信息的权系数建立非线性规划模型,使用遗传算法求解模型得到效用值的区间数,从而得到整个方案集的排序.最后以实例表明该方法的有效性和可行性.     

教好数学的一个重要视角——理解推理论证能力

1 引言 关于推理论证能力要求的问题,在历次数学课程改革中,都得到改革者的格外关注,正在进行中的新课程改革也不例外.如义务教育阶段数学新课程"在现行教学大纲基础上加强了对合情推理的要求"[1],高中数学新课程则把推理论证能力确定为一项基本能力.[2]推理论证,尤其是数学证明,在数学课程中能够引起如此关注,和它在数学中的地位分不开.     

浅谈合情推理的教学

论述了合情推理与逻辑推理的关系、在高等数学教学中渗透合情推理的意义 ,并结合教学实践就通过合情推理引入数学理论 ,探求问题结论 ,探索解题方法作了初步探讨     

基于数学推理能力的问题链设计与思考——以“二次函数”的章节复习为例

初中阶段,在图形与几何领域和数与代数领域都有推理或证明的内容,旨在引导学生在逻辑论证的过程中逐渐形成推理能力.推理包含几何推理与代数推理,是数学研究的重要方法.“问题链”是复习课提问的一种形式,在设置问题链时要把握整体,进行有层次性的探究,帮助学生形成系统的知识结构,提升学生的能力素养.基于数学推理能力设计问题链,能够加深学生对数学本质的理解,促使学生深度学习,提升数学思维能力和认知水平.本文以“二次函数”的章节复习为例,阐述基于数学推理能力的问题链的设计与思考.     

问卷设计知识管理中的范例推理

将范例推理技术应用于问卷设计知识重用过程中,提出了基于范例推理的问卷设计知识重用系统的应用框架,研究了问卷设计CBR系统中的一些关键技术:范例的表示、范例组织、范例检索算法、范例修正优化和重用、范例学习等.范例检索采用KNN法与遗传禁忌算法相结合的混合检索机制,通过建立GA适应度函数模型以及选择、禁忌交叉、禁忌变异算子等自动确定权重.我们组织和建立了初步的范例知识库,进行了相关实验.结果表明,融合遗传算法的范例检索方法可较大程度上缩短设计时间、提高问卷设计效率和质量,并有效地支持问卷设计的知识重用和知识管理创新.     

推理闭包空间之间的连续映射及商映射

对推理闭包空间之间的关系进行了研究。结合拓扑学的思想和方法,在推理闭包空间之间引入了连续映射和商映射的概念,讨论了连续映射和商映射的基本性质以及它们之间的关系。为建立推理闭包空间范畴作了必要的准备工作。     

浅谈合情推理的教学

论述了合情推理与逻辑推理的关系，在高等数学教学中渗透合情推理的意义，并结合教学实践就通过合情推理引入数学理论，探求问题结论，探索解题方法作了初步探讨。     

论大学数学教学中的合情推理

本文讨论合情推理的含义及其与论证推理的关系 ,和它在大学数学教学中的意义 .     

核心素养导向下初中数学代数推理能力培养探析

推理是数学核心素养之一,是数学基本的思维方式.初中阶段的推理按类型分为几何推理和代数推理.很多初中数学教师注重几何推理,而忽视代数推理,从而导致在教学过程中缺少对学生代数推理能力的培养.为后面更长远的学习带来阻碍,也无法提升学生的数学核心素养.本文从代数推理的现状、推理之间的关系及代数推理能力的培养策略三部分进行探析.     

模糊逻辑系统中广义有效推理的真度递减定理

在模糊逻辑系统中提出了广义有效推理;根据积分真度的性质,证明了广义有效推理的积分真度递减定理,从而在模糊逻辑系统中实现了根据推理前提的真度计算推理结论的真度;最后,把真度递减定理与利用斐波那契数列对推理结论真度的推算结果进行了对比,说明了真度递减定理的优越性.     

逻辑系统G3中随机真度的推理规则及近似推理

在三值Godel命题逻辑系统中,推出了公式随机真度的推理规则,证明了随机逻辑度量空间中逻辑运算的连续性;研究了随机逻辑度量空间理论的发散度,提出了三种不同类型的近似推理模式,并证明了三种推理模式的等价性.这将进一步完善三值Gōdel逻辑系统中随机真度和随机逻辑度量空间的理论.