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

AN TABLEAU REASONING METHOD IN FIRST-ORDER MANY-VALUED REGULAR LOGIC

作　　者：刘全[1] 孙吉贵[1] 

机构地区：[1]吉林大学计算机科学系，吉林长春130023

出　　处：《广西师范大学学报（自然科学版）》2003年第1期101-105,共5页Journal of Guangxi Normal University:Natural Science Edition

基　　金：国家自然科学基金，吉林省自然科学基金

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

关 键 词：多值规则量词公式 TABLEAU方法 多值逻辑 扩展规范 人工智能 自动定理证明 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]