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

摘要：

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

关键词： 多值规则公式 量词公式 多值逻辑 推理方法

作者: 刘全 孙吉贵

作者单位: 吉林大学计算机科学系(吉林长春)

会议类型: 国内会议

会议名称: 第七届中国人工智能联合学术会议

会议地点: 桂林

会议语种:中文

页码: 101-105

在线出版日期: 2003-01-01（万方平台首次上网日期，不代表论文的发表时间）