|
|||||
|
|
| 人工智能中的形式化问题 | |
| 引用本文： | 刘西瑞,王汉琦. 人工智能中的形式化问题[J]. 自然辩证法研究, 2002, 18(8): 39-42 |
| 作者姓名： | 刘西瑞 王汉琦 |
| 作者单位： | 汕头大学医学院，广东汕头，515031 |
| 基金项目： | 教育部留学回国人员科研资助项目 |
| 摘 要： | 形式化在人工智能研究中处于方法论的地位。为了模拟人的智能，人工智能的形式化突破了逻辑的限定，在表述和算法上发展出自成特色的模式，但是与自然语言和日常推理相比仍有很大局限性。由于人工智能对形式化的依赖，形式化事实上成为人工智能不可逾越的界限。 |
| 关 键 词： | 人工智能 形式化 表述 算法 制造性 |
| 文章编号： | 1000-8934(2002)08-0039-04 |
| 修稿时间： | 2001-11-26 |
Formalization Problems in Artificial Intelligence |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |