混合值逻辑及其应用 被引量：6

1

作者 程代展 赵寅 徐相如 《山东大学学报（理学版）》 CAS CSCD 北大核心 2011年第10期32-44,共13页

混合值逻辑是布尔逻辑和多值逻辑的一种自然推广,是本文作者及其研究小组引进的一个新概念。它在系统控制及相关领域中得到许多应用,显示了很强的生命力。本文的目的是对混合值逻辑的定义、运算及其应用给出一个较为系统的综述,并使相... 混合值逻辑是布尔逻辑和多值逻辑的一种自然推广,是本文作者及其研究小组引进的一个新概念。它在系统控制及相关领域中得到许多应用,显示了很强的生命力。本文的目的是对混合值逻辑的定义、运算及其应用给出一个较为系统的综述,并使相关概念及记号规范化。利用矩阵半张量积,首先介绍混合值逻辑算子的定义、计算方法及主要性质;其次分别介绍了混合值逻辑的3个方面的应用:(1)有限记忆的动态博弈;(2)解模糊关系方程;(3)动态-静态布尔网络。 展开更多

关键词 矩阵半张量积 混合值逻辑 动态博弈 模糊关系方程 动态-静态布尔网络

原文传递

基于XML的次协调推理 被引量：1

2

作者 朱福喜 龚昌盛 余振坤 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期64-68,共5页

标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.

关键词 次协调逻辑 标记逻辑 可扩展标记语言(XML) 自动推理

在线阅读 下载PDF 职称材料

Uninorm与T-operator的剩余结构 被引量：3

3

作者 覃锋 《工程数学学报》 CSCD 北大核心 2006年第4期741-744,共4页

讨论了关于t-norm与t-comorm的若干推广概念之间的关系;给出了一种重要的uninorm和t- operator的(余)剩余板块结构。

关键词 UNINORM 剩余 余剩余

在线阅读 下载PDF 职称材料

基于图形的网络演化博弈的拓扑结构 被引量：1

4

作者 程代展 《山东大学学报（理学版）》 CAS CSCD 北大核心 2021年第10期11-22,共12页

对基于图形的网络演化博弈,首先求出典型结点策略演化方程,进而给出将结点方程组合成网络局势演化方程的方法。利用局势演化方程,将计算逻辑动态系统不动点与极限环的公式推广用于图形的网络演化博弈。然后,介绍某玩家单独更新的局势演... 对基于图形的网络演化博弈,首先求出典型结点策略演化方程,进而给出将结点方程组合成网络局势演化方程的方法。利用局势演化方程,将计算逻辑动态系统不动点与极限环的公式推广用于图形的网络演化博弈。然后,介绍某玩家单独更新的局势演化方程,并依此给出网络演化博弈纯纳什均衡点计算公式。 展开更多

关键词 网络演化博弈 局势演化方程 单独更新的局势(演化)方程 纯纳什均衡 矩阵半张量积

原文传递

Lukasiewicz3-值命题逻辑的强完全性证明 被引量：1

5

作者 霍书全 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2008年第2期43-45,共3页

证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构... 证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。 展开更多

关键词 3-值逻辑 极大一致集 解释 完全性

在线阅读 下载PDF 职称材料

论蒯因对三值逻辑的批评 被引量：1

6

作者 杨红玉 《信阳师范学院学报（哲学社会科学版）》 2012年第4期17-20,共4页

三值逻辑是20世纪20年代以来发展起来的一种非经典逻辑系统,蒯因对其持批评的态度。蒯因反对三值逻辑的原因有三:一是有些三值逻辑系统建立在错误认识之上;二是有些三值逻辑所关注的问题可以在经典逻辑中得到解决;三是有些三值逻辑系统... 三值逻辑是20世纪20年代以来发展起来的一种非经典逻辑系统,蒯因对其持批评的态度。蒯因反对三值逻辑的原因有三:一是有些三值逻辑系统建立在错误认识之上;二是有些三值逻辑所关注的问题可以在经典逻辑中得到解决;三是有些三值逻辑系统的建立并不能解决其想解决的问题。蒯因所批评的仅是三值逻辑中违反排中律的部分系统,而非全部,这体现了蒯因关于逻辑真之观念。 展开更多

关键词 三值逻辑 蒯因 逻辑真

在线阅读 下载PDF 职称材料

基于开放世界假设的三值逻辑的语义推理系统

