期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
计算机的发展与制约逻辑
被引量:
1
下载PDF
职称材料
导出
摘要
从新的视点论述计算机的发展,分析“正统”数理逻辑不能适应研制智能机的需要。指出制约逻辑可能为计算机的发展提供新型的逻辑系统。
作者
柳保红
出处
《安顺学院学报》
2000年第4期63-64,68,共3页
Journal of Anshun University
关键词
电子数字计算机
制约逻辑
集成光路
量子计算机
人工智能
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
3
引证文献
1
二级引证文献
0
同被引文献
3
1
林邦瑾.
充分条件与制约关系[J]
.贵阳师范高等专科学校学报(社会科学版),2004(4):14-20.
被引量:5
2
温新.
数学证明与制约推理[J]
.安顺师范高等专科学校学报,2000,2(2):47-50.
被引量:1
3
龚启荣,林邦瑾.
宇宙智能、人类智能、人工智能[J]
.贵州大学学报(自然科学版),2002,19(1):59-63.
被引量:1
引证文献
1
1
汪学明.
制约逻辑与计算机科学相关问题的探讨[J]
.毕节学院学报(综合版),2007,25(1):33-36.
1
郑忠智.
人工智能的逻辑基础[J]
.大庆师专学报,1991(4):32-35.
2
王静端,李耀辉.
正在崛起的光计算机[J]
.世界科学,1999(8):38-39.
被引量:3
3
蒋学锋.
制约逻辑、消解原理及其应用(英文)[J]
.贵州大学学报(自然科学版),1998,15(1):21-26.
4
黄国芳.
制约逻辑在人工智能中的应用[J]
.科技广场,2011(1):21-23.
5
龚启荣.
制约逻辑与人工智能科学[J]
.社科新视野,2001(2):27-28.
6
龚启荣.
制约逻辑与知识表示(英文)[J]
.安顺学院学报,1996,1(2):5-8.
7
蒋学锋.
制约逻辑 消解原理 人工智能语言[J]
.贵州师范大学学报(自然科学版),1992,10(4):22-29.
8
马新宇,张斌,章燕申,汤全安.
集成光路角速率传感器的误差分析和技术关键[J]
.仪器仪表学报,1996,17(S1):359-362.
9
Wu CHEN,Dongmo ZHANG,Maonian WU.
A sequential model of bargaining in logic programming[J]
.Frontiers of Computer Science,2015,9(3):474-484.
被引量:1
10
龚启荣.
只有制约逻辑才能作为人工智能的逻辑工具[J]
.贵州大学学报(自然科学版),1995,12(2):108-113.
安顺学院学报
2000年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部