有限模型下的模态概率逻辑 | |
肖波 ; Bo Xiao | |
2016-03-30 ; 2016-03-30 | |
关键词 | 模态逻辑 概率逻辑 有限模型 B815.1 |
其他题名 | Modal Probabilistic Logic Based on Finite Model |
中文摘要 | 模态逻辑语义学是经典逻辑语义学的一个扩张,对"可能"、"必然"等词进行了刻画,而概率从某个角度来说是对"可能"的更加精确的表示。本文试图在模态逻辑语义学的基础之上,形式化地刻画如下直观思想:每一个在某一世界上有一定概率发生的事件都一定会在其可通达的某个(或者某些)可能世界上发生。; The modal propositional logic,which characterizes those words such as possibility and necessity and so on,is an extension of classical propositional logic.The word‘probability',to some extent,is a more exact description way of the word ‘possibility'.This article,which is based on semantics of modal logic,attempts to describe an intuitive idea,that is,any events which will be probably occurred in a world must be occurred in an accessible world. |
语种 | 中文 ; 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.lib.tsinghua.edu.cn/ir/item.do?handle=123456789/147747] |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 肖波,Bo Xiao. 有限模型下的模态概率逻辑[J],2016, 2016. |
APA | 肖波,&Bo Xiao.(2016).有限模型下的模态概率逻辑.. |
MLA | 肖波,et al."有限模型下的模态概率逻辑".(2016). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论