检索结果-维普期刊中文期刊服务平台

基于时态数据库的极小子结构逻辑系统被引量：19: 1; 作者刘冬宁汤庸 +1 位作者滕少华林哲《计算机学报》 EI CSCD 北大核心 2013年第8期1592-1601,共10页; 逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数... 展开更多; 关键词时态数据库子结构逻辑时态查询函数依赖; 在线阅读下载PDF 职称材料

智能主体的信念认知时态子结构逻辑模型被引量：2: 2; 作者刘冬宁汤庸《计算机应用研究》 CSCD 北大核心 2010年第7期2448-2451,共4页; 智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者... 展开更多; 关键词智能主体信念自省他省认知时态子结构逻辑; 在线阅读下载PDF 职称材料

基于子结构逻辑的不确定性语义时态查询技术研究被引量：1: 3; 作者滕少华涂宏俊刘冬宁《江西师范大学学报（自然科学版）》 CAS 北大核心 2017年第6期645-650,共6页; 为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型.基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,... 展开更多; 关键词时态数据库时态查询不确定性语义子结构逻辑; 在线阅读下载PDF 职称材料

一元子结构谓词逻辑中相似的代数语义: 4; 作者王军涛王梅折延宏《电子学报》 EI CAS CSCD 北大核心 2023年第4期956-964,共9页; 借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入... 展开更多; 关键词一元子结构谓词逻辑相似一元剩余格相似滤子完备性半线性扩张; 在线阅读下载PDF 职称材料

题名基于时态数据库的极小子结构逻辑系统被引量：19: 1; 作者刘冬宁汤庸滕少华林哲; 机构广东工业大学计算机学院中山大学逻辑与认知研究所华南师范大学计算机学院; 出处《计算机学报》 EI CSCD 北大核心 2013年第8期1592-1601,共10页; 基金国家自然科学基金(61272067 60970044 +5 种基金 61104156) 2011A010801007) 教育部重点实验室基金(110411)资助~~; 文摘逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.; 关键词时态数据库子结构逻辑时态查询函数依赖; Keywords temporal database substructural logic temporal query functional dependency; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名智能主体的信念认知时态子结构逻辑模型被引量：2: 2; 作者刘冬宁汤庸; 机构广东工业大学计算机学院华南师范大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2010年第7期2448-2451,共4页; 基金国家自然科学基金资助项目(60673135 60373081 +4 种基金 60736020) 广州市科技计划资助项目(07Z3-D3191); 文摘智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得"双省"信念的方式,针对其建立了相应的逻辑系统BSoET。; 关键词智能主体信念自省他省认知时态子结构逻辑; Keywords agent belief introspectiveness extrospectiveness substructural logic of epistemic and temporality; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于子结构逻辑的不确定性语义时态查询技术研究被引量：1: 3; 作者滕少华涂宏俊刘冬宁; 机构广东工业大学计算机学院; 出处《江西师范大学学报（自然科学版）》 CAS 北大核心 2017年第6期645-650,共6页; 基金国家自然科学基金(61402118 61673123) +5 种基金广东省科技计划(2015B090901016 2016B010108007) 粤教高函[2015]133号) 广州市科技计划(201604020145 201604046017)资助项目; 文摘为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型.基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.; 关键词时态数据库时态查询不确定性语义子结构逻辑; Keywords temporal database temporal querying uncertainty semantics substructural logic; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一元子结构谓词逻辑中相似的代数语义: 4; 作者王军涛王梅折延宏; 机构西安石油大学理学院陕西科技大学电气与控制工程学院; 出处《电子学报》 EI CAS CSCD 北大核心 2023年第4期956-964,共9页; 基金国家自然科学基金(No.12001423,No.61976244,No.12171294) 陕西省自然科学基础研究计划(No.2020JQ-762,No.2021JQ-580) 陕西省教育厅自然科学研究专项计划(No.20JK0626)。; 文摘借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题.; 关键词一元子结构谓词逻辑相似一元剩余格相似滤子完备性半线性扩张; Keywords monadic substructural predicate logic similarity monadic residuated lattice similarity filter complete-ness semilinear extension; 分类号 O155 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于时态数据库的极小子结构逻辑系统	刘冬宁汤庸滕少华林哲	《计算机学报》 EI CSCD 北大核心	2013	19	在线阅读下载PDF 职称材料
2	智能主体的信念认知时态子结构逻辑模型	刘冬宁汤庸	《计算机应用研究》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
3	基于子结构逻辑的不确定性语义时态查询技术研究	滕少华涂宏俊刘冬宁	《江西师范大学学报（自然科学版）》 CAS 北大核心	2017	1	在线阅读下载PDF 职称材料
4	一元子结构谓词逻辑中相似的代数语义	王军涛王梅折延宏	《电子学报》 EI CAS CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料