一种多值规则量词公式的tableau的方法

• 作者: 刘全 孙吉贵 窦全胜
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 多值规则公式 量词 tableau
• 年，卷（期）: 2003,（8）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 128-130,136
• 页数: 4页
• 分类号: P18
• 字数: 4213字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.08.051

摘要

在多值逻辑中,含有量词的tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明.但是由于扩展后的分枝非常庞大,使机器实现非常困难.文章通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.

作者信息

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