三值命题演算相关硕士博士期刊学术论文

该文通过对非单调推理主要分支的考察,提出了以开放世界逻辑解决非单调问题的方法.首先,该文把缺省理论的单调性条件从规范情形推......