一种多值规则量词公式的Tableau的方法

AN TABLEAU REASONING METHOD IN FIRST-ORDER MANY-VALUED REGULAR LOGIC

下载PDF

导出

摘要在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难.通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.

作者刘全孙吉贵

机构地区吉林大学计算机科学系

出处《广西师范大学学报（自然科学版）》 CAS 2003年第1期101-105,共5页 Journal of Guangxi Normal University:Natural Science Edition

基金国家自然科学基金，吉林省自然科学基金

关键词多值规则量词公式 TABLEAU方法多值逻辑扩展规范人工智能自动定理证明

参考文献12

1[1]Raymond Smullyan.First-order logic[M].New York:Springer,1968.120-145.
2[2]Carnielli W A.Systematization of finite many-valued logics through the method of Tableaux[J].Journal of Symbolic Logic,1987,52(2):473-493.
3[3]de Bessonet C G.A many-valued approach to deduction and reasoning for artifical inteligence[M].Norwell,USA:Kluwer Academic Publishers,1991.45-60.
4[4]Hahnle R,Kernig W.Verification of switch level designs with many-valued logic[A].Voronkov A.Proc.LPAR'93[C].New York:Springer-Verlag,1993.158-169.
5[5]Kerber M,Kohlhase M.A resolution calculus for presuppositions[A].Proc 12th European conference on artifical intelligence,ECAI-96[C].New York:John Willey & Sons,1996.375-379.
6[6]Bonissone P P.Soft computing:the convergence of emerging reasoning technologies[J].Soft Computing-A Fusion of Foundations,Methodologies and Applications,1997,1(1):6-18.
7[7]Pearl J.Probabilistic reasoning in intelligent system:networks of plausible inference[M].Morgan Kaufmann:Revised Second Edition,1994.
8[8]Messing B.Combining knowledge with many-valued logics[J].Data Knowledge Engineering,to appear,1997:28-44.
9[9]Zabel Richard.Proof theory of finity-valued logics[D].Karlsruhe Jermanyi:University of Karlsruhe,1993.
10[10]Hahnle R.Uniform notation of Tableaux rules for multiple-valued logics[A].International symposium on multiple-valued logic[C].Los Alamitos:Victoria IEEE Press,1990.238-245.

广西师范大学学报（自然科学版）

2003年第1期

内容加载中请稍等...