对偶占优推理系统的表示定理的证明

摘要

为不同的逻辑规则提供相应的语义特征(即建立表示定理)是非单调逻辑研究中的重要内容之一。K.Britz，J.Heidema和W.Labuschagnez在经典的占优推理系统基础上引入了对偶占优推理的概念。本文给出了一种构造占优模型的方法，并利用该方法建立了对偶占优推理系统的表示定理。