人工智能中的形式化问题

被引:7
作者
刘西瑞
王汉琦
机构
[1] 汕头大学医学院
[2] 汕头大学医学院 广东汕头
[3] 广东汕头
关键词
人工智能; 形式化; 表述; 算法; 创造性;
D O I
10.19484/j.cnki.1000-8934.2002.08.010
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
形式化在人工智能研究中处于方法论的地位。为了模拟人的智能 ,人工智能的形式化突破了逻辑的限定 ,在表述和算法上发展出自成特色的模式 ,但是与自然语言和日常推理相比仍有很大局限性。由于人工智能对形式化的依赖 ,形式化事实上成为人工智能不可逾越的界限
引用
收藏
页码:39 / 42
页数:4
相关论文
共 3 条
[1]   关于形式化的几个问题 [J].
吴允曾 .
哲学研究, 1986, (12) :38-41
[2]  
计算机不能做什么[M]. 三联书店[美国]德雷福斯(Dreyfus,H·L) 著, 1986
[3]  
现代逻辑词典. 杨百顺,李志刚主编. 湖北教育出版社 . 1995