%0 Journal Article
%T Semantic Tableau Method in Non-Classical Logics<br>非经典逻辑的语义tableau方法
%A 刘全
%A 孙吉贵
%J 计算机科学
%D 2002
%I 
%X 1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位。许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域。目前主要的推理方法有:公理系统、自然演绎系统、归结系统、语义tableau系统,不同的方法对于不同的逻辑系统各有优劣。归结系统和语义tableau系统都比较适合于自动推理,其中归结系统与子句或合取范式CNF密切相关,对经典逻辑非常有效,但对于模态逻辑等非经典逻辑存在困难。首
%K 人工智能
%K 自动推理
%K 自动定理证明
%K 非经典逻辑
%K 语义tableau方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E9CD413765DE1900802DE98AF77001F0&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=94C357A881DFC066&sid=AA76E167F386B6B3&eid=80A07035DF96B0C4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=25