| 基于tableau的自动推理技术综述 |
| |
| 引用本文： | 刘全,孙吉贵,于万钧.基于tableau的自动推理技术综述[J].计算机科学,2005,32(11):1-4. |
| |
| 作者姓名： | 刘全 孙吉贵 于万钧 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院,苏州,215006;吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012;吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012 |
| |
| 基金项目： | 国家自然科学基金（60073039）、教育部骨干教师基金和吉林省自然科学基金资助课题（2000540）. |
| |
| 摘 要： | tableau方法是一种接近于逻辑系统表示的自动推理方法，由于其直观性和通用性，易于计算机实现，成为目前最普及的自动推理方法之一。在提高系统效率方面，主要在相关技术和策略、理论和方法等方面进行了分析，并展望了未来的研究方向。
|
| 关 键 词： | Tableau 技术 策略 理论 方法 |
Automated Reasoning Based on Tableau |
| |
| LIU Quan,SUN Ji-Gui,YU Wan-Jun.Automated Reasoning Based on Tableau[J].Computer Science,2005,32(11):1-4. |
| |
| Authors: | LIU Quan SUN Ji-Gui YU Wan-Jun |
| |
| Affiliation: | 1.College of Computer Science and Technology, Suzhou University, Suzhou 215006;2.College of Computer Science and Technology, Jilin University, Changchun 130012 |
| |
| Abstract: | 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. |
| |
| Keywords: | Tableau method Technology Theory Method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
