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

• 作者: 周强 张秀松 袁毓林 陈振宇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 一阶谓词逻辑 亲属关系 自动推理 亲属关系表达式 求逆 化简
• 年，卷（期）: 2009,（16）
• 所属期刊栏目: 研究、探讨
• 页码范围: 43-47
• 页数: 5页
• 分类号: TP391
• 字数: 7251字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.16.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周强		2	25	2.0	2.0
2	陈振宇	复旦大学中国语言文学系	46	314	8.0	17.0