-

检索结果分析

结果分析中...
检索条件:"关键词=表演算 "
条 记 录,以下是1-6
视图:
排序:
显示条数:
悖论逻辑的表演被引量:3
《软件学报》1996年第6期345-353,共9页林作铨 李未 
国家自然科学基金;国家863高技术计划与李嘉诚学术基金;国家基础研究攀登计划资助
悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下...
关键词:表演 超协调逻辑 悖论逻辑  
一种基于符号变换的描述逻辑ALC超协调推理
《计机科学》2011年第3期206-212,共7页张小旺 肖国辉 
国家自然科学基金(60973003)资助
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用...
关键词:语义互联网 描述逻辑ALC 表演 超协调表演 不协调性处理 
悖论逻辑及其表演
《计机学报》1998年第S1期17-23,共7页林作铨 
国家自然科学基金;国家863高科技基金;国家攀登计划资助
修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演.为此,本文在论证了(极小)悖论逻辑语义性质基础上,首先给出一个LP的(记号)表演,然后给出一个LPm的极小表演,并证...
关键词:表演 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑 
非周期TBox框架下的推理——拟经典描述逻辑与超协调表演(英文)被引量:1
《电子科技大学学报》2009年第5期656-668,共13页吴尽昭 侯晖 李绍荣 
863 Program(2007AA01Z143)~~
源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义...
关键词:非周期TBox 超协调推理 QCDLs 语义网 表演 
应用题教学激趣六法
《陕西教育(教学)》1994年第1期21-21,共1页谭成 
一、游戏活动法。低中年级学生抽象思维能力弱,形象思维能力强,因而教师可以把应用题教学贯穿于做游戏、讲故事、搞活动之中,使应用题具体化、生活化。教学加法应用题,可以让学生扮演小白兔和小灰兔,在音乐伴奏中表演式(4+2)、(4+3)、...
关键词:应用题教学 六法 表演 教师 竞赛评比 音乐伴奏 游戏活动 形象思维能力 生活化 讲故事 
何时回望旅程
《现代交际》2002年第3期64-64,共1页于帆 
从1998年10月份到现在,这是我选择的第三首张惠妹的歌。第一次不是因为阿Mei的大红大紫,不是为她歌曲的火爆流行,就是因为这是一首叫《旅程》的歌。你看到这期杂志的时候2002年已走过了两个月,可能没有了岁末年初的感慨,想及“旅...
关键词:旅程 表演 10月份 商业动机 矛盾斗争 2002年 歌曲 大紫 1998年 唱片 
检索报告 对象比较 聚类工具 使用帮助 返回顶部