论文部分内容阅读
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先，把亲属关系（称谓）视为谓词，相关的人物视为变元，把亲属关系和有关性质用“或”、“与”及“逆”等运算符号联结成亲属关系表达式。然后，选取11种基本的亲属关系作为亲属基元，并构造亲属基元转换和化简的九大定理，用以描写和定义其他一百多种亲属关系，从而形成亲属关系转换的核心知识库。最后，给出一种简洁的亲属关系转换算法，主要包括连接、求逆、化简和组配等运算。