亲属关系的逻辑意义及其自动推理

被引：14

作者：

陈振宇 ^{[1
]}

袁毓林 ^{[2
]}

张秀松 ^{[2
]}

周强 ^{[3
]}

机构：

[1] 复旦大学中国语言文学系

[2] 北京大学中文系/汉语语言学研究中心

[3] 清华大学信息技术研究院语音和语言技术中心

来源：

计算机工程与应用 | 2009年 / 45卷 / 16期

关键词：

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

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

140502 [人工智能];

摘要：

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

引用

页码：43 / 47

页数：5