模糊规则的谐调度与矛盾规则的排除方法

本文给出了模糊规则的谐调度，得到了两个模糊规则有公共解的充分必要条件，提供了模糊规则知识库中矛盾规则的排除方法．

动态KDD过程中矛盾规则的研究

随着数据量的海量扩张、数据类型的复杂化,矛盾知识的问题越发突出,成为KDD领域中一个亟待解决的问题。通过对知识发现内在机理的研究,探讨在动态的知识发现过程中,矛盾知识的产生原因以及矛盾区间的求解方法,对解决当前主流发展中所面临的若干难题将具有一定的理论和实际意义。

关联规则挖掘中阈值协调器的设计与实现

针对动态的关联规则挖掘中阈值的合理设置问题,提出了一种阈值协调算法(TCA算法),以克服传统的主观经验设置阈值的局限。通过设计一个用于处理动态关联规则挖掘过程中矛盾规则的阈值协调器,以计算矛盾域为基础,动态调节阈值,求得规则的一个基本的阈值区间,达到客观设置阈值的目的。给出了该方法的具体步骤,通过实验证明了该算法的有效性。

基于多种群量子进化的区间二型模糊规则挖掘算法

利用智能优化算法挖掘模糊分类规则能够解决模糊前件参数和无关项的组合优化问题,但也存在依赖初始规则以及更新过程无指导等缺陷,导致分类精度难以保证.为此,本文以二型模糊规则分类系统为框架,采用模糊聚类得到代表性样本并启发式的产生初始规则,以量子等位基因形式对规则进行编码生成多初始种群,根据基因的优良性,以变尺度变异操作实现等位基因的指导性进化.在此基础上,利用矛盾规则重构机制,提高模糊规则分类系统的精度.将所提出算法与FH–GBML–IVFS–Amp算法和GAGRAD算法进行了分类精度对比,并在不同噪声水平下,与C4.5算法、朴素贝叶斯分类器和BP神经网络进行分类鲁棒性比较,实验结果表明所提出算法具有较好分类精度与鲁棒性.

欧美跨境数据流动规制模式对比及博弈分析

[研究目的]跨境数据流动规制,既是防范数据泄露威胁、维护数据安全的应然之举,也是把握国际网络空间话语权、提升综合国力的重要措施。美国和欧盟作为全球两大经济体,在跨境数据流动规制上形成了不同的规制模式。我国正处于中国特色网络空间治理的探索阶段,在跨境数据流动规制方面存在诸多挑战,分析美国和欧盟关于跨境数据治理的规范设计、价值诉求以及双方在此领域的博弈,对全球和我国跨境数据流动规制具有重要意义具有参考借鉴意义。[研究方法]通过历史研究、对比分析、文本分析、案例分析等研究方法,对欧美跨境数据流动规制目标、规制形式、规制特点、博弈过程进行分析和总结。[研究结论]在跨境数据流动规制过程中,“美国模式”注重以消除网络空间壁垒、控制全球网络空间主导权为导向,“欧盟模式”则注重以保护个人权利为名、增强网络空间竞争优势为实。美欧双方围绕跨境数据流动展开多轮博弈,同时也暴露出远程数据控制、数据资源争夺、个人数据保护、监督审查机制缺位等数据规制中的深层次矛盾问题。为此,我国应不断完善相关领域立法,建立“事前+事后”两级救济机制,建立健全数据监督和审查机制,为构建和平、安全、开放、合作、有序的网络空间命运共同体提供良好的数据环境。

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率.为此,基于矛盾体分离规则提出了一种多元协同演绎算法,该算法每次允许多个子句进行协同演绎,消去多组互补对,从而演绎分离式文字数较少且可控,能有效提高推理能力;并且,该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序,利用回溯机制搜索较优路径,有效规划演绎路径.将该算法应用于国际顶尖证明器Eprover 2.1,以CADE2017竞赛例(FOF组)为测试对象,对加入多元协同演绎算法的Eprover 2.1证明器进行试验.试验结果表明其能力超过了Eprover 2.1:多证明定理8个;能证明Eprover 2.1未证明定理31个,占未证明总数的28.2%.