一种含等词的分阶段Tableau算法

• 作者: 刘全 孙吉贵 张永刚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 等词 分阶段tableau 不等式析取 等价类
• 年，卷（期）: 2003,（8）
• 所属期刊栏目: 基金项目论文
• 页码范围: 44-46,142
• 页数: 4页
• 分类号: TP312
• 字数: 4073字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.08.017

摘要

在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,等词单独处理,利用提取不等式析取并在启发式的帮助下计算等价类的方法,进一步限制了tableau的搜索空间,提高了tableau的推理效率.同时,为了研究分阶段tableau的有效性,进行了实例分析,并与Fitting和Jeffrey方法进行了比较,结果表明,分阶段tableau方法优于其它方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
2	刘全	吉林大学计算机科学与技术学院	96	482	11.0	16.0
3	张永刚	吉林大学计算机科学与技术学院	35	296	9.0	16.0