若干限制形式的缺省推理的复杂性

• 作者: 丁德成 赵希顺
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 缺省逻辑 Horn缺省规则 轻信推理
• 年，卷（期）: 2000,（7）
• 页码范围: 881-888
• 页数: 8页
• 分类号: TP18
• 字数: 2584字
• 语种: 中文

摘要

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵希顺	南京大学数学系	1	0	0.0	0.0
2	丁德成	扬州大学数学系	1	0	0.0	0.0