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

关键词：一阶谓词逻辑；亲属关系；自动推理；亲属关系表达式；求逆；化简

DOI：10.3778/j.issn.1002-8331.2009.16.011 文章编号：1002－8331（2009）16-0043-05 文献标识码：A 中图分类号：TP391