-
题名赋值层化占先模型
被引量：1
- 1
-
-
作者
朱朝晖
陈世福
朱梧槚
-
机构
南京航空航天大学计算机科学研究所
南京大学计算机软件国家重点实验室南京
南京大学计算机软件国家重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2000年第10期1009-1014,共6页
-
基金
国家自然科学基金!(6 9875 0 0 7)
国家"八六三"高技术研究发展计划!(86 3 -3 0 6 -ZT0 6 -0 3 -1)
江苏省自然科学基金!(BK99119)
-
文摘
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在单射占先模型类中不成立 .
-
关键词
非单调推理
赋值层化占先模型
人工智能
-
Keywords
nonmonotonic reasoning, valuation ranked preferential model, representation theorem, non Horn rule
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
