更新时间:-- | 阅读量: 93
一种重要的非单调逻辑.它是一种用于描述常识推理规律的模态逻辑系统,是有代表性的...表示“非单调地推出”,它的语义仍使用形式演绎的固定点理论来刻画.模态非单调逻辑是由麦克德模特(McDermott)和道弗尔(Dovle)于1980年提出.
搜索到与“ 非单调逻辑推理”相关的文献共 0条
《逻辑学研究》
《逻辑研究专辑》
《毕节学院学报》
《学语文》
《重庆理工大学学报(社会科学版)》
《重庆理工大学学报(自然科学版)》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号