%0 Journal Article
%T Backward P-reasoning and Attribution Residual Discovery-Application<br>倒向P-推理与属性剩余发现-应用
%A LIN Hong-kang
%A FAN Cheng-xian
%A SHI Kai-quan
%A <br>林宏康
%A 范成贤
%A 史开泉
%J 计算机科学
%D 2011
%I 
%X 利用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-集合生成的两类动态推理形式,它们在信息系统的不同领域中获得应用。
%K P -1-reasoning
%K Reasoning structure
%K Reasoning theorem
%K Attribution residual
%K Residual theorem
%K Application<br>P
%K -1推理，推理结构，推理定理，属性剩余，剩余定理，应用
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=17DDCED190714E791DE375D52F9AA82F&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=F3090AE9B60B7ED1&sid=3A0155B37D8FF829&eid=23104246A5FCFCEF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0