排序方式： 共有6条查询结果，搜索用时 0 毫秒
1
1.
(L)ukasiweicz n值命题逻辑中公式的真度理论和极限定理 总被引：8，自引：0，他引：8
在Lukasiewicz n值命题逻辑中引入了公式的真度概念，得到了一个极限定理．表明当n趋于无穷时由公式的真度决定的真度函数τn收敛于积分真度函数τ，从而架起了离散值Lukasiewicz逻辑与连续值Lukasiewicz逻辑之间的桥梁．所得的结果是二值命题逻辑中相应结果的自然推广。 相似文献
2.
偏序集拟阵中的三类算子及十四滤子定理 总被引：1，自引：0，他引：1
在具有逆序对舍对应的有限偏序集上的偏序集拟阵中定义了闭包、内部和取补3种算子，研究了这3种算子的一些性质，最后证明了偏序集拟阵中的十四滤子定理。 相似文献
3.
对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定. 相似文献
4.
李璧镜 《宝鸡文理学院学报(自然科学版)》2022,(3):1-5+11
目的 在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法 从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不同逻辑系统自身的推理特点,寻找模态公式真度的内在关系性质。结果 建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论 不再受限于可能世界的有限性和概率测度空间的均匀性,进一步完善了模态公式的真度理论,为模态逻辑系统内进行近似推理提供了可行的模式。 相似文献
5.
ukasiweicz n值命题逻辑中公式的真度理论和极限定理 总被引：3，自引：0，他引：3
在(L)ukasiewicz
n值命题逻辑中引入了公式的真度概念,得到了一个极限定理.表明当n趋于无穷时由公式的真度决定的真度函数Tn收敛于积分真度函数τ,从而架起了离散值(L)ukasiewicz逻辑与连续值(L)ukasiewicz逻辑之间的桥梁.所得的结果是二值命题逻辑中相应结果的自然推广. 相似文献
6.
以“秩”的形式给出了偏序集拟阵中限制与收缩两种运算作用相等的一个充要条件，显示了秩函数在研究偏序集拟阵中的重要作用.详细地讨论了产生新组合概型的限制、收缩、截短和延伸等运算，并研究了它们的一些性质. 相似文献
1