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

描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5: 1; 作者张维侯金宏 +2 位作者曹发生王驹蒋运承《计算机研究与发展》 EI CSCD 北大核心 2010年第6期1053-1059,共7页; 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念... 展开更多; 关键词描述逻辑非标准推理概念描述树最小公共包含算法; 在线阅读下载PDF 职称材料

试论比较逻辑成为独立学科的合理性被引量：6: 2; 作者张学立张四化《中州学刊》 CSSCI 北大核心 2007年第4期139-142,共4页; 比较逻辑的研究不仅包括不同时代逻辑间的比对、内在汇通,而且包括世界三大逻辑传统的透视性比较。比较逻辑学应当是建基于各种逻辑之上的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自... 展开更多; 关键词比较逻辑比较逻辑学墨家逻辑印度逻辑亚里士多德逻辑; 在线阅读下载PDF 职称材料

循环ALCN-Tbox具有模型的条件被引量：13: 3; 作者曹发生余泉 +1 位作者王驹蒋运承《计算机学报》 EI CSCD 北大核心 2008年第1期16-23,共8页; 分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone... 展开更多; 关键词循环ALCN—Tbox NAME SYMBOL 最小不动点模型最大不动点模型 Tbox单调; 在线阅读下载PDF 职称材料