Logic Meaning of Kinship Relations and Kindred Automatic Reasoning

陈振宇,袁毓林,张秀松,周强
DOI: https://doi.org/10.3778/j.issn.1002-8331.2009.16.011
2009-01-01
Computer Engineering and Applications Journal
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.
What problem does this paper attempt to address?