一种类比匹配原理及其实现

本文给出了一种类比匹配原理及其计算模型，并在此基础上实现了类比匹配器ＡＭＥ．其中类比匹配原理包括一致性、谓词相似和支持性原则；计算模型采用以命题为中心，以命题映射为基本单位，从而ＡＭＥ的复杂性低于同类系统．另外，证明了本文的实现算法具完备性和正确性