-
题名从逻辑哲学观点看制约逻辑
被引量：3
- 1
-
-
作者
桂起权
-
出处
《武汉大学学报（人文科学版）》
1987年第4期67-73,共7页
-
文摘
林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道,引起了人们普遍的关注。什么是制约逻辑?它与标准的数理逻辑的关系如何?它与传统逻辑的关系如何?构造制约逻辑的基本动机是什么?当“标准逻辑”遇到了困难时人们可能采取什么对策?
-
关键词
制约逻辑
数理逻辑
传统逻辑
非标准逻辑
逻辑范围
实质蕴涵
现代逻辑
模态逻辑
谓词演算
严格蕴涵系统
-
分类号
C55
[社会学]
-
-
题名计算机的发展与制约逻辑
被引量：1
- 2
-
-
作者
柳保红
-
出处
《安顺学院学报》
2000年第4期63-64,68,共3页
-
文摘
从新的视点论述计算机的发展,分析“正统”数理逻辑不能适应研制智能机的需要。指出制约逻辑可能为计算机的发展提供新型的逻辑系统。
-
关键词
电子数字计算机
制约逻辑
集成光路
量子计算机
人工智能
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名制约逻辑与知识表示(英文)
- 3
-
-
作者
龚启荣
-
出处
《安顺学院学报》
1996年第2期5-8,共4页
-
文摘
专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态逻辑的模态算子实际上是特殊的一元真值函数关系,不是充分条件关系。制约逻辑的制约关系、必然关系是刻划清楚后的充分条件关系,是真正的逻辑的二元关系,可由之导出的“可能”、“偶然”、“彻底地偶然”关系也是真正的逻辑关系,满足启发式信息。制约逻辑克服了正统数理逻辑和形形色色的模态逻辑的诸多缺陷,在知识表示中不会产生语义畸变现象,表达能力强而且丰富。
-
关键词
制约逻辑
知识表示
启发式信息
刻划清楚后的充分条件关系
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
