悖论逻辑ＬＰ是超协调逻辑之一，ＬＰｍ是ＬＰ的非单调扩展。ＬＰｍ不仅克服了ＬＰ缺陷，而且在没在矛盾的直接影响下它等价于经典逻辑。该文描述了ＬＰＭＰＰＳ系统是一个使......

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻......

语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重......

源自当今互联网的语义网研究的目的是定义信息语义和网络服务，因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑......

一、游戏活动法。低中年级学生抽象思维能力弱,形象思维能力强,因而教师可以把应用题教学贯穿于做游戏、讲故事、搞活动之中,使应......

悖论逻辑ＬＰ是一发协调逻辑，发展协调逻辑的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就量些在经典逻辑中有效的推理在ＬＰ中不......

修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻......

描述逻辑是一类用于表达结构化的知识,并按照规则来提取和推理的形式化语言,它是语义网本体的逻辑基础。在语义网这种开放变化的、......