期刊文献+

谓词模态逻辑中变量的严格指派问题 被引量:1

Problem of Rigid Assignment to Variables in Predicate Modal Logic
下载PDF
导出
摘要 目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。关于谓词模态逻辑还存在着很多的争议和问题。表面上看,在命题模态逻辑中添加相应的量词而得到谓词模态逻辑似乎是一件很简单的事情,但是这些新添加的量词却带来了许多的问题和麻烦,例如,变量的严格指派问题、不变论域与可变论域问题、跨界相等问题等。主要研究谓词模态逻辑中变量的严格指派问题。首先,介绍什么是变量的严格指派问题;其次,讨论对于该问题现有的解决办法及所存在的不足;最后,分析造成该问题的深层次原因,并简要介绍该问题的解决办法。 Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not. There exist many controversies and problems in predicate modal logic. It would seem to be a simple matter to obtain predicate modal logic by adding quantifiers to propositional modal logic. The addition of quantifiers, however, opens the door to a labyrinth full of twists and problems, such as the problem of rigid assignment to variables, the problem with constant domains versus varying domains, and the problem with transworld identity, etc. We mainly discussed the problem of rigid assignment to variables in predicate modal logic. First, we gave an introduction to the problem of rigid assignment to variables. Second,we discussed the shortcomings of existing methods for the pro- blem of rigid assignment to variables. Finally, we proposed our method by analyzing the basic reasons behind the problem of rigid assignment to variables.
作者 江峰
出处 《计算机科学》 CSCD 北大核心 2009年第12期219-222,共4页 Computer Science
基金 国家自然科学基金(60802042 60573063和60573064) 863计划项目(2007AA01Z325) 青岛科技大学引进人才启动基金资助
关键词 命题模态逻辑 谓词模态逻辑 可能世界 严格指派 本体 Propositional modal logic,Predicate modal logic,Possible world,Rigid assignment,Ontology
  • 相关文献

参考文献14

  • 1Aloni M. Quantification under conceptual covers [D]. Univ. of Amsterdam, 2001.
  • 2Barcan R C. The deduction theorem in a functional calculus of first order based on strict implication[J]. Journal of Symbolic Logic, 1946,11 : 115-118.
  • 3Fitting M C, Mendelsohn R. First-order modal logic[M]. Kluwer, 1998.
  • 4Fitting M C. On Quantified Modal Logic[J]. Fundamenta Informaticae, 1999, 39 (1/2) : 105-121.
  • 5Fitting M C. First-order intensional logic[J]. Annals of Pure and Applied Logic, 2004,127: 171-193.
  • 6Fitting M C. FOIL Axiomatized. Unpublished Manuscript[OL]. http://comet. lehman. cuny. edu/fitting/bookspapers/modal. html, 2006.
  • 7Garson J W. Quantification in modal logic[M]. Handbook of Philosophical Logic. Dordrecht: Kluwer Academic Publishers, 2001 : 267-323.
  • 8Hilken B P. Sheaf models of predicate intuitionistic modal logic I:Relational sheaves[D]. In preparation: Department of Computer Science, Manchester University, 1999.
  • 9Hughes G E, Cresswell M J. An New Introduction to Modal Logic[M]. London: Routledge, 1996.
  • 10Kripke S. Semantical considerations on modal Iogics[J]. Acta Philosophica Fennica, Modal and Many-valued Logics, 1963,16 :83-94.

同被引文献19

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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