倒向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