知识-信度的概率形式化模型及其在安全协议验证中的应用

项目名称： 知识-信度的概率形式化模型及其在安全协议验证中的应用

项目编号： No.60905036

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 周春来

作者单位： 中国人民大学

项目金额： 19万元

中文摘要： 概率方法和逻辑推理不仅仅是人工智能的理论基础，而且被广泛地应用于博弈论经济学中。 本课题是人工智能和博弈论经济学相结合的一项基础探索。本课题的概率逻辑来源于诺贝尔经济学奖获得者J. Harsanyi和R. Aumann的不完全信息的博弈论以及随后在多智能体系统中的应用。我们的主要目标是发展和完善从人工智能角度和博弈论经济学角度研究知识-信度系统的统一的概率演算以及以概率逻辑和概率互模拟为辅助工具探索建立一套面向安全协议的逻辑和语义学。

中文关键词： 概率推理；马尔科夫进程；信任函数；不确定性；

英文摘要：

英文关键词： probability logic；Markov processes；belief functions；uncertainty in AI；