|
|||||
|
|
| 概率信念逻辑的语义 | |
| 引用本文： | 曹子宁,石纯一.概率信念逻辑的语义[J].计算机研究与发展,2000,37(11):1281-1286. |
| 作者姓名： | 曹子宁 石纯一 |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084 |
| 基金项目： | 国家自然科学基金资助!(项目编号 6 99730 2 3，6 97730 2 6 ) |
| 摘 要： | 在信念逻辑基础上，引入概率，给出了一种概率信念逻辑PBL，增强了信念逻辑的表述能力和推理能力。并为PBL建立了两种语义：首先将知识逻辑的Aumann语义进行推广，给出了PBL逻辑的概率Aumann语义，其次为PBL建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型。证明了PBL的概率Aumann语义和正规概率模记语义的可靠性，并讨论了正规概率模态语义与Kripke语义的关系。最后，通过一个例子说明了PBL的描述能力和推理能力。 |
| 关 键 词： | Kripke语义 概率信念逻辑 人工智能 |
THE SEMANTICS OF PROBABILISTIC BELIEF LOGIC |
|
| CAO Zi-Ning,SHI Chun-Yi.THE SEMANTICS OF PROBABILISTIC BELIEF LOGIC[J].Journal of Computer Research and Development,2000,37(11):1281-1286. | |
| Authors: | CAO Zi-Ning SHI Chun-Yi |
| Abstract: | |
| Keywords: | belief logic Kripke semantics probabilistic belief logic probabilistic Aumann semantics normal probabilistic modal semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |