论文研究 2 CNF理论的逻辑差.pdf
如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念（称为逻辑差）。然而，一般知识库之间逻辑差的计算是不易处理的，而且不满足范畴性，即不能保证其结果仍然可以用同类型的知识库来表达；由于2-CNF理论的可满足问题的易处理性，证明了2-CNF理论的逻辑差具有范畴性，并设计了一个多项式时间算法计算它们的逻辑差。
用户评论
相关推荐
论文研究逻辑理论的随机相容度.pdf
在[n]值Lukasiewicz命题逻辑系统中，提出理论的随机相容度的概念，并指出理论的随机相容度是和概率分布列的选取相关的。最后证明了理论的随机相容度在[n]值随机逻辑度量空间中，同样保持经典逻辑度
unkonw
0B
2020-02-27 04:06
论文研究模态逻辑公式的真度理论.pdf
在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定义了模态公式的真度概念，建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词，即经典逻辑
PDF
0B
2020-01-12 17:57
论文研究计量逻辑学中的收敛理论.pdf
初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛，赋值收敛和网收敛概念，对它们做出刻画并初步论证了它们之间的关系。
PDF
297KB
2020-07-21 23:52
论文研究AFS模糊逻辑理论及其应用.pdf
AFS模糊逻辑理论及其应用，宋明丽，刘晓东，自1995年AFS理论（公理模糊集理论）被提出以来，国内外许多学者对AFS理论及其应用进行了深入的研究,并发表了一系列的论文.本文对AFS理
PDF
0B
2020-05-25 14:24
论文研究计量逻辑学中的误差累计理论.pdf
在二值逻辑系统中，初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论（作为Γ结论）的误差不会超过各前提误差的和。
PDF
0B
2020-04-30 06:10
论文研究基于耗散结构理论的差分进化算法.pdf
差分进化算法是一种新的进化计算技术，为解决其早熟问题，提出了一种基于耗散结构理论的改进差分进化算法。在变异成功的个体数和交叉算子之间建立联系，使变异成功的个体影响交叉算子，提高全局收敛能力。仿真实验表
PDF
0B
2019-09-23 14:40
论文研究二值命题逻辑中逻辑理论的计量化及应用.pdf
在二值命题逻辑系统中，利用势为2的均匀概率测度空间的无穷乘积，通过计算理论[Γ]的全体模型占整个赋值空间的测度定义了理论[Γ]的真度，进而利用理论的真度简化了理论的发散度和相容度的计算公式，给出了由推
PDF
576KB
2020-07-16 16:51
论文研究粗糙逻辑中理论相容性的拓扑刻画.pdf
有关文献将计量化方法应用于粗糙逻辑之中，建立起了用以处理近似推理问题的粗糙逻辑度量空间理论。拟借助于粗糙逻辑度量空间理论，从拓扑学的角度给出粗糙逻辑理论相容性的等价刻画。
PDF
509KB
2020-07-16 16:51
论文研究模糊逻辑理论在入侵检测系统中的应用研究.pdf
传统的关联规则挖掘研究事务中所包含的项与项之间的关联性，而负关联规则挖掘不仅要考虑事务中包含的项，还要考虑事务中不包含的项。给出了完全负关联规则的定义，提出一种基于树的算法Free-PNP，通过此算法
PDF
0B
2020-01-07 19:55
论文研究精度与程度的逻辑差粗糙集模型及其算法.pdf
论文研究-精度与程度的逻辑差粗糙集模型及其算法.pdf, 基于精度与程度的逻辑差需求,提出了精度与程度的逻辑差粗糙集模型,定义了粗糙集区域概念. 在精度与程度的逻辑差粗糙集模型中,得到了粗糙集区域的
PDF
459KB
2020-07-23 02:38
论文研究二值命题逻辑理论的结论类型和分类.pdf
以公式真度为基础，研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题，给出了分类定理以及同一理论结论的相似度的一个下界。
PDF
276KB
2020-07-16 20:13
论文研究基于缺省逻辑的本体研究.pdf
图同构的判定性问题是图论理论中的一个难问题，至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想，也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件，即在子图同构的前提下，根据新增顶点
PDF
1.03MB
2020-07-24 03:05
论文研究粗糙逻辑的计量化研究.pdf
将计量化方法引入到粗糙逻辑的研究当中，在一种典型的粗糙逻辑[LR]中引入了公式的粗糙真度概念。在此基础上，提出了公式之间的粗糙相似度、粗糙伪距离等概念，得到了粗糙逻辑度量空间。在粗糙度量空间中提出了两
PDF
572KB
2020-07-18 04:42
论文研究AUV心智逻辑.pdf
为了表示和处理AUV（AutonomousUnderwaterVehicle，自治水下机器人）的心智状态及心智活动，对Rao和Georgeff的BDI逻辑进行了拓展，定义了一种含模态词（信念、目标、能
PDF
0B
2019-09-19 19:00
论文研究逻辑系统.pdf
首次在命题逻辑系统中引入理论的真度概念，使得真度的概念由公式的真度推广为公式集的真度，从而简化了发散度的概念；在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
PDF
586KB
2020-07-18 12:10