【摘 要】
：
该文提出了一种新的带缺省推理的描述逻辑,它以描述逻辑为主要框架,对单调逻辑和非单调逻辑进行了整合,但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑,构建了一种
论文部分内容阅读
该文提出了一种新的带缺省推理的描述逻辑,它以描述逻辑为主要框架,对单调逻辑和非单调逻辑进行了整合,但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑,构建了一种同时具有Tbox,Abox和缺省规则的知识库系统,研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题,提出了一种用来检测可满足性和缺省可满足性的Tableau-D算法,并得到了缺省可满足性和缺省包含的转换定理.
其他文献
提出并严格证明了具有统计不相关性的最佳鉴别特征空间的维数定理 :对含有L个类别的模式识别问题 ,具有统计不相关性的最佳鉴别特征空间的维数为 (L - 1) ;说明了具有统计不相关性的最佳鉴别变换与Wilks所提出的经典的模式特征抽取方法的关系 .在一定的条件下 ,具有统计不相关性的最佳鉴别矢量集等价于Wilks所提出的经典鉴别矢量集 .经典的模式特征抽取方法可以用来在不损失任何Fisher鉴别信息
近十年来,宝鸡磷肥厂迎着动荡的市场大潮的三次冲击,确立了自己的生产经营之道,企业驶入了良性循环的快车线。1994年各项经济指标取得了建厂以来的最好水平,完成产值2700多万
根据无线网络的实际测试结果,使用R/S分析法首次发现了 802.11无线局域网的业务量特性具有长相关性(自相似性),并发现两台无线设备进行点对点文件传输时的网络特性同样呈现出
作为全国18个“优化资本结构试 ”城市之一的宝鸡市新近出台了关于分流企业富余人员和分离企业办社会职能的新举措。这两项改革措施,将采取分步实施,平稳过渡,逐步推广的办法
当今世界,科技领域的竞争已成为各国综合国力竞争的一个焦点。而现代科学技求革命的核心和主流便是信息科学技术的革命,即信息革命。信息已成为社会发展的一种重要资源,信息
并行程序概念设计方法是将数据并行高层建模语言研究、并行识别方法、并行程序自动构造和人机交互界面技术集成在一起的并行程序设计的一种新方法,能简化并行程序设计,有效缩
1991年,美国麻省理工学院的詹姆斯·沃马克和丹尼尔·琼斯合著的畅销书《改变了世界的机器》,介绍了采用由丰田公司首创的“轻型生产方式”(Lean Production)。 所谓
实时数据库事务除满足一般的一致性(完整性)限制外必须满足时限,故高成功率的调度策略是系统的关键.该文提出了一种基于功能替代性的事务模型,它定义事务为若干任务(事务步)
首先给出了无穷远平面的单应矩阵以及仿射重建算法 ,然后从数学上严格证明了下述命题 :在变参数模型下 ,如果场景中含有一张平面和一对平行直线 ,或者场景中含有两张平行平面 ,则从两个平移视点下的图像均可以线性地对场景进行仿射重建 ;文章同时指出 :如果场景中包含一对平行平面和一对平行直线 ,则从两个一般运动视点也可以线性地重建场景的仿射几何 .大量的模拟和真实图像实验表明 ,该线性仿射重建算法是正确
衍生金融工具是指从股票、债券等比较传统的投资工具中衍生出来的各种投资工具的总称。它在金融市场上一般都是以合约的形式出现并附载于期货期权等交易活动中。近几年来,衍