人工智能中的形式化问题

摘要：

形式化在人工智能研究中处于方法论的地位。为了模拟人的智能，人工智能的形式化突破了逻辑的限定，在表述和算法上发展出自成特色的模式，但是与自然语言和日常推理相比仍有很大局限性。由于人工智能对形式化的依赖，形式化事实上成为人工智能不可逾越的界限。

关键词：人工智能、形式化、表述、算法、创造性

所属期刊栏目：18

分类号：B80(思维科学)

资助基金：教育部留学回国人员科研启动基金

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：39-42