基于六元格值命题逻辑的语言真值归结方法

根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值。基于六元格蕴涵代数,研究了能同时表示可比信息和不可比信息的六元格值逻辑系统,探讨了该系统中的性质及其滤子上的软归结方法。语言真值归结自动推理中语言真值直接参与运算,其推理结果的不确定性也是由语言值表达的。

语言真值直觉模糊逻辑的知识推理

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。

基于语言真值格值命题逻辑系统l_(νpl)的推理规则

一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。

吸收新成果 丰富和发展形式逻辑

我国形式逻辑的研究,在解放后,曾经有过一个繁荣的春天。当时讨论问题之多,争论之热烈,确是前所未有的,并且出了讨论集三大本。然而,由于受到“左”的影响,对研究思维形式的作用和意义估计不足。

基于语言真值格值一阶逻辑的不确定性推理的语法

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。

基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记

引入了语言真值格值一阶逻辑系统L_(v(n×2))F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒真的一些语义与语法特征.

基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中两种模型的不确定性推理

在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证。

一个弗协调真值道义逻辑系统

The paper constructs a paraconsistent alethic modal logic CnMG , introduces deontic operators by the definitions, and then gets paraconsistent alethic deontic logic. CnMG’ can avoid the Good Samaritan Paradox which alethic deontic logic contains. CnMG’ can also contain deontic dilemmas. The paper finally proves that CnMG is both sound and complete.

从哲学角度谈中西医之别——站在二重论立场对医学的思考

中医今天的问题与西医和西方文化的东渐有关,反思中医问题不能不反思西医。西医理论把具有整体特征的生命体化简成实体性存在,临床思维是单一求"真"。西医的社会问题深层次原因是西方文化和西医理论模式,而西医的问题在于以实体现下真值逻辑为理论工具。

借鉴先进,讲究实效——南相浩研究员谈自主创新

近些年来,很多政府官员、专家学者都在强调信息安全自主创新、自主可控的重要性,但应采取什么策略,具体怎么落地,还意见不一。本刊记者为此走访了长期从事信息安全研究和实践的南相浩研究员,请他就此问题谈谈自己的看法。南老师结合美国信息安全发展策略的发展和调整,联系国内的情况,阐述了自己的观点。要抓住主要问题美国是现今全球信息化程度最高的国家,也是信息安全的强国。早在1997年,美国总统克林顿提出了信息安全十大任务。