倒向P-推理与属性剩余发现-应用

摘要：

利用P-推理(P=Packet),提出倒向P-推理；倒向P-推理简称P-1-推理.P-1推理由内p-1推理(internal P-1-reasoning)与外p-1推理(outer P-1-reasoning)共同构成；或者,if((x)Fk+1,(x)Fk)→((x)Fk,(x)Fx+1),then(Fak,Fak+1)→(Fak+1,Fak)是P-1-推理.p-1-推理是P-推理的对偶形式；内p-1-推理是内p-推理的对偶形式；外p-1-推理是外P-推理的对偶形式.在一定的条件下,p-1-推理能够被还原成普通推理.P-1-推理是从P-推理的反问题中得到的.给出内P-1-推理、外p-1-推理及其推理结构；给出P-1-推理结构与p-1-推理定理、p-1-推理与普通推理的关系以及p-1-推理与它生成的属性剩余；利用这些研究,给出p-1-推理在信息系统中的应用.p-1-推理与P-推理是P-集合生成的两类动态推理形式,它们在信息系统的不同领域中获得应用.

关键词：P-1-推理、推理结构、推理定理、属性剩余、剩余定理、应用

所属期刊栏目：38

分类号：O144(数理逻辑、数学基础)

资助基金：福建省自然科学基金;河南省基础与前沿技术研究计划

在线出版日期：2012-02-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：189-193,198