子句集Σ的极大Horn下界

• 作者: 刘世林 裴峥
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: 自动推理 子句集的模型 极大Horn下界
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 计算机软件理论、技术与应用
• 页码范围: 11-13,26
• 分类号: TP181
• 字数: 4849字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2012.03.003

摘要

自动推理是人工智能领域的重要研究课题.基于Horn子句的快速推理是一种重要的自动推理方法.研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘世林	西华大学数学与计算机学院	5	5	1.0	2.0
2	裴峥	西华大学数学与计算机学院	39	259	10.0	14.0