非经典逻辑的语义tableau方法

摘要：

@@ 1.引言
自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域.

机标关键词：非经典逻辑、语义、人工智能、推理系统、计算机科学、推理方法、定理证明、多系统、应用、扩展、分枝、地位

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金;教育部高校骨干教师资助计划;吉林省自然科学基金

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

页数：共4页

页码：72-75