更新时间:-- | 阅读量: 71
一种重要的非单调逻辑.它是一种用于描述常识推理规律的模态逻辑系统,是有代表性的...Mα.其中“⟝”表示“非单调地推出”,它的语义仍使用形式演绎的固定点理论来刻画.模态非单调逻辑是由麦克德模特(McDermott)和道弗尔( ...
搜索到与“ 非单调”相关的文献共 2条
日常推理具有非单调性,而经典逻辑不足以刻画这样的推理,自认知逻辑是研究非单调推理的一种主要方法,它旨在为具有反思能力的主体的推理过程做形式的刻画。
《逻辑研究专辑》 2001年00期 关键词: "推理"," 非单调"," 自认知" 收藏
<p>研究了一类具有非单调感染率的时滞传染病模型,通过构造Lyapunov泛函,证明了该模型的地方性平衡点的全局稳定性.</p>
《信阳师范学院学报:自然科学版》 2015年4期 关键词: "传染病模型","时滞","非单调感染率","Lyapunov泛函","全局稳定性" 收藏
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved