最新词条

Logo编程语言 中文 联结主义 中文 SHRDLU 中文 情感机器 中文 CYC项目 中文 道格拉斯·莱纳特 中文 压力传感器 中文 明斯基手 中文 记忆 中文 情感 中文 智能体 中文 心智社会 中文 AI寒冬 中文 异或（XOR）问题（非线性逻辑运算，单层感知机无法解决） 中文 单层感知机 中文 《感知机》 中文 语义网络 中文 面向对象编程 中文 框架理论 中文 机器人学 中文 机器视觉 中文 符号主义人工智能 中文 MIT计算机科学与人工智能实验室（CSAIL，由MIT AI Lab更名而来） 中文 人工智能实验室 中文 随机神经模拟机 中文 阿隆佐·丘奇 中文 哈佛大学 中文 布朗克斯科学高中 中文 犹太家庭 中文 纽约市 中文 阿西莫夫（科幻作家，麦卡锡调侃其机器人故事） 中文 HAL 9000（电影中出故障的AI超算，麦卡锡用以批评非逻辑框架） 中文 《2001太空漫游》（库布里克的科幻电影，包含HAL 9000） 中文 机器人三定律 中文 《我，机器人》（阿西莫夫的机器人科幻小说） 中文 手写体Lisp 中文 AI冬天（1980年代末AI研究经费骤减的萧条期） 中文 自动微分 中文 数据流图（计算节点与数据依赖的图形表示） 中文 PyTorch 中文 TensorFlow 中文 图形用户界面（GUI，依赖交互式计算的发展） 中文 Linux 中文 Emacs 中文 面向切面编程 中文 元编程 中文 宏系统 中文 Go语言 中文 Python（编程语言，受Lisp影响，广泛用于AI） 中文 Java 中文 机器人规划 中文 自动定理证明 中文 专家系统 中文 乔治·H·W·布什 中文 知识表示 中文 事件演算 中文 雷蒙德·赖特（逻辑学家，形式化默认逻辑的关键人物） 中文 默认逻辑 中文 非单调推理 中文 PDP-10 中文 SAIL操作系统 中文 Multics 中文 CTSS 中文 批处理模式 中文 Emacs Lisp 中文 ALGOL 中文 Haskell 中文 Common Lisp 中文 Scheme 中文 垃圾回收 中文 高阶函数 中文 lambda演算 中文 函数式编程 中文 符号表达式 中文 树形结构 中文 代码即数据 中文 递归（编程方法，函数调用自身） 中文 列表（Lisp中的基本数据结构） 中文 美国国防部高级研究计划局（ARPA，资助早期AI研究） 中文 卡内基梅隆大学 中文 模式识别 中文 符号推理 中文 特伦奇·莫尔（电机工程师，达特茅斯与会者） 中文 亚瑟·塞缪尔 中文 洛克菲勒基金会 中文 容错逻辑 中文 情景演算 中文 斯坦福人工智能实验室 中文 斯坦福大学 中文 项目MAC 中文 神经网络 中文 达特茅斯夏季人工智能研讨会 中文 纳撒尼尔·罗切斯特 中文 偏微分方程 中文 所罗门·列夫谢茨 中文 加州理工学院 中文 约翰·帕特里克·麦卡锡（麦卡锡的父亲，爱尔兰裔工会组织者） 中文 马萨诸塞州波士顿 中文 《克劳德·香农文集》 中文 丹尼斯·范诺 中文