赋值层化占先模型

摘要：

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在单射占先模型类中不成立.

关键词：非单调推理、赋值层化占先模型、表示定理、非Horn型规则

所属期刊栏目：23

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目69875007;国家科技攻关项目863-306-ZT06-03-1;江苏省自然科学基金BK99119

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1009-1014