排序方式: 共有3条查询结果,搜索用时 31 毫秒
1
1.
在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数. 相似文献
2.
提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。 相似文献
3.
在n值命题逻辑系统Ln,L*n中提出了模糊推理的反向三Ⅰ问题,并给出了反向三Ⅰ问题的真度形式解,从而在系统Ln与L*n中建立了反向三Ⅰ问题的形式化推理机制,为模糊推理的反向三Ⅰ算法奠定了逻辑基础. 相似文献
1