非单调逻辑 meaning in English
non-monotonic logic
Examples
- On the non monotonic logical nature of pragmatic inference in conversational implicature
会话含义推导中的非单调逻辑属性 - Then a simple e - dealing system is devised to show the thoughts of the protocol . in order to formalize and verify the protocol , bzl logic model is built , which based on first - order logic and introduces many - sorted , dynamic and non - monotony logic
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了bzl逻辑模型。 - ( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem , and the first order logic is a half determinant one . so both the analysis of computing complexity and the realization of it are the most important fields
( 3 )众所周知，经典命题逻辑中的判定问题是np完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。