国家自然科学基金(60573014)
- 作品数：4 被引量：17H指数：4
- 相关作者：高庆狮杨炳儒刘宏岚李莉更多>>
- 相关机构：北京科技大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学语言文字更多>>
- 一种基于语义单元的查询扩展方法被引量：5
- 2008年
- 查询扩展技术通过向初始查询请求中加入相似或者相关的词,来减少查询请求与相关文献在表达上的不匹配现象,改善检索性能。本文利用语义单元的语义表达能力和语义单元之间的关系,将与初始查询具有密切语义关系的查询词或短语加入到初始查询请求中,更加全面地表示了用户的查询意愿。算法的时间复杂度为O(L),只与搜索请求的长度L有关,与语义单元表示库的规模无关,这对实时性要求较高的搜索引擎来讲是很实用的。
- 李莉高庆狮
- 关键词：信息检索查询扩展搜索引擎语义单元
- 概率命题逻辑中命题相等关系的两个层面与命题演算被引量：5
- 2009年
- 刘宏岚高庆狮杨炳儒
- 关键词：概率逻辑命题演算命题逻辑逻辑系统逻辑体系逻辑运算
- 多值逻辑中的命题相关性与逻辑运算研究被引量：5
- 2007年
- 命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.
- 刘宏岚高庆狮杨炳儒
- 关键词：多值逻辑逻辑运算命题公式真值函数
- 概率逻辑中的命题相关性与逻辑运算被引量：4
- 2008年
- 原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.
- 刘宏岚高庆狮杨炳儒
- 关键词：概率逻辑二值逻辑逻辑运算
