Elaboration Tolerance in Logical AI
逻辑AI中的容变能力的研究

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.