李骏
- 作品数：58 被引量：250H指数：11
- 供职机构：陕西师范大学更多>>
- 发文基金：国家自然科学基金博士科研启动基金甘肃省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学更多>>
- 旋转对称逻辑公式的构造
- 2016年
- 给出了n=p_1^(a1)p_2^(a2)···p_(ωn)^(aωn)时已有方法计算长圈个数错误的反例,并得到了此情况下正确的长圈个数计算公式.研究了如何构造汉明重量为某个定值的旋转对称布尔函数.将旋转对称布尔函数引入到计量逻辑学中,提出了旋转对称逻辑公式的概念.找到了如何构造真度为某个定值的旋转对称逻辑公式的方法。
- 李骏何金龙
- 关键词：旋转对称布尔函数
- 计量逻辑学和程度化知识推理
- 李骏
- 关键词：真度伪距离知识推理信任度相容度
- 命题逻辑系统SMTL中公式的积分真度理论被引量：14
- 2013年
- 首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.
- 李骏姚锦涛
- 关键词：伪度量
- F-λ三角模的结构及其应用
- 2016年
- 讨论了一类左连续的三角模(即,F-λ三角模)的结构,基于F-λ三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-λ三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。
- 丁博李骏
- 关键词：正则蕴涵算子
- n值命题逻辑中公式列的收敛性
- 2016年
- 在n值R0命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。
- 蒙頔李骏
- 关键词：逻辑度量空间
- 随机控制理论研究内容及研究现状述评被引量：5
- 2004年
- 借助于基本模型的分析和经典问题的建模,对随机控制理论研究内容和研究现状进行了分析述评,由此也对随机控制自身的研究特点和进一步需要解决的问题作了分析论述.
- 黎锁平杜建军张民悦李骏
- 关键词：随机控制随机微分方程奇异型停时
- 对手写汉字黑板板书进行指导的方法、系统及设备
- 一种基于深度学习的对手写黑板汉字板书进行指导的方法，其包括如下步骤：S100：采集用于指导的黑板汉字板书的图像作为训练图像集；S200：对所述训练图像集进行预处理；S300：构建黑板板书整体布局数据集和单汉字美感度数据集...
- 韩广欣何聚厚房蓓李骏
- Lukasiewicz三值命题逻辑中命题的真度理论被引量：19
- 2004年
- 利用势为 3的均匀概率空间的无穷乘积在 L ukasiewicz三值命题逻辑中引入了公式的真度概念 ,证明了全体公式的真度值之集在 [0 ,1 ]上是稠密的 ,并给出真度的表达式 ;利用真度定义公式间的相似度 ,进而导出全体公式集上的一种伪距离 ,为三值命题的近似推理理论提供一种可能的框架。
- 李骏兰倩黎锁平
- 关键词：真度相似度
- n值标准序列逻辑系统中的近似推理理论被引量：7
- 2006年
- 在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.
- 李骏夏亚峰兰倩
- 关键词：真度相似度伪距离
- 标准序列逻辑系统S_3中公式的概率真度理论被引量：1
- 2009年
- 利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。
- 关晓红李骏
- 关键词：概率真度相似度伪距离孤立点
