首页 | 本学科首页   官方微博 | 高级检索  
     

谓词模态逻辑中变量的严格指派问题
引用本文:江峰. 谓词模态逻辑中变量的严格指派问题[J]. 计算机科学, 2009, 36(12): 219-222
作者姓名:江峰
作者单位:青岛科技大学信息与科学技术学院,青岛,266061
基金项目:国家自然科学基金,863计划项目,青岛科技大学引进人才启动基金 
摘    要:目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是.关于谓词模态逻辑还存在着很多的争议和问题.表面上看,在命题模态逻辑中添加相应的量词而得到谓词模态逻辑似乎是一件很简单的事情,但是这些新添加的量词却带来了许多的问题和麻烦,例如,变量的严格指派问题、不变论域与可变论域问题、跨界相等问题等.主要研究谓词模态逻辑中变量的严格指派问题.首先,介绍什么是变量的严格指派问题;其次,讨论对于该问题现有的解决办法及所存在的不足;最后,分析造成该问题的深层次原因,并简要介绍该问题的解决办法.

关 键 词:命题模态逻辑  谓词模态逻辑  可能世界  严格指派  本体
收稿时间:2009-05-04
修稿时间:2009-06-12

Problem of Rigid Assignment to Variables in Predicate Modal Logic
JIANG Feng. Problem of Rigid Assignment to Variables in Predicate Modal Logic[J]. Computer Science, 2009, 36(12): 219-222
Authors:JIANG Feng
Affiliation:(Callege of Information and Science Technology,Qingdao University of Science and Technology,Qingdao 266061,China)
Abstract: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 problem of rigid assignment to variables. Finally, we proposed our method by analyzing the basic reasons behind the problem of rigid assignment to variables.
Keywords:Prepositional modal logic  Predicate modal logic  Possible world  Rigid assignment  Ontology
本文献已被 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号