题名 | 概率纤维化模态逻辑的计算复杂性研究; Research on Complexity of Probabilistic Fibred Modal Logic |
作者 | 吴垠 |
答辩日期 | 2012 ; 2012 |
导师 | 潘伟 ; 江敏 |
关键词 | 纤维化 模态逻辑 计算复杂性 概率化 fibring modal logic computational complexity probabilization |
英文摘要 | 将不同的逻辑系统进行组合,能够让我们以更加精细的方式来描述现实世界。不同的组合技术,如交融(Fusion),直积(Product),纤维化(Fibring)相继被提出,其中纤维化特别适合于对模态逻辑进行组合,因此备受关注。 本文从计算复杂性的视角,分析了一大类由正规模态逻辑通过纤维组合之后所得到的逻辑系统,分别证明了相关的可满足性问题的计算复杂性。与此同时本文证明了将两个S5系统通过纤维方法进行组合后,其中一个特殊的片段的可满足性问题的计算复杂性是NP-Complete的。本文的另一个重要贡献在于,介绍了一种对模态逻辑逻辑进行概率化的方式,并成功证明了概率化S5逻辑属于NP-complete...; The real world can be described accurately by combining two distinct logics. Many kinds of logic combining techniques are invented gradually, such as fushion, product and fibring, among which fibring gets much attention because it is very suitable for combining modal logics. In this paper, we will analyze the computational complexity of the satisfiability problem in a class of fibred logic syst...; 学位:工学硕士; 院系专业:信息科学与技术学院智能科学与技术系_模式识别与智能系统; 学号:31520091152853 |
语种 | zh_CN |
出处 | http://210.34.4.13:8080/lunwen/detail.asp?serial=34860 |
内容类型 | 学位论文 |
源URL | [http://dspace.xmu.edu.cn/handle/2288/49961] ![]() |
专题 | 信息技术-学位论文 |
推荐引用方式 GB/T 7714 | 吴垠. 概率纤维化模态逻辑的计算复杂性研究, Research on Complexity of Probabilistic Fibred Modal Logic[D]. 2012, 2012. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论