非单调逻辑推理

更新时间:-- | 阅读量: 93

一种重要的非单调逻辑.它是一种用于描述常识推理规律的模态逻辑系统,是有代表性的...表示“非单调地推出”,它的语义仍使用形式演绎的固定点理论来刻画.模态非单调逻辑是由麦克德模特(McDermott)和道弗尔(Dovle)于1980年提出.

搜索到与“ 非单调逻辑推理”相关的文献共 0

查看更多

非单调逻辑推理相似词

非单调逻辑推理相关词

非单调逻辑推理相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号