摘要
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在单射占先模型类中不成立 .
H. Bezzazi, D. Makinson and R. Pino Perez discussed a number of non Horn rules that are stronger or incomparable with rational monotony. They establish a representation theorem for P+RM+WD and P+RM+RC. Their results lead to the open question of representation theorems for the weaker postulate sets P+RC and P+WD. This paper presents two new kinds of preferential models called valuation ranked preferential model and PRC model, and establishes the representation theorems for P+RC and P+WD in the framework of finite propositional logic in terms of valuation ranked preferential model and PRC model respectively. Finally, it gives negative answer for another open problem posed by H. Bezzazi, D. Makinson and R. Pino.
出处
《计算机学报》
EI
CSCD
北大核心
2000年第10期1009-1014,共6页
Chinese Journal of Computers
基金
国家自然科学基金!(6 9875 0 0 7)
国家"八六三"高技术研究发展计划!(86 3 -3 0 6 -ZT0 6 -0 3 -1)
江苏省自然科学基金!(BK99119)
关键词
非单调推理
赋值层化占先模型
人工智能
nonmonotonic reasoning, valuation ranked preferential model, representation theorem, non Horn rule
