论文部分内容阅读
苏木乡镇“去机关化”理论与实践探析
【出 处】
：
实践(思想理论版
【发表日期】
：
2014年09期
其他文献
非单调逻辑是人工智能研究领域的一个重要方向之一，为不同的逻辑规则提供相应的语义特征（即，建立表示定理）是非单调逻辑研究中的一个重要研究内容。本文探讨了算子在表示定理研究中的应用，主要工作如下：1．就两条非Horn型的规则——Weak Determinacy（WD）和Rational Contraposition（RC）——的语义进行了研究。在一般语言的框架下，基于δD(·)算子，给出了P+WD和P
学位