7

作者 鞠实儿 林渊雷 《中山大学学报（社会科学版）》 CSSCI 北大核心 2008年第2期96-105,共10页

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。既然该命题逻... Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO。文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性。 展开更多

关键词 开放世界 三值逻辑 语义推理系统

在线阅读 下载PDF 职称材料

核军备控制理论中的无核区

8

作者 杨林坡 刘丽 《成都师范学院学报》 2013年第12期92-96,共5页

无核区作为特定区域内国家核裁军、防止核扩散、建立互信措施的一种安全合作机制,也是一项具体的、操作性强的军备控制措施,或可以说是机制。根据军控理论,无核区属于军备控制的范畴,表现在核裁军与防止核扩散方面,即对核武器的"量... 无核区作为特定区域内国家核裁军、防止核扩散、建立互信措施的一种安全合作机制,也是一项具体的、操作性强的军备控制措施,或可以说是机制。根据军控理论,无核区属于军备控制的范畴,表现在核裁军与防止核扩散方面,即对核武器的"量"及"使用方式"的控制。 展开更多

关键词 无核区 军控理论 裁军 不扩散

在线阅读 下载PDF 职称材料

过渡现象及其理论

9

作者 洪龙 《计算机科学》 CSCD 北大核心 2015年第11期108-111,共4页

过渡是自然界和日常生活中普遍存在的现象,它是科学研究、工程技术和社会管理中必须面对的问题。介绍了过渡现象研究的历史及现状,并分别采用传递性、区间和逻辑方法描述了过渡的一般概念。引入了左区间符【和右区间符】,并提出区间邻... 过渡是自然界和日常生活中普遍存在的现象,它是科学研究、工程技术和社会管理中必须面对的问题。介绍了过渡现象研究的历史及现状,并分别采用传递性、区间和逻辑方法描述了过渡的一般概念。引入了左区间符【和右区间符】,并提出区间邻接概念,并采用这些概念定义了过渡,讨论了过渡的基本特征:过渡变量、过渡区域、始点、增型过渡和减型过渡等内容。另外,还展望了过渡的研究方向,这些方向的研究成果将初步形成有关"过渡"的知识结构。 展开更多

关键词 过渡现象 区间邻接 过渡区 过渡始点 逻辑

在线阅读 下载PDF 职称材料

非标准逻辑基础上的知识逻辑SI

10

作者 许涤非 《湖南科技大学学报（社会科学版）》 2005年第4期38-42,共5页

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑... 实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑全能的控制。 展开更多

关键词 逻辑全能 标准的可能世界语义学语义 Kn-系统 实质蕴涵 逻辑蕴涵

在线阅读 下载PDF 职称材料

函数完备的n+1值逻辑公理系统的强完全性

11

作者 霍书全 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2009年第5期35-38,共4页

构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方... 构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。 展开更多

关键词 多值逻辑 完全性 极大一致集

在线阅读 下载PDF 职称材料

三值逻辑的逻辑哲学反思

12

作者 姚从军 《重庆广播电视大学学报》 2009年第3期34-36,共3页

由于传统的二值逻辑无法解决诸多命题,三值逻辑乃至其他多值逻辑理论得到了迅速发展,其应用范围也日益广泛。三值逻辑的语义解释存在着很多分歧和"困难",这并非语义解释自身存在着矛盾,而是因为人们在解释三值逻辑时仍然惯常... 由于传统的二值逻辑无法解决诸多命题,三值逻辑乃至其他多值逻辑理论得到了迅速发展,其应用范围也日益广泛。三值逻辑的语义解释存在着很多分歧和"困难",这并非语义解释自身存在着矛盾,而是因为人们在解释三值逻辑时仍然惯常于使用形而上学的思维方式。 展开更多

关键词 三值逻辑 二值逻辑 思维规律 逻辑自觉

在线阅读 下载PDF 职称材料

试论博弈思维的逻辑结构 被引量：6

13

作者 关珠 《天津商业大学学报》 2008年第2期35-39,共5页

博弈思维是决策主体在竞争和对抗中选择策略以实现收益最大化目标的思维活动。人的博弈思维活动客观存在着由博弈思维概念、博弈推理、博弈思维方法和博弈思维原则为组成部分的内在逻辑结构。探讨和分析博弈思维的逻辑结构,有助于加深... 博弈思维是决策主体在竞争和对抗中选择策略以实现收益最大化目标的思维活动。人的博弈思维活动客观存在着由博弈思维概念、博弈推理、博弈思维方法和博弈思维原则为组成部分的内在逻辑结构。探讨和分析博弈思维的逻辑结构,有助于加深对博弈思维的认识。 展开更多

