转换成带符号子句的多值逻辑推理方法

• 作者: 刘全 张玉会 李龙 王辉
• 来源期刊: 大庆石油学院学报
• 学科: 工学
• 关键词: 带符号子句 多值tableau 极性 因子分解
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 信息科学与工程
• 页码范围: 73-76
• 页数: 4页
• 分类号: TP301.6
• 字数: 3374字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-4107.2004.01.023

摘要

将经典逻辑中的结构保留子句转换方法应用到带符号的多值公式中,产生输入规模是线性的范式,并引入极性的概念,减少冗余子句的产生.利用多值子句tableau方法证明该方法,并对适合于经典子句的包含删除、分解子因子等策略修改后,应用到多值子句tableau,提高了该方法的推理效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘全	大庆油田有限责任公司采油工程研究院	96	482	11.0	16.0
3	李龙	大庆石油学院计算机科学与工程学院	9	32	3.0	5.0
4	王辉	大庆石油学院计算机科学与工程学院	12	68	5.0	8.0
7	张玉会	大庆石油学院计算机科学与工程学院	3	6	2.0	2.0