命题模态逻辑S5系统中并行推理方法

发布时间：2017-09-22 18:05

  本文关键词：命题模态逻辑S5系统中并行推理方法

  更多相关文章： 命题模态逻辑 S公理系统 并行推理 扩展规则

【摘要】：S5系统是一类知识表示能力和处理能力都较强的模态公理系统,它是认知逻辑、信念逻辑等非经典逻辑理论的基础。根据Kripke语义模型以及S5系统中部分公理,对命题模态逻辑S5公理系统的性质进行了较为深入的研究,并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析,提出了一种基于扩展规则方法的命题模态逻辑推理算法(propositional modal clausal reasoning based on novel extension rule,PMCRNER)。针对朴素算法时间复杂度较高的问题,利用任务间潜在的关联性对算法同时进行了粗粒度与细粒度并行化,提出了并行算法PPMCRNER(parallel PMCRNER)理论框架,并且与基本算法进行了对比。实验结果表明,PPMCRNER算法在不可满足的子句集上的推理具有良好的加速比,为高时间复杂性的模态推理方法的进一步研究提供了一种可行方案。
【作者单位】： 吉林大学计算机科学与技术学院;吉林大学数学学院;符号计算与知识工程教育部重点实验室(吉林大学);
【关键词】： 命题模态逻辑 S公理系统 并行推理 扩展规则
【基金】：国家自然科学基金Nos.61300049,61502197,61503044 高等学校博士学科点专项科研基金No.20120061120059~~
【分类号】：TP181
【正文快照】： 1引言 近年来,多种以模态逻辑为基础的复杂公理系统与框架被相继提出[1-3],关于模态逻辑甚至是更高阶的逻辑知识表示形式的理论研究逐渐成为人们关注的热点[4]。模态逻辑推理方法的研究是高阶公理系统和框架的原型实现的基础。自动推理领域主流的推理方法为归结方法、表推演

【相似文献】

中国期刊全文数据库 前10条

1 ;评弓肇祥新著《广义模态逻辑》[J];北方论丛;1996年01期

2 郭孟陶;;默认理论的非单调模态逻辑[J];计算机工程与科学;1989年02期

3 陈波;《广义模态逻辑》出版[J];教学与研究;1997年05期

4 程晓春,孙吉贵,姜云飞;次协调的模态逻辑[J];软件学报;1998年11期

5 代利;唐晓嘉;;基于判断聚合逻辑的偏好聚合分析[J];计算机科学;2012年06期

6 江峰;;谓词模态逻辑中变量的严格指派问题[J];计算机科学;2009年12期

7 时慧娴;王国俊;;多值模态逻辑的计量化方法[J];软件学报;2012年12期

8 郑军,朱娟,刘玉树;基于非常规模态逻辑的主体意图[J];北京理工大学学报;2002年04期

9 颜锋,陈韬略,韩婷婷,吕建;复制受限的环境演算中模态逻辑的内涵性[J];武汉大学学报(理学版);2004年05期

10 马希文;郭维德;;W—JS有关“知道”的模态逻辑[J];计算机研究与发展;1982年12期

中国重要会议论文全文数据库 前10条

1 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

2 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

3 冯棉;;模态逻辑研究中的若干问题[A];1993年逻辑研究专辑[C];1993年

4 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

5 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

6 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

7 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年

8 裘江杰;;一类认知词模态逻辑Ⅰ:基础逻辑[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

9 刘邦凡;;一个知识表示的广义模态逻辑方案[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

10 刘邦凡;何向东;;一个“知识”定义的逻辑解释[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

中国博士学位论文全文数据库 前3条

1 史t，

本文编号：902268