关键词 博弈思维 博弈思维的逻辑结构 博弈思维概念 博弈推理 博弈思维方法 博弈思维原则

在线阅读 下载PDF 职称材料

多值逻辑与语义赋值博弈 被引量：1

14

作者 陈招万 郭佳宏 《逻辑学研究》 2008年第1期62-74,共13页

文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念——赋值,证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义... 文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念——赋值,证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化。 展开更多

关键词 多值逻辑 扩展博弈 语义赋值博弈 博弈语义

在线阅读 下载PDF 职称材料

多值逻辑的解释问题 被引量：2

15

作者 梁彪 《中山大学学报（社会科学版）》 CSSCI 1996年第1期50-56,共7页

多值逻辑的解释，是多值逻辑研究中重要而又相当困难的工作。本文分析了多值逻辑系统中真值解释的不同含义，研究了现有的一些多值逻辑解释的特点，并且探讨多值逻辑解释中存在的困难和一些解决的方法。

关键词 多值逻辑 真值 模型 可能世界

在线阅读 下载PDF 职称材料

/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?

16

作者 贾国恒 《中州大学学报》 2003年第4期77-78,共2页

在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p... 在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p∧p/=1/2与 /p∧p/=0由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难” 展开更多

关键词 卢卡西维茨 三值逻辑理论 二值逻辑 “逻辑直觉”

在线阅读 下载PDF 职称材料

LP和ILP中的封闭世界与开放世界假设

17

作者 戴细华 《天津商业大学学报》 2009年第1期41-44,共4页

在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性,或者说侧重点不一样,假设的表述并不相同。本文给出了封闭世界假设和开放世界假设的形式化定义。在经济逻辑研究中,通过形式化描述... 在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性,或者说侧重点不一样,假设的表述并不相同。本文给出了封闭世界假设和开放世界假设的形式化定义。在经济逻辑研究中,通过形式化描述,我们可以规范问题讨论的范围。 展开更多

关键词 封闭世界假设 开放世界假设 形式化定义

在线阅读 下载PDF 职称材料

逻辑系统中的语义博弈

18

作者 戴细华 《天津商业大学学报》 2008年第1期52-55,共4页

用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出... 用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出了语义博弈中参与者的必胜策略与真值表语义和Kripke语义下公式真假之间的关系。 展开更多

关键词 逻辑 博弈 语义博弈

在线阅读 下载PDF 职称材料

三值逻辑系统的分析与比较

19

作者 赵鹏 姚从军 《毕节学院学报（综合版）》 2011年第6期32-40,共9页

对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"... 对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。主要的三值逻辑系统有L3、B3、K3、R3、P3。它们都对二值逻辑的限制有所突破,都在某种意义上显示出"亦此亦彼"的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,反映了各自产生的背景与目的。 展开更多

关键词 三值逻辑 逻辑系统 真值表 函项完备性

在线阅读 下载PDF 职称材料

逻辑多元论与多值逻辑

20

作者 霍书全 《中山大学研究生学刊（社会科学版）》 2002年第1期1-6,共6页

关于逻辑的性质,一般有三种观点:一元论,多元论和工具论。逻辑一元论把所有逻辑都归结为一种逻辑,这种分类方法往往导致只承认一种逻辑,即经典逻辑,否认多值逻辑及其它非经典逻辑的存在价值。本文通过分析指出多值逻辑可以有直观解释和... 关于逻辑的性质,一般有三种观点:一元论,多元论和工具论。逻辑一元论把所有逻辑都归结为一种逻辑,这种分类方法往往导致只承认一种逻辑,即经典逻辑,否认多值逻辑及其它非经典逻辑的存在价值。本文通过分析指出多值逻辑可以有直观解释和实用价值,逻辑一元论无视这一事实会阻碍逻辑学的发展。由于工具论也必须在一元与多元之间作出选择,所以本文提出只有持逻辑多元论才能有利于逻辑学的发展。 展开更多

关键词 多值逻辑 经典逻辑 元逻辑 联结词 逻辑多元论 性质

在线阅读 下载PDF 职称材料