周训伟
- 作品数：30 被引量：2H指数：1
- 供职机构：北京联合大学更多>>
- 发文基金：北京市属高等学校人才强教计划资助项目北京市教育委员会科技发展计划面上项目更多>>
- 相关领域：自动化与计算机技术哲学宗教理学更多>>
- 互逆主义数学哲学与计算
- 2005年
- 指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用:二层单准Prolog的操作语义和指称语义。
- 周训伟鲍泓
- 关键词：数学哲学集合论形式语义
- 互逆主义集合论排除了逻辑-数学悖论
- 2008年
- 互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论,这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合,而互逆主义只研究有意义的集合,这种排除悖论的方法与ZFC认为大全集不存在的方法不同。
- 周训伟
- 关键词：罗素悖论
- 基于不确定性互逆主义逻辑的模糊关联规则挖掘
- 根据不确定性互逆主义逻辑提出一种模糊关联规则挖掘算法。算法分三层，从上至下分别是属性确定算法、否定号添加算法、可信度计算算法。本算法用于从关系数据库中挖掘模糊关联规则。
- 周训伟
- 关键词：不确定性模糊关联规则数据挖掘算法关系数据库
- 互逆真蕴涵的建立过程为何要这样定义
- 2006年
- 互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
- 周训伟鲍泓
- 关键词：极小集
- 互逆主义模糊商空间
- 互逆主义模糊商空间是作者所创立的互逆主义模糊逻辑与模糊商空间的结合，可用于等价类的模糊关联规则挖掘和模糊商空间推理。与互逆主义模糊逻辑的挖掘相比，互逆主义模糊商空间降低了计算复杂性。与互逆主义粗糙模糊逻辑的挖掘相比，互逆...
- 周训伟
- 关键词：粒计算模糊关联规则挖掘
- 文献传递
- 二层人工智能——基于互逆主义逻辑二层假言推理的人工智能
- 在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层单准Prolog的形式语义、自顶自下的二层单准专家系统、二层单准关系数据库、互逆主义机器人规划...
- 周训伟鲍泓
- 关键词：数理逻辑人工智能
- 文献传递
- 实质蕴涵与互逆真蕴涵
- 2009年
- 对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。
- 周训伟
- 关键词：经典逻辑实质蕴涵
- 互逆主义粗糙模糊区间逻辑
- 2012年
- 互逆主义粗糙模糊区间逻辑是将互逆主义逻辑与区间算术、模糊逻辑、粗糙集相结合,用于进行粒计算.互逆主义粗糙模糊区间逻辑可以在区间的划分块这一粗粒度上挖掘模糊关联规则.
- 周训伟
- 关键词：粒计算模糊关联规则挖掘
- 二层单准Prolog语言中的二层递归
- 二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递归、有二层递归出口的二层尾递归(它可以变换为二层迭代...
- 周训伟鲍泓
- 文献传递
- 全抽象事实空间中的单逻辑定理证明
- 2007年
- 逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。
- 周训伟
