赋值层化占先模型

• 作者: 朱朝晖 朱梧( ) 陈世福
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 非单调推理 赋值层化占先模型 表示定理 非Horn型规则
• 年，卷（期）: 2000,（10）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1009-1014
• 页数: 6页
• 分类号: TP18
• 字数: 7350字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2000.10.001

摘要

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指数	G指数
1	陈世福	南京大学计算机软件国家重点实验室	169	4351	32.0	60.0
2	朱朝晖	南京航空航天大学计算机科学研究所	11	19	3.0	4.0
6	朱梧( )	南京航空航天大学计算机科学研究所	1	1	1.0	1.0