排序方式: 共有24条查询结果,搜索用时 31 毫秒
1.
2.
在添加了[Δ]算子Gödeln值命题逻辑系统中,给出了Gödel[n]值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。 相似文献
3.
4.
研究了直觉模糊推理三I约束算法,给出了IFMP、IFMT问题的直觉模糊推理三I约束算法解的表达形式和分解形式,在此基础上,指出了直觉模糊推理三I约束算法是模糊推理三I约束算法的推广,并给出了相应的证明。 相似文献
5.
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[~]同余的一个分划。 相似文献
6.
与通常相似度定义在真度基础上不同,在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系,给出了积分相似度的推理性质,提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。 相似文献
7.
本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。 相似文献
8.
9.
鲁棒性是评价算法优劣的一个重要标准。以平均逻辑相似度为衡量扰动的指标,分别讨论了α-反向三I支持算法和α-反向三I约束算法的鲁棒性,结论表明FMP(FMT)问题的α-反向三I支持算法和α-反向三I约束算法具有相同的鲁棒性。 相似文献
10.