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

作     者：林宏康 范成贤 史开泉 LIN Hong-kang;FAN Cheng-xian;SHI Kai-quan

作者机构：山东大学数学与系统科学学院济南250100 宁德师范学院计算机与信息工程系宁德352100 山东大学电气工程学院济南250061 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2011年第38卷第10期

页      面：189-193,198页

核心收录：

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基　　金：福建省自然科学基金项目(2011J01357) 河南省基础与前沿技术研究项目(112300410056)资助 

主　　题：P-1-推理 推理结构 推理定理 属性剩余 剩余定理 应用 

摘      要：利用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-集合生成的两类动态推理形式,它们在信息系统的不同领域中获得应用。