Nonmonotonic相关论文
A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntact......
Inexact Newton method via Lanczos decomposed technique for solving box-constrained nonlinear systems
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Commonsense representation and manipulation based on fuzzy logic is a new research field which handles the incompletenes......
SSL协议是一个应用于互联网上的安全协议，使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的......
<正>类比在东西方文化中都具有十分悠久的历史.近几个世纪以来,其地位变得越来越重要,以至于被人们当作是人类墓本的认识过程。穆......
给出了一个解无约束最优化问题的非单调的新的BFGS校正的信赖域算法．将非单调算法应用于解信赖域问题。前人已卓有成效．本文的关键之......
提出一种新的模糊逻辑——数值模糊择优逻辑，给出了数值模糊择优逻辑的语法和语义，并研究了其性质．该逻辑结合多值逻辑和择优推理的语......
本文介绍了以期望集合和期望序列的两种方法来进行非单调推理的思想，并进一步介绍了以 不完全先序序列来推理的思想。这两种思想前......
我们提出了基于枚举函数的R-重构的概念,从语义和语法方面刻画了它的重要性质。特别,我们证明了这类R-重构是ω-递归可枚举集合,从......
讨论了求解无约束最优化问题的信赖域算法,给出了一种改进的非单调信赖域算法,该算法通过改变预计下降量,使其与实际下降量对应起......
本文研究不循环ＡＬＰ的说明语义，利用依赖关系的非自反应性，把程序的Ｈｅｒｂａｒａｎｄ基分类成一系列不相交集合，在此基础上，引进多重极限的概念，并证明，不循环......
ＮＯＮＭＯＮＯＴＯＮＩＣＴＲＵＴＨＭＡＩＮＴＥＮＡＮＣＥＳＹＳＴＥＭＳ＊ＹａｎｇＪｉｅＳｈｉＰｅｎｇｆｅｉ（ＩｎｓｔｉｔｕｔｅｏｆＩｍａｇｅＰｒｏｃｅｓｓｉｎｇａｎｄＰａｔｅｒｎＲｅｃｏｇｎｉｔｉｏｎ）ＡｂｓｔｒａｃｔＴｒｕｔｈｍａｉｎｔｅｎａｎｃｅ.........
ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｖｅｎｔｉｏｎａｌｄｅｄｕｃｔｉｖｅｉｎｆｅｒｅｎｃｅｉｓｍｏｎｏｔｏｎｉｃ，ａｎｄｉｔｉｓｉｎｓｕｆｉｃｉｅｎｔｔｏｓｏｌｖｅｐｒｏｂｌｅｍｓｉｎｃｏｍ－ｍｏｎｓｅｎｓｅｒｅａｓｏｎｉｎｇｅｆｉｃｉｅｎｔｌｙ．Ｎｏｎｍ.........
ＡＬｏｇｉｃａｌＡｐｐｒｏａｃｈｔｏＥｍｕｌａｔｉｏｎｏｆＨｉｇｈｅｒＭｅｎｔａｌＰｒｏｃｅｓｓｅｓＣＨＥＮＺｈｉｑｉａｎｇ；ＨＯＮＧＪｉａｒｏｎｇ（陈志强，洪家荣）（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＨａｒｂｉｎＩｎｓｔｉｔｕｔｅｏｆＴ.........
基于文（１）定义的ｃｏｎｔｅｘｔ逻辑ＣＬ，本文分别引入限制理论和缺省理论到ｃｏｎｔｅｘｔ推理中，给出有关的定义和定理。......
