论文部分内容阅读
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在单射占先模型类中不成立 .
Bezzazi, Makinson, and Pino recently systematically studied some non-Horn-type inference rules (which are stronger than RM rules or not comparable to RM rules) and present the notation of non-monotonic inheritance of P + RM + WD and P + RM + RC. The other two non-monotonic backprophets P + WD and P + RC are presented as open problems.In this paper, two new preemptive model-assignment layered preemptive model and PRC model are proposed. In the case of limited language, The two model classes respectively establish the representation theorems of P + WD and P + RC inheritance, and give the negative answer to their other open problem by using the representation theorem of P + WD, which proves that the P + WD / Class does not hold.