论文部分内容阅读
Bezzazi, Makinson及Pino最近系统地研究了一些非Horn型推理规则(它们强于RM规则或者与RM规则不可比),给出了P+RM+WD 与P+RM+RC非单调后承的表示定理,并将另两个非单调后承P+WD及P+RC的表示定理作为开问题提出来.文中提出两个新的占先模型类--赋值层化占先模型与PRC模型,在有限语言情形下,利用这两个模型类分别建立了P+WD及P+RC后承的表示定理.并用P+WD的表示定理对他们提出的另一开问题给出否定的答案,即证明了P+WD(≠)NR在单射占先模型类中不成立.