眭跃飞
- 作品数：47 被引量：166H指数：8
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于布尔语义的Gentzen推导模型
- 2015年
- 布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系,其中布尔代数中的不等式对应Gentzen系统中的矢列式,使得当一个不等式在任意布尔代数中为真,当且仅当它所对应的矢列式是可证的。并且使得在信息检索中,针对信息的推理可以有效地转为偏序集上的运算。讨论的命题逻辑语言的运算符为、ù、ú;并且定义了项(a|t|t1ùt2|t1út2其中a是一个元素)来替代原先的公式和表示布尔代数中的元素。此外,定义了以布尔代数为论域的赋值v,将命题逻辑中的项赋值为布尔代数中的元素,并且如果tΔΓt vtΔΔt v,则矢列式ΓT D为真。最后给出了Gentzen系统下的可靠性和完备性定理的证明。
- 陈博眭跃飞
- 关键词：布尔代数命题逻辑不等式
- 基于认知反映的信念逻辑
- 2008年
- Quine[9]提出了一类有关信念模态的难题,比如Cicero难题,这些难题的解读对模态逻辑语义具有重要的意义。目前的一阶模态逻辑普遍给予Quine难题以de re/de dicto解读。本文指出de re/de dicto解读存在缺陷,并且认为为了解读Quine难题,需要在一阶模态逻辑的模型中引入一个认知反映关系。在此观念下,本文提出了一个新的一阶模态逻辑系统---基于认知反映的信念逻辑。
- 李惠涛江峰眭跃飞曹存根
- 关键词：信念
- 基于粗糙熵的离群点检测方法及其在无监督入侵检测中的应用被引量：16
- 2020年
- 香农的信息熵被广泛用于粗糙集.利用粗糙集中的粗糙熵来检测离群点,提出一种基于粗糙熵的离群点检测方法,并应用于无监督入侵检测.首先,基于粗糙熵提出一种新的离群点定义,并设计出相应的离群点检测算法-–基于粗糙熵的离群点检测(rough entropy-based outlier detection,REOD);其次,通过将入侵行为看作是离群点,将REOD应用于入侵检测中,从而得到一种新的无监督入侵检测方法.通过多个数据集上的实验表明,REOD具有良好的离群点检测性能.另外,相对于现有的入侵检测方法,REOD具有较高的入侵检测率和较低的误报率,特别是其计算开销较小,适合于在海量高维的数据中检测入侵.
- 江峰王凯郦于旭眭跃飞杜军威
- 关键词：离群点检测粗糙集粗糙度粗糙熵
- R_(wtt)/ M_(wtt)中的枝点元素(英文)被引量：1
- 2000年
- 该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集
- 张再跃眭跃飞
- 关键词：递归可枚举度
- 多值粗糙集模型
- 本文提出一种多值粗糙集模型,讨论了在属性取多值情况下的粗糙集模型下的扩展.这种模型和相似模型有相近之处,提出一种新的近似关系.此外讨论了在决策属性取多值情况下,规则生成等方面的不同之处.
- 胡可云眭跃飞陆玉昌王驹石纯一
- 文献传递
- 面向数据库中关系的描述逻辑被引量：1
- 2013年
- 给出了两个面向数据库中关系的描述逻辑。在其中一个描述逻辑中,一个关系可以表示为一个知识库和这个知识库的模型,并且对于这个知识库的任意模型,都存在一个与该关系同构的子模型;在另一个描述逻辑中,一个关系可以表示为一个知识库和这个知识库的模型,以便这个知识库的任何模型都同构于这个关系。
- 眭跃飞刘超
- 关键词：数据库描述逻辑
- 收敛无穷计算及其应用被引量：1
- 2002年
- 经典计算不能很好地刻画无穷计算的行为 .基于形式系统序列及其极限 ,讨论一类称为收敛无穷计算的问题 ,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础 .提出了收敛无穷计算的一个逻辑和推理系统 ,其表达能力超过一阶逻辑 .还基于经典计算模型图灵 (Turing)机和形式系统序列及其极限 ,提出了收敛无穷计算的模型 ,称为过程模式 .在极限计算的意义下 ,其计算能力超过了Turing机和实数机器 .讨论了上述研究在数据挖掘中的应用 。
- 李未马世龙眭跃飞许可
- 国家知识基础设施中的数学知识表示被引量：2
- 2006年
- 数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(nationalknowledgeinfrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.
- 曹存根眭跃飞孙瑜曾庆田
- 关键词：数学知识描述逻辑本体
- 带函数的描述逻辑被引量：1
- 2008年
- 描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑,具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数,因此在图书馆的概念模型中,有一些问题便不能表示,如图书的本数、借书的条目数等。在现有描述逻辑基础上引入函数来解决这个问题。首先分析现有描述逻辑在图书馆的概念模型中不能表示的一些问题并提出解决方法,然后给出带函数的描述逻辑的语法和形式语义,最后用带函数的描述逻辑形式化表示图书馆概念模型中的一些实际问题。
- 丛晓青曹存根眭跃飞
- 关键词：描述逻辑角色
- 基于描述逻辑DL_(RBAC)的RBAC形式化模型
- 2010年
- 提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.
- 马丽马世龙眭跃飞
- 关键词：访问控制描述逻辑
