摘要： 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 situa-tion. The goal of studying elabo

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