期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

翻译成整数规划的IP-tableau方法

IP-tableau Method of Translating to Integer Programs
下载PDF
导出
摘要 由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后,可以采用许多提高IP效率的方法。另外在多值逻辑中,随着n值的增加,IP问题不会变得更加复杂。 IP-tableau method combines tableau with integer program by the fact of classical prepositional formulas corresponding to certain0-1-IP.The method is lifted to first-order logic,many-valued logic and infinited-valued logic.Many techniques that can improve IP efficiency are used,after tableau is translated to IP.On the other hand,IP can not change more complex with n value is increased in many-valued logic.
作者 刘全 孙吉贵
机构地区 苏州大学计算机科学与技术学院 吉林大学计算机科学与技术学院
出处 《计算机工程与应用》 CSCD 北大核心 2005年第11期33-36,76,共5页 Computer Engineering and Applications
基金 国家自然科学基金(编号:60073039 60273080)资助
关键词 整数规划 IP-tableau 一阶逻辑 多值逻辑 无穷值逻辑 Integer Programs ,IP-tableau,first-order logic,many-valued logic,infinited-valued logic
分类号 TP18 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献6

  • 1Zabel R.Proof theory of finity-valued logics[D].Ph D dissertation.Institut fur Algebra und Diskrete Mathematic,TU Wien, 1993.
  • 2Fitting M.Types and Tableau[M].Berlin:Springer Verlag,2000.
  • 3刘全,孙吉贵.非经典逻辑的语义tableau方法[J].计算机科学,2002,29(5):72-75. 被引量：10
  • 4Beckert B ,Hahnle R,Manya F.Transformations between signed and classical clause logic[C].In:Proc of ISMVL 99,IEEE Press,1999:248～255.
  • 5刘全,孙吉贵.提高一阶多值逻辑Tableau推理效率的布尔剪枝方法[J].计算机学报,2003,26(9):1165-1170. 被引量：10
  • 6Beckert B.Depth-first proof search without backtracking for free variable clausal tableaux[J].Journal of Logic and Computation ,2000;6(6) :819～834.

二级参考文献36

  • 1孙吉贵,刘叙华.表推演方法[J].计算机科学,1995,22(6):45-48. 被引量：2
  • 2Bessonet C G. A Many-Valued Approach to Deduction and Reasoning for Artifical Inteligence. Boston: Kluwer Academic Publishers, 1991.
  • 3Hgthnle R, Kernig W. Verification of switch level designs with many-valued logic. In: Proceedings of LPAR' 93, St. Petersburg, Russia, 1993. 158-169.
  • 4Kerber M, Kohlhase M. A Tableau calculus for partial functions. In: Collegium Logicum. Annals of the Kurt-Godel-Society. New York: Springer-Verlag, 1996. 21-49.
  • 5Bonissone P P. Soft computing: the convergence of emerging reasoning technologies. Soft Computing A Fusion of Foundations, Met hodologies and Applications, 1997,1 ( 1 ) : 6- 18.
  • 6Pearl J. Probabilistic Reasoning in Intelligent System:Networks of Plausible Inference. Revise Second Edition. Morgan Kaufmann,1994.
  • 7Messing B. Combining knowledge with many-valued Logies. In:Data Knowledge Engineering. Boston: Kluwer Aeademie Publishers,1997.
  • 8Zabel R. Proof theory of finity-valued logics [Ph D dissertationS. Institut far Algebra und Diskrete Mathematic,TU Wien,1993.
  • 9Hfihnle R. Uniform notation of Tableaux rules for multiple-valued logics. In: Proceedings of International Symposium on Multiple-Valued Logic, Los Alamitos, 1991. 238- 245.
  • 10Haihnle R. Automated Deduction in Multiple-Valued Logics.Britain:Oxford University Press,1994.

共引文献11

计算机工程与应用
2005年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部