标题:倒向P-推理与属性剩余发现-应用
作者:林宏康;范成贤;史开泉
作者机构:[林宏康] 山东大学数学与系统科学学院, 济南, 山东 250100, 中国.;[史开泉] 山东大学数学与系统科学学院, 济南, 山东 250100, 中国.;[范成贤] 山东大学电气工程学 更多
来源:计算机科学
出版年:2011
卷:38
期:10
页码:189-193+198
关键词:P~(-1)-推理; 推理结构; 推理定理; 属性剩余; 剩余定理; 应用
摘要:利用P-推理(P=Packet),提出倒向P-推理;倒向P-推理简称P~(-1)-推理。P~(-1)推理由内P~(-1)推理(internalP ~(-1) -reasoning)与外P~(-1)推理(outer P~(-1)-reasoning)共同构成;或者,if((x)_(k+1)~F,(x)_k~F)((x)_(k+1)~F,(x)_(k+1)~F ),then(alpha_k~F,alpha_(k+1)~F)(alpha_(k+1)~F,alpha_k~F)是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-集合生成的两类动态推理形式,它们在信息系统的不同领域中获得应用。
收录类别:CSCD
资源类型:期刊论文
原文链接:http://kns.cnki.net/kns/detail/detail.aspx?FileName=JSJA201110044&DbName=CJFQ2011
TOP