逻辑AI中的容变能力的研究  

Elaboration Tolerance in Logical AI

作　　者：朱建中[1] 戈也挺[1] 骆斌[1] 陈世福[1] 

机构地区：[1]南京大学软件新技术国家重点实验室,南京210093

出　　处：《计算机科学》2003年第9期31-34,共4页Computer Science

基　　金：国家自然科学基金(60003010)

摘　　要：1引言 John McCarthy[1]提出要达到更高级的智能,关键之一在于系统能有效地处理常识信息情境(common sense informat-ic situation).与常识信息情境相对的是有界信息情境(bounded informatic situation).在有界信息情境中,与实现目标相关的信息在系统构建前已经确定,即系统初始时拥有所需的全部信息.In this paper a survey of elaboration tolerance in logical AI is provided. John McCarthy views elaboration tolerance as the key property of any formalism that can represent information in the common sense informatic situation. The goal of studying elaboration tolerance is finding a formalism for describing problems logically that is as elaboration tolerant as natural language and the associated background knowledge. In the beginning, we introduce the missionaries and cannibals problem and its elaboration problems provided by John McCarthy as the test examples of studying elaboration tolerance. Then we introduce the study of elaboration tolerance from three aspects. First of all ?the study of elaboration tolerance of the existing systems is introduced such as Causal Calculator and ABSFOL. Second the study of special elaboration is presented such as elaboration of actions. Last but not least a formal definition of elaboration toleration and evaluation tools is provided.

关 键 词：人工智能 逻辑系统 知识库 非单调推理 行动推理 AI 容变能力 常识推理系统 信息情境 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]