纯粹理性批判与人工智能

The Critique of Pure Reason and Artificial Intelligence

一、前言非单调推理的提出及其进展被认为是AI 的一个重大进步,十几年来其研究所揭示出来的一些 AI 基本问题引起了 AI 界的深刻反思。1987年 CI 杂志出版了一个专集,耶鲁大学的 McDermott 教授写了一篇题为“纯粹理性批判”的檄文,以非单调推理研究的现状作为主要依据,强烈地批评了 AI中的“纯粹理性”——AI 逻辑主义,从而引起一场 AI 中传统的逻辑主义与过程主义的新论争;继后,CI 杂志在1988年又刊出另一个专集,由 Checsman 著文“计算机理解质疑”,就包括不确定推理问题作进一步讨论;AI杂志也刊登了 AI 基础论题的更广泛论辨,包括逻辑,知识,过程。

Drew McDermott has criticized the logistism in Artificial Intelligence which caused reconsidering the fundamental issues of AI about commonsense knowledge.The forum centerd arroud the question of whether logic is the best method for representing and reasoning about commonsense.McDermott's conc- lusion is that logic cannot justify the inference a program makes.This essay addresses a number of questions about commonsense by formalizing nonmono- tonic reasoning.We present AI formalism program for challonging futher fundamental studies for AI.