基于tableau的自动推理技术综述  

Automated Reasoning Based on Tableau

作　　者：刘全[1] 孙吉贵[2] 于万钧[2] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]吉林大学计算机科学与技术学院

出　　处：《计算机科学》2005年第11期1-4,15,共5页Computer Science

基　　金：国家自然科学基金(60073039);教育部骨干教师基金;吉林省自然科学基金(2000540)

摘　　要：tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。Tableau is an automated reasoning method approaching logic system. Tableau method has become one of the widespread automated reasoning due to its universal and audio-visual properties and easy to implement. In recent years many research results have been brought in related technology and tactics, theory and method in order to improve greatly in efficiency. Finally proposed is possible research trend of the development of tableau in the future.

关 键 词：TABLEAU 技术 策略 理论 方法 TABLEAU方法 自动推理 技术综述 推理方法 计算机实现 

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