-
题名概率信念逻辑的语义
- 1
-
-
作者
曹子宁
石纯一
-
机构
清华大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2000年第11期1281-1286,共6页
-
基金
国家自然科学基金资助!(项目编号 6 99730 2 3
6 97730 2 6 )
-
文摘
在信念逻辑基础上 ,引入概率 ,给出了一种概率信念逻辑 PBL ,增强了信念逻辑的表述能力和推理能力 .并为 PBL 建立了两种语义 :首先将知识逻辑的 Aum ann语义进行推广 ,给出 PBL 逻辑的概率 Aum ann语义 .其次为 PBL 建立了一种正规概率模态语义 ,这是一种适于刻画概率模态逻辑的语义模型 .证明了 PBL 的概率 Aum ann语义和正规概率模态语义的可靠性 ,并讨论了正规概率模态语义与 Kripke语义的关系 .最后 ,通过一个例子说明了 PBL的描述能力和推理能力 .
-
关键词
Kripke语义
概率信念逻辑
人工智能
-
Keywords
belief logic, Kripke semantics, probabilistic belief logic, probabilistic Aumann semantics, normal probabilistic modal semantics
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名多Agent信念逻辑及其在概率意义下的推广
被引量：1
- 2
-
-
作者
曹子宁
董红斌
石纯一
-
机构
清华大学计算机科学与技术系
哈尔滨师范大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第9期1366-1374,共9页
-
基金
国家自然科学基金资助项目 (6 99730 2 3
6 97330 2 0 )
黑龙江省自然科学基金资助项目 (F0 0 - 0 4)~~
-
文摘
首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 .其次 ,建立了一种多 Agent概率信念逻辑 MPBL(multi- agent probabilisticbelief logic) ,通过在广义 Aumann语义基础上引入概率空间 ,给出了 MPBL的概率 Aumann语义 ,证明了它的可靠性 ,并给出 MPBL的一些推论 .
-
关键词
信念逻辑
Kripke语义
概率信念逻辑
多AGENT系统
人工智能
-
Keywords
belief logic
Kripke semantics
generalized Aumann semantics
probabilistic belief logic
probabilistic Aumann semantics
MAS (multi agent system)
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
