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

doi:10.3778/j.issn.1002-8331.2009.16.011

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (16): 43-47.DOI: 10.3778/j.issn.1002-8331.2009.16.011

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

陈振宇¹,袁毓林²,张秀松²,周强³

1.复旦大学中国语言文学系，上海 200433
2.北京大学中文系/汉语语言学研究中心，北京 100871
3.清华大学信息技术研究院语音和语言技术中心，北京 100084

收稿日期:2008-11-18 修回日期:2009-02-16 出版日期:2009-06-01 发布日期:2009-06-01
通讯作者: 陈振宇

Logic meaning of kinship relations and kindred automatic reasoning

CHEN Zhen-yu¹,YUAN Yu-lin²,ZHANG Xiu-song²,ZHOU Qiang³

1.Department of Chinese Literature and Language，Fudan University，Shanghai 200433，China
2.Department of Chinese/Center for Chinese Linguistics，Peking University，Beijing 100871，China
3.Center for Speech and Language Technology，Research Institute of Information Technology，Tsinghua University，Beijing 100084，China

Received:2008-11-18 Revised:2009-02-16 Online:2009-06-01 Published:2009-06-01
Contact: CHEN Zhen-yu

摘要/Abstract

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

Abstract: Authors designed a kindred automatic reasoning model based on one-order predicate logic.Firstly authors regarded kinship relation as a predicate and the people involved as its variables，and connected the kinship relations and related properties with disjunction，conjunction and converse operators to form expressions of kinship relation.Then authors chose 11 basic kinship relations as a set of kindred atoms and constructed 9 great theorems whereby to derive the definitions of another more than one hundred kinship relations，which worked as a kernel knowledge base for the kindred automatic reasoning model.Finally authors gave a succinct algorithm of kinship relation reasoning，including connection，reverse and simplification operation.

陈振宇¹,袁毓林²,张秀松²,周强³. 亲属关系的逻辑意义及其自动推理[J]. 计算机工程与应用, 2009, 45(16): 43-47.

CHEN Zhen-yu¹,YUAN Yu-lin²,ZHANG Xiu-song²,ZHOU Qiang³. Logic meaning of kinship relations and kindred automatic reasoning[J]. Computer Engineering and Applications, 2009, 45(16): 43-47.

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

Logic meaning of kinship relations and kindred automatic reasoning

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

编辑推荐

Metrics