导　　师： 苏开乐

学科专业： H1202

授予学位： 博士

作　　者： ;

机构地区： 中山大学

摘　　要： 本文给出了一个知识推理的框架-知识框架，在该框架下变量忘记作为一基本操作，智能体可用其来对自己或其他智能体的知识进行推理.在该框架下，最弱充分条件起作重要作用.给定一背景知识库T，及针对智能体I的可观察变量集OI，我们证明了，智能体I知道公式ψ成立这一问题，可被转化为ψ在T下依赖OI的最弱充分条件是否成立问题.进一步，我们给出如何利用一般化最弱充分条件来定义和获得公共知识(COMMONKNOWLEDGE).该方法本质上是基于语义的，但通过使用知识结构，我们给出了一种基于语法的简洁形式来表示克里普克结构，所以在一定程度上避免了状态爆炸问题；通过构造协议的知识结构，把知识逻辑的语义应用到认证协议分析和验证中去.与类BAN逻辑相比，我们的方法可完全自动化，这是因为它是基于协议定义本身，而不需进行任何所谓理想化(IDEALIZATIONS)(无法用算法实现)处理.该方法的另一个显著特点是我们能够证明协议的正确性，而不是去找漏洞.并且我们实现了可以自动进行安全协议验证和分析的工具：SPV；OBDD由于其精致的结构，具有压缩空间的特点，加上高效算法，使得OBDD在模型检测等领域得到了很好的应用.我们利用OBDD的特点，设计出基于OBDD的整数集合运算算法，并把该算法应用到图像处理中去。 　　

关 键 词： 知识推理 知识框架 形式化方法 信息安全 协议验证 集合运算 图像处理 人工智能

分 类 号： [TN915.04 TP311.11]

领　　域： [电子电信] [电子电信] [自动化与计算机技术] [自动化与计算机技术]