约翰·麦卡锡 编辑
约翰·麦卡锡，生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
人工智能逻辑是指用逻辑方法和逻辑成果研究智能主体如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑和一类不严格意义上的逻辑的混合。
最早研究人工智能逻辑的是约翰·麦卡锡，他提出采用逻辑方法来形式化人工智能需要解决的问题。
达特矛斯夏季人工智能研究计划由约翰·麦卡锡等人于1956年8月31日发起，旨在召集志同道合的人共同讨论“人工智能”。会议持续了一个月，基本上以大范围的头脑风暴为主。这催生了后来人所共知的人工智能革命。
限制是约翰·麦卡锡建立的非单调逻辑，它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中，限制最小化了某些谓词的外延，这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。
达特矛斯夏季人工智能研究计划由约翰·麦卡锡等人于1956年8月31日发起，旨在召集志同道合的人共同讨论“人工智能”。会议持续了一个月，基本上以大范围的头脑风暴为主。这催生了后来人所共知的人工智能革命。
所谓“S-表达式/运算式”或“sexp”，是指一种以人类可读的文本形式表达半结构化数据的约定。S-表达式可能以其在Lisp家族的编程语言中的使用而为人所知。其他应用则见于由Lisp衍生的语言，如DSSSL，以及如Internet Message Access Protocol之类通信协议中作为标记出现和约翰·麦卡锡的CBCL。语法细节和所支持的数据类型虽因语言而异，但这些语言间最通用的特性则是使用S-表达式作为括号化的前缀表示法。
所谓“S-表达式/运算式”或“sexp”，是指一种以人类可读的文本形式表达半结构化数据的约定。S-表达式可能以其在Lisp家族的编程语言中的使用而为人所知。其他应用则见于由Lisp衍生的语言，如DSSSL，以及如Internet Message Access Protocol之类通信协议中作为标记出现和约翰·麦卡锡的CBCL。语法细节和所支持的数据类型虽因语言而异，但这些语言间最通用的特性则是使用S-表达式作为括号化的前缀表示法。