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

分布式β-PSML语言框架及其应用被引量：3: 1; 作者苏依拉刘椿年《北京工业大学学报》 CAS CSCD 北大核心 2005年第4期427-433,共7页; 为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在... 展开更多; 关键词问题解决标记语言网络智能语义WEB; 在线阅读下载PDF 职称材料

β-PSML语言中的混合推理算法被引量：1: 2; 作者苏依拉刘椿年《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第10期1413-1417,共5页; 研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混... 展开更多; 关键词 WEB智能智慧Web 分布式问题解决问题解决标记语言混合推理; 在线阅读下载PDF 职称材料

β-PSML语言的推理及应用: 3; 作者苏依拉郑磊 +2 位作者刘椿年钟宁 LIU Jiming 《计算机工程》 EI CAS CSCD 北大核心 2005年第23期146-147,168,共3页; 随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用P... 展开更多; 关键词问题解决标记语言网络智能语义WEB; 在线阅读下载PDF 职称材料

β-PSML语言在WI的分布式环境中的应用: 4; 作者苏依拉刘椿年《北京工业大学学报》 EI CAS CSCD 北大核心 2011年第2期260-265,共6页; 在分布式、网络计算环境中,为了使在线的发现和匹配方法可行,采用预先定义的问题解决标记语言(problem solver markup language,PSML)的语法和语义开发和编写个体的内容和服务.在大型分布式Web环境下,提出了一种基于β-PSML的问题解决方... 展开更多; 关键词 WEB智能智慧Web 分布式问题解决问题解决标记语言; 在线阅读下载PDF 职称材料

β-PSML中混合推理算法的正确性证明: 5; 作者苏依拉《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第3期396-400,共5页; 根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.; 关键词分布式问题解决问题解决标记语言混合推理; 在线阅读下载PDF 职称材料

题名分布式β-PSML语言框架及其应用被引量：3: 1; 作者苏依拉刘椿年; 机构北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室; 出处《北京工业大学学报》 CAS CSCD 北大核心 2005年第4期427-433,共7页; 基金国家自然科学基金资助项目(60173014)北京市自然科学基金资助项目(4022003)内蒙古自治区自然科学基金资助项目(200208020217).; 文摘为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在语义Web和社会网络上的全局信息源与在企业门户中的本地知识与数据库完成.实验结果表明,分布式β-PSML语言通过结合全局与本地资源推理可给出正确的结果.; 关键词问题解决标记语言网络智能语义WEB; Keywords problem solver markup language Web intelligence semantic Web; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名β-PSML语言中的混合推理算法被引量：1: 2; 作者苏依拉刘椿年; 机构内蒙古工业大学信息工程学院北京工业大学多媒体与智能软件技术北京市重点实验室; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第10期1413-1417,共5页; 基金内蒙古自治区自然科学基金资助项目(20080404MS0904) 内蒙古自治区高等学校科学研究资助项目(NJ09068) 内蒙古工业大学科学研究资助项目(ZD200801); 文摘研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.; 关键词 WEB智能智慧Web 分布式问题解决问题解决标记语言混合推理; Keywords web intelligence wisdom web distributed problem solving problem solver markup language existential entailment; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名β-PSML语言的推理及应用: 3; 作者苏依拉郑磊刘椿年钟宁 LIU Jiming; 机构北京工业大学多媒体与智能软件技术北京市重点实验室北京工业大学多媒体与智能软件技术北京市重点实验室日本前桥工业大学香港浸会大学; 出处《计算机工程》 EI CAS CSCD 北大核心 2005年第23期146-147,168,共3页; 基金国家自然科学基金资助项目(4022003) 内蒙古自治区自然科学基金资助项目(200208020217) 多媒体与智能软件技术北京市重点实验室开放基金资助项目; 文摘随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用Prolog或OWL其中之一的推理引擎无法得到结果,只有通过结合Prolog和OWL二者的推理引擎进行推理才能得出结果。实验结果表明该方法是有效的,原型系统在语义Web上可得到良好的结果。; 关键词问题解决标记语言网络智能语义WEB; Keywords problem solver markup language（psml） Web intelligence Semantic Web; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名β-PSML语言在WI的分布式环境中的应用: 4; 作者苏依拉刘椿年; 机构内蒙古工业大学信息工程学院北京工业大学计算机学院; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2011年第2期260-265,共6页; 基金内蒙古自然科学基金资助项目(20080404MS0904) 内蒙古自治区高等学校科学研究资助项目(NJ09068) 内蒙古工业大学科学研究资助项目(ZD200801); 文摘在分布式、网络计算环境中,为了使在线的发现和匹配方法可行,采用预先定义的问题解决标记语言(problem solver markup language,PSML)的语法和语义开发和编写个体的内容和服务.在大型分布式Web环境下,提出了一种基于β-PSML的问题解决方法.实例表明,该方法可以很好地解决在分布式环境中的一些具体问题.; 关键词 WEB智能智慧Web 分布式问题解决问题解决标记语言; Keywords Web intelligence wisdom Web distributed problem solving problem solver markup language; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名β-PSML中混合推理算法的正确性证明: 5; 作者苏依拉; 机构内蒙古工业大学信息工程学院; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第3期396-400,共5页; 基金内蒙古自治区自然科学基金资助项目(20080404MS0904) 内蒙古自治区高等学校科学研究资助项目(NJ09068); 文摘根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.; 关键词分布式问题解决问题解决标记语言混合推理; Keywords distributed problem solving problem solver markup language existential entailment; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	分布式β-PSML语言框架及其应用	苏依拉刘椿年	《北京工业大学学报》 CAS CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料
2	β-PSML语言中的混合推理算法	苏依拉刘椿年	《北京工业大学学报》 EI CAS CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
3	β-PSML语言的推理及应用	苏依拉郑磊刘椿年钟宁 LIU Jiming	《计算机工程》 EI CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
4	β-PSML语言在WI的分布式环境中的应用	苏依拉刘椿年	《北京工业大学学报》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
5	β-PSML中混合推理算法的正确性证明	苏依拉	《北京工业大学学报》 EI CAS CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料