因此联想逻辑是一个区别于其它非单调推理系统的逻辑系统。在第四章中，我们建立了广义信念修正操作与一类占先模型的对应关系。这一结果给非单调推理系统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可废止性
常识推理中非单调逻辑的研究论文摘要:联想是培养创造性的心智机能的一种思维活动.一个认知主体如果不善于联想,其知识不仅是零碎的、孤立的,而且是有限的.本文...
文档大小:876.09K文档热度:文档分类:论文--毕业论文文档标签:论文专业逻辑逻辑学非单调推理逻辑学专业及其应用学应用逻辑推理非单调系统标签:推理逻辑...
但是在处理日常复杂语境下的推理问题时,基于经典逻辑的单调推理具有一定的局限性。与之相反,非单调推理具有一定的灵活性。其特点是推理结论具有暂时性。随...
常识推理中非单调逻辑的研究论文目录第一章绪论第1-9页1.1常识推理与非单调推理第6-7页1.2联想是人类思维的一种基本方式第7-8页1.3内容梗概第8-9页第二章...
分享于2019-09-0223:35:10.0博士学位论文非单调推理的逻辑研究.文档格式:.pdf文档页数:61页文档大小:6.16M文档热度:文档分类:幼儿/小学教育--教育管...
非单调逻辑的可判定性与可译性如何使计算机能运用常识进行推理和问题求解是人工智能领域最困难的问题之一,非单调逻辑是以此为目标的知识表示语言中最重要的一类。本论文致力...
常识推理中非单调逻辑的研究论文摘要:联想是培养创造性的心智机能的一种思维活动.一个认知主体如果不善于联想,其知识不仅是零碎的、孤立的,而且是有限的.本文...
因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。林作铨计算机学报林作铨.经验逻辑:一种非单调逻辑的统一形式[J].计算机学报,1993,(08):568-576.林作铨.经验逻辑:...