四川省教育厅科学研究项目(08ZA132)
- 作品数:3 被引量:5H指数:2
- 相关作者:刘东利段樱桃更多>>
- 相关机构:集美大学乐山师范学院湛江师范学院更多>>
- 发文基金:四川省教育厅科学研究项目更多>>
- 相关领域:理学更多>>
- 模糊推理反向三I问题的真度形式解被引量:2
- 2012年
- 在n值命题逻辑系统Ln,Ln*中提出了模糊推理的反向三I问题,并给出了反向三I问题的真度形式解,从而在系统Ln与Ln*中建立了反向三I问题的形式化推理机制,为模糊推理的反向三I算法奠定了逻辑基础。
- 刘东利
- 关键词:真度
- Lukasiewicz系统中反向三Ⅰ算法的形式解
- 2010年
- 通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三Ⅰ算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三Ⅰ算法的形式化推理机制.
- 刘东利段樱桃
- 关键词:形式解
- 伪效应代数中的模糊滤子与模糊理想被引量:3
- 2011年
- 在伪效应代数中提出了模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子和强模糊理想,得到了一些好的结论。
- 刘东利
- 关键词:模糊滤子