| Probabilistic Belief Logic and Its Probabilistic Aumann Semantics |
| |
| 作者姓名： | 曹子宁 石纯一 |
| |
| 作者单位： | [1]LaboratoryofComputerScience,InstituteofSoftware,TheChineseAcademyofSciencesBeijing100080,P.R.China [2]DepartmentofComputerScienceandTechnology,TsinghuaUniversity,Beijing100084,P.R.China |
| |
| 基金项目： | This work is supported by the National Natural Science Foundation of China under Grant Nos.60203028, 60173011,69833020. |
| |
| 摘 要： | In this paper, we present a logic system for probabilistic belief named PBL,which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid properties of belief and probabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness and completeness of these properties with respect to probabilistic Aumann semantics.
|
| 关 键 词： | 模态逻辑 概率信念逻辑 Aumann语义学 PBL |
Probabilistic belief logic and its probabilistic Aumann semantics |
| |
| ZiNing Cao,ChunYi Shi.Probabilistic Belief Logic and Its Probabilistic Aumann Semantics[J].Journal of Computer Science and Technology,2003,18(5):0-0. |
| |
| Authors: | ZiNing Cao ChunYi Shi |
| |
| Affiliation: | (1) Department of Computer Science and Technology, Tsinghua University, 100084 Beijing, P.R. China;(2) Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080 Beijing, P.R. China |
| |
| Abstract: | In this paper, we present a logic system for probabilistic belief named PBL, which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid properties of belief and probabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness and completeness of these properties with respect to probabilistic Aumann semantics. |
| |
| Keywords: | modal logic probabilistic belief logic Aumann semantics probabilistic Aumann semantics |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
