-
题名容纳矛盾逻辑系统与悖论
被引量：2
- 1
-
-
作者
张金成
-
机构
中央党校函授学院
-
出处
《智能系统学报》
北大核心
2012年第3期206-213,共8页
-
文摘
分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.
-
关键词
逻辑系统
矛盾
悖论
正域
反域
不动域
次协调逻辑系统.
-
Keywords
logic system
contradiction
paradox
positive field
inverse field
fixed field
paraconsistent logic system
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O141
[自动化与计算机技术—控制科学与工程]
-
-
题名次协调的模态逻辑
- 2
-
-
作者
程晓春
孙吉贵
姜云飞
-
机构
吉林大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1998年第11期833-838,共6页
-
基金
国家自然科学基金
国家攀登计划基金
国家教委博士点基金
-
文摘
将次协调模糊推理方法推广到模态逻辑，提出次协调的模态逻辑，其逻辑推理关系是次协调模糊蕴含的模态推广，既可处理不一致信息，又可表示多世界模型．给出了次协调模态逻辑的正确而且完备的Ｇｅｎｔｚｅｎ型推理系统．
-
关键词
模态逻辑
次协调逻辑
推理系统
知识库
-
Keywords
Modal logic, paraconsistent logic, fuzzy logic, Gentzen system.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于次协调逻辑的空战决策支持系统研究
- 3
-
-
作者
佟惠军
杨林
贾秋锐
-
机构
空军航空大学军械工程系
-
出处
《计算机仿真》
CSCD
2008年第4期61-64,共4页
-
文摘
为了解决传统逻辑推理在引入两个相互矛盾的事实时,推理将停止,继而提供不出有价值的结论的问题,给出了基于次协调逻辑理论的一种推理方法。在此基础上构造了次协调逻辑辅助推理空战决策支持系统,在传统逻辑推理因矛盾停止时,启动次协调推理,使得空战决策支持能够在矛盾中求协调,避免了系统陷入平庸状态。在某型空战模拟器上使用取得了初步成效,从仿真结果看具有次协调逻辑辅助推理的空战决策支持系统对复杂的空战环境具有良好的适应性。
-
关键词
次协调逻辑
决策支持系统
空战
-
Keywords
paraconsistent logic
Decision support system
Air combat
-
分类号
V271.4
[航空宇航科学与技术—飞行器设计]
-
