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

基于可计算性逻辑的知识表示与推理被引量：4: 1; 作者许文艳刘三阳《吉林大学学报（理学版）》 CAS CSCD 北大核心 2009年第6期1230-1236,共7页; 以可计算性逻辑的完备子集CL4为基础进行知识表示,将知识分为简单知识与一般知识.通过分析知识库系统的特点和需求,给出了采用正反向混合推理方法的推理机设计,并举例说明以CL4为基础的知识库系统,具有能够表达和查询更细致的知识、便... 展开更多; 关键词可计算性逻辑知识库系统知识表示推理机; 在线阅读下载PDF 职称材料

可计算性逻辑中CoL2系统的可判定性分析: 2; 作者李兴香栾峻峰《计算机科学》 CSCD 北大核心 2015年第7期44-47,共4页; 可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种交互的资源逻辑。其中,CoL2系统采用博弈的语义,是对经典命题逻辑的扩展,在经... 展开更多; 关键词可计算性逻辑 CoL2 交互计算博弈语义; 在线阅读下载PDF 职称材料

知识库系统的逻辑基础被引量：17: 3; 作者许文艳刘三阳《计算机学报》 EI CSCD 北大核心 2009年第11期2123-2129,共7页; 针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足... 展开更多; 关键词可计算性逻辑知识库系统博弈交互资源; 在线阅读下载PDF 职称材料

Extended IF逻辑的命题演算系统: 4; 作者许文艳《软件学报》 EI CSCD 北大核心 2015年第9期2278-2285,共8页; Extended IF逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent演算方法,给出了一个关于Cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联... 展开更多; 关键词 Cirquent演算可计算性逻辑 EXTENDED IF逻辑; 在线阅读下载PDF 职称材料

题名基于可计算性逻辑的知识表示与推理被引量：4: 1; 作者许文艳刘三阳; 机构西安电子科技大学理学院应用数学系; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2009年第6期1230-1236,共7页; 基金国家自然科学基金(批准号:6057407560674108); 文摘以可计算性逻辑的完备子集CL4为基础进行知识表示,将知识分为简单知识与一般知识.通过分析知识库系统的特点和需求,给出了采用正反向混合推理方法的推理机设计,并举例说明以CL4为基础的知识库系统,具有能够表达和查询更细致的知识、便于用户和系统交互的优点.; 关键词可计算性逻辑知识库系统知识表示推理机; Keywords computability logic knowledgebase system knowledge representatin reasoning; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名可计算性逻辑中CoL2系统的可判定性分析: 2; 作者李兴香栾峻峰; 机构山东大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2015年第7期44-47,共4页; 基金国家自然科学基金项目(61202014)资助; 文摘可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种交互的资源逻辑。其中,CoL2系统采用博弈的语义,是对经典命题逻辑的扩展,在经典命题逻辑的基础上添加了选择运算和一般原子,比经典命题逻辑更富有表达力,具有更广阔的应用前景,并且有较高的证明效率。分析了CoL2系统的可判定性,即通过提出一个算法来判断任意一个CoL2公式是否是可证明的,并且证明了该算法是多项式空间内运行的。; 关键词可计算性逻辑 CoL2 交互计算博弈语义; Keywords Computability logic CoL2 Interactive algorithms Game semantics; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名知识库系统的逻辑基础被引量：17: 3; 作者许文艳刘三阳; 机构西安电子科技大学理学院应用数学系; 出处《计算机学报》 EI CSCD 北大核心 2009年第11期2123-2129,共7页; 基金国家自然科学基金(60574075 60674108)资助; 文摘针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点.; 关键词可计算性逻辑知识库系统博弈交互资源; Keywords computability logic knowledgebase system game interactive resources; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Extended IF逻辑的命题演算系统: 4; 作者许文艳; 机构西安电子科技大学数学与统计学院; 出处《软件学报》 EI CSCD 北大核心 2015年第9期2278-2285,共8页; 基金国家自然科学基金(61303030) 中央高校基本科研业务费(K5051370023) 国家留学基金; 文摘 Extended IF逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent演算方法,给出了一个关于Cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使Extended IF逻辑在命题水平得到了真正意义上的公理化.; 关键词 Cirquent演算可计算性逻辑 EXTENDED IF逻辑; Keywords Cirquent calculus computability logic Extended IF logic; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料