Study on Family Relations Reasoning Based on Automated Reasoning

Automated reasoning has become the research hotspot among researchers, and family relations are common logic knowledge, which can be reasoned. This paper presents four basic relations on family relations, which can deduce others new complex relations. The relation knowledge was stored in knowledge database as forms of basic relations. Some common questions could be deduced successfully and receive correct answers. The study gives an intelligent inference procedure on family relations and two algorithms, one algorithm is Positive Retrieving Information Algorithm (PRIA), and the other is Negative Recombination Information Algorithm (NRIA), which could be well programmed.