人工智能研究中的若干问题
需积分: 0 103 浏览量
2010-01-30
09:09:49
上传
评论
收藏 289KB PDF 举报
１９９１年第６期 计算 机 研究 与发展 ’ １ ’
人工智能 （ＡＩ）研究 中的若 干问题 ’
董 占 球
ｆ中国 科学脆研究 生Ｊ亮，北 京，１０００３９）
摘 要 ： 奉 文 将就 ＡＩ（Ａｒｔｉｆｉｃｉａｌ Ｉｎｔｅｌｌｉｇｅｎｃｅ） 研 究 中所 存在 的若 干 问题 进 行 讨 论 ， 而 就 ＡＩ
研 究 与理论 框架、ＡＩ研 究与计算机、 ＡＩ研 究与并行机制 、 ＡＩ研 究 与实现技术及 ＡＩ研 完 与认
知 科 学 的 关 系 ，说 明 当前 ＡＩ研 究 中 的 困 难 所在及 可 能 的 突破 。
我 的观点是 ＡＩ不会在近期 取得长足 进展 ，也 不会 再次跌八低谷。 目前最迫切的任 务是 对以
前 的Ｉ作进行 冷静的思考，从而提 出新思想、新方法 ，以解决好理论 与实践的关 系。
一
、 弓ｆ 言
自从电子 计算 机面 世 ， ＡＩ的研究就有了强力的支撑 ， 它们 的结合使 人 自然地思考计算 机 与
人脑的关系 ，冯、诺依 曼的未完成的论文 的标题就是“计算 机与人脑 ” 这一背景使得 发靖 于数 理
逻 辑 学 派 的思维 ，即计 算 的观 点在 近 代 ＡＩ研 究 中起 着 主 导作 用 。 使 得 这 一领 域 的工 作 大 量 地 表
现 为算法 、语言 、绵程 ，或者说 ．以 形式｝匕的处理在计算机 上执行 正 因为如 此 ， 在 ＡＩ研究 中
以计算机为舞 台很 多精彩的前人 的工作得以再展风彩 。 由心理 学总 结人 类经验推 理而 提出的产生
式 系统在１９４３年 却由 Ｐｏｓｔ利用数学塑造为 一种计算形式 体系，并证 明它可 以模拟可计算问题 ，从
而纳入“思维 即计算 的范畴 这在 当今 的 ＡＩ研究 中得 到广泛的研究与应用。
逻辑 学家 所关心 的是 论据 的分 析和 表达 ，探求假说是 否蕴 含结论 ，然而 逻辑 中的子句形式经
过逻辑学家 Ａｉｆｚｅｄ Ｈｏｒｎ的研究键 出了壤多 只包含一个结论 的子旬 ，这就是 Ｈｏｒｎ子 旬 ，然而 到了
７Ｏ年 代 初 Ｋｏｗａｌｓｋｉ和 Ｃｏｌｍｅｒａｕｅｒ提 出将 一 阶 谓 词逻 辑 用 作 计 算 机 程 序 设计 语言 ，因 而 导 致 了
逻辑程序设计 语言 的产 生 ，其代表 Ｐｒｏｌｏｇ就 成为 ＡＩ研究 中一个被广泛研究与 应用 的 实现语言 。
由 Ｃｈｕｒｃｈ提 出的 一演算导致了由函数 递归定义 的具有符号与表 操作能 力的函数型 程 序 设
计 语言 ＬＩＳＰ，它在 ＡＩ研究 中的活跃是众 所周知的。
由于图灵模型 、Ａ～演算 ，建归函数的等 价性 ，都 自然 地强化了“思维 ， 即计算 的色彩 。
在 人类的科学技术发展史 中 ，演绎 和归纳是互相不可替代又互相补充的 ，对它们的研究在公
元前就为形式 逻辑奠定 了基 础 。然而 ，且 不说 Ｌｅｉｂｎｉｚ提出的“一切思 想用符号表示 ，一 切 推 论
用符号 形式操作 奠定 了数理逻辑 的基础 ，就是 Ｋｏｗａｌｓｋｉ提 出以一阶谓词逻辑用作计算机程序 设
计语言也是为 了用演绎 系统 来实现计算 的需要 。
综上所述 ，使我们 明显地看到 ＡＩ的主要思想的 “思 维即计算 的浓厚 色 彩。 由此 导 致 ＡＩ的
研究与计算机结下不解 之缘 ，也就是理所 当然 的了。从计算机工作者 的角度 看 问题 ，我们可能进
行 怎样的思考呢？
＝ 、ＡＩ研 究 与理论 框架
我认为 ；计算机是 形式系统 的执 行环境 。 由此产生 的问题无一不是根本性的。
本文千 ｌ９９口年 ９月收到 。 ＮＳＦＣ费 助砸 目。
维普资讯 http://www.cqvip.com
youqianqian
- 粉丝: 2
- 资源: 4
最新资源
- 目标跟踪-基于目标中心点同时进行目标检测+目标跟踪算法实现-项目源码-优质项目实战.zip
- Python《文本特征分析-全唐诗数据挖掘及分析 》+源代码
- Netron-Setup-4.5.0
- 可编辑的地图图形3-世界、各洲、美国地图.xls
- NineAi 新版ChatGPT AI系统网站源码
- Anaconda3-2022.10windows版本
- 基于Servlet的URL访问安全控制.doc
- 可编辑的地图图形-2-中国到省、到市、到县地图.xls
- 快慢指针法判断链表是否有环-go语言实现
- Python《金融新闻数据挖掘分析 （数据抓取、NLP算法分析、量化策略、回测框架等）》+源代码+项目说明
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
评论0