非经典逻辑的语义tableau方法 |
| |
引用本文: | 刘全,孙吉贵.非经典逻辑的语义tableau方法[J].计算机科学,2002,29(5):72-75. |
| |
作者姓名: | 刘全 孙吉贵 |
| |
作者单位: | 吉林大学计算机科学系,长春,130023 |
| |
基金项目: | 国家自然科学基金,教育部骨干教师基金,吉林省自然科学基金 |
| |
摘 要: | 1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位。许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域。目前主要的推理方法有:公理系统、自然演绎系统、归结系统、语义tableau系统,不同的方法对于不同的逻辑系统各有优劣。归结系统和语义tableau系统都比较适合于自动推理,其中归结系统与子句或合取范式CNF密切相关,对经典逻辑非常有效,但对于模态逻辑等非经典逻辑存在困难。首
|
关 键 词: | 人工智能 自动推理 自动定理证明 非经典逻辑 语义tableau方法 |
Semantic Tableau Method in Non-Classical Logics |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|