亲属关系的逻辑意义及其自动推理 | |
陈振宇 ; 袁毓林 ; 张秀松 ; 周强 ; CHEN Zhen-yu ; YUAN Yu-lin ; ZHANG Xiu-song ; ZHOU Qiang | |
2010-06-09 ; 2010-06-09 | |
关键词 | 一阶谓词逻辑 亲属关系 自动推理 亲属关系表达式 求逆 化简 one-order predicate logic kinship relations automatic reasoning expressions of kinship relation converse simplification TP18 |
其他题名 | Logic meaning of kinship relations and kindred automatic reasoning |
中文摘要 | 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。; 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.; 国家高技术研究发展计划(863)(No.2007AA01Z173); 国家自然科学基金(No.60573185)~~ |
语种 | 中文 ; 中文 |
内容类型 | 期刊论文 |
源URL | [http://hdl.handle.net/123456789/53408] |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 陈振宇,袁毓林,张秀松,等. 亲属关系的逻辑意义及其自动推理[J],2010, 2010. |
APA | 陈振宇.,袁毓林.,张秀松.,周强.,CHEN Zhen-yu.,...&ZHOU Qiang.(2010).亲属关系的逻辑意义及其自动推理.. |
MLA | 陈振宇,et al."亲属关系的逻辑意义及其自动推理".(2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论