发表服务
因此联想逻辑是一个区别于其它非单调推理系统的逻辑系统。在第四章中，我们建立了广义信念修正操作与一类占先模型的对应关系。这一结果给非单调推理系统RN提供了占先模型的表示定理，从而为进一步研究RN系统的特性奠定了基础。
5、非单调逻辑所谓“单调”,是指一个逻辑系统中的定理随着推理的进行而总是递增的。那么,非单调就是逻辑系统中的定理随着推理的进行而并非总是递增的,就是说也可能有时要减少。传统的逻辑系统都是单调逻辑。但事实上,现实世界却是非单调的。例如,人们
NSHOQD描述逻辑SHOQD的一个非单调扩展.（复旦大学计算机科学与工程系上海200433）（—wsx2000＠—sina．com）摘要描述逻辑SHOQ）给出了web本体语言DAML＋OIL的语义，但SHOQ（D）只能处理精确成立的知识，不能处理在实际情况中经常出现的不完备知识．对描述逻辑…
B·摩尔的论文《非单调逻辑的语义思考》(1983)据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。
非单调逻辑在科研中的两个例子精选.在拙文《三言两语话学习》发后，有学者志东先生留言：“‘在科研中，更多的是使用非经典逻辑的方法’。可以再写篇新文,专讲将这个话题。.”就我个人的能力而言张先生给我出了一个难题，但也给了一条出路，毕竟不...
非形式逻辑的对象及其发展趋势.PDF,2006年第2期中山大学学报社会科学版No.22006第46卷JOURNALOFSUNYATSENUNIVERSITYVol.46总200期...
非形式逻辑的对象及其发展趋势,逻辑,非单调逻辑,非形式逻辑,修辞学,论证评价。随着非单调逻辑的产生和发展,人们提出了“究竟什么是逻辑”的问题。对这个问题的两种不同回答,形成了逻辑学的两个学派??抽象...
一类非单调线搜索的拟牛顿法和共轭梯度法研究,非单调线搜索,拟牛顿法,BFGS修正公式,共轭梯度法,无约束最优化。本文研究了一类非单调线搜索技术在无约束优化问题拟牛顿算法和共轭梯度算法中的应用．该类非单调线性搜索是属于Armijo型...
1夏卫国;;试析司证的逻辑学进路[A];2010年全国应用逻辑研讨会会议论文集[C];2010年2刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年3陈雷明;邹欣;党德玉;;一种基于语义优化非单调推理的方法[A];2006年全国开放式分布与并行计算机学术会议...
3.1非单调逻辑概述28-303.2ALCHOURR6N对非单调逻辑的批判30-313.3SOETEMAN对法律证成的理解31-333.4依据逻辑的性质进行总结33-36第4章可废止性推理研究对我国法制进程的启示36-424.1可废止性推理与法律实践的关联36-374.2可废止性
因此联想逻辑是一个区别于其它非单调推理系统的逻辑系统。在第四章中，我们建立了广义信念修正操作与一类占先模型的对应关系。这一结果给非单调推理系统RN提供了占先模型的表示定理，从而为进一步研究RN系统的特性奠定了基础。
5、非单调逻辑所谓“单调”,是指一个逻辑系统中的定理随着推理的进行而总是递增的。那么,非单调就是逻辑系统中的定理随着推理的进行而并非总是递增的,就是说也可能有时要减少。传统的逻辑系统都是单调逻辑。但事实上,现实世界却是非单调的。例如,人们
NSHOQD描述逻辑SHOQD的一个非单调扩展.（复旦大学计算机科学与工程系上海200433）（—wsx2000＠—sina．com）摘要描述逻辑SHOQ）给出了web本体语言DAML＋OIL的语义，但SHOQ（D）只能处理精确成立的知识，不能处理在实际情况中经常出现的不完备知识．对描述逻辑…
B·摩尔的论文《非单调逻辑的语义思考》(1983)据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。
非单调逻辑在科研中的两个例子精选.在拙文《三言两语话学习》发后，有学者志东先生留言：“‘在科研中，更多的是使用非经典逻辑的方法’。可以再写篇新文,专讲将这个话题。.”就我个人的能力而言张先生给我出了一个难题，但也给了一条出路，毕竟不...
非形式逻辑的对象及其发展趋势.PDF,2006年第2期中山大学学报社会科学版No.22006第46卷JOURNALOFSUNYATSENUNIVERSITYVol.46总200期...
非形式逻辑的对象及其发展趋势,逻辑,非单调逻辑,非形式逻辑,修辞学,论证评价。随着非单调逻辑的产生和发展,人们提出了“究竟什么是逻辑”的问题。对这个问题的两种不同回答,形成了逻辑学的两个学派??抽象...
一类非单调线搜索的拟牛顿法和共轭梯度法研究,非单调线搜索,拟牛顿法,BFGS修正公式,共轭梯度法,无约束最优化。本文研究了一类非单调线搜索技术在无约束优化问题拟牛顿算法和共轭梯度算法中的应用．该类非单调线性搜索是属于Armijo型...
1夏卫国;;试析司证的逻辑学进路[A];2010年全国应用逻辑研讨会会议论文集[C];2010年2刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年3陈雷明;邹欣;党德玉;;一种基于语义优化非单调推理的方法[A];2006年全国开放式分布与并行计算机学术会议...
3.1非单调逻辑概述28-303.2ALCHOURR6N对非单调逻辑的批判30-313.3SOETEMAN对法律证成的理解31-333.4依据逻辑的性质进行总结33-36第4章可废止性推理研究对我国法制进程的启示36-424.1可废止性推理与法律实践的关联36-374.2可废止性
发表服务