语义类比与Context.pdfVIP

计算机科学2005Voi．32№．8A 语义类比与Context*) Semantic andContext Analogy 潘无名1 周激流1 李天瑞2 (四川大学软件学院 成都610065)1(西南交通大学应用数学系 成都610031)2 AbstractInthis wediscussedtheroleof a3levelcontextmodeltO paper analogymatching，andproposed interpret thesemantic analogy． KeywordsAnalogyreasoning，Constraint，Context 种形式类比推理的理论，但其类比映射满足的约束 1 引言 基本来自前人的研究或非从某种逻辑有效性系统导 类比作为一种发现和利用概念之间相似性的过 出，因此缺乏系统性。总之，类比映射及约束的逻辑 程，在人类认知过程中起着非常基本和广泛的作 作用还未很好研究。类比映射及其满足约束的逻辑 用[1矗]，基于类比的认知理论[3~53及人的类比机制的作用的清楚认识是设计高效类比推理程序的基础， 理解[8J]是认知科学的重要研究内容之一。类比同也对类比认知研究会有很大的帮助。本文在对类比 时也被作为一种机器学习和自动推理方法E8。10]在推理中类比匹配的逻辑意义作了分析，对语义相似 人工智能及其它应用科学广泛的研究和应用，如数 的概念在3层Context模型中作了讨论。 学问题解决[11,12]、计算机编程‘6。、工业设计‘”3和创 2 类比匹配 造发现[13等。类比的作用在于发现(结构化的)知识 之问的相似性，并依靠这种相似性来进行推理。通 如前所述，类比推理依据类比映射匹配结果，类 过与相似结构的知识的类比激发我们寻找新的知 比匹配所满足的约束条件直接关系到类比推理的逻 识、机理和解决问题的方法，并增加我们对问题的不 辑有效性。StephenOwen[8]对类比推理中的类比 同角度的认识。 ． 匹配作了系统的研究，其它文献也与Owen基本一 很多文献[1“15d]指出，类比通常包含几个阶段：致。Owen认为所有的类比匹配由两部份组成：符 1．类比检索(retrival)，即发现适用于目标问题的类号与位置。类比中的匹配是一系列如下形式的元 比源)；2．映射(mapping)，即发现源和目标的一致 性并建立之间的映射；3．类比应用(application)，即Owen认为类比没有形式化规则及定义。由于类比 将发现的源和目标的一致性应用于描述、解释新情 应用的广泛性，类比很难建立形式化规则及定义。 况，或产生新的模式理解目标。第三步也被称为是 这导致几乎所有对类比推理理论分析都是经验性 with Substitutionand 的，对类比推理的逻辑有效性也不可能作出确切的 CWSG(Copying genera— tion)，是使用“高阶”因果关系的推理过程【l61。作 定义和说明。文[17～203指出类比映射所满足的约 similari- 为一种推理方法类比中包含深刻的逻辑问题(B． 束有如下两方面：1．语义相似(semantic in Chandrasekaran Notes)，然而已有 E83：Editor’s ty)；2．结构一致