Backward P-reasoning and Attribution Residual Discovery-Application
倒向P-推理与属性剩余发现-应用

利用P-推理(P=Packet),提出倒向P-推理;倒向P-推理简称P-1-推理。P-1推理由内P-1推理(internalP-1-reasoning)与外P-1推理(outer P-1-reasoning)共同构成;或者,if((x)kF珚+1,(x)kF)■((x)kF珚,(x)kF+1),then(αkF,αkF珚+1)■(αkF+1,αkF珚)是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-集合生成的两类动态推理形式,它们在信息系统的不同领域中获得应用。