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