信念逻辑 meaning in English

logic of faith

This paper proposes a new method of modeling opponents in challenging environment , based on the model of bdi ( belief , desire , intention ) and combined with transposition principle and also probabilistic belief logic
本论文以agent的bdi模型为思维模型，在概率信念逻辑基础上，引入换位原理，给出了一种多智能体对手建模的新思路并将之应用到机器人足球比赛中。
In this paper , the belief logic system gny and it ' s related implementation tool spearii are utilized , ssl protocol is a focused instance , then the detailed analysis procedure from initial protocol model to various evolution protocol models is given , later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl . during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models
本文采用著名的信念逻辑gny逻辑系统及其相关的形式化工具spear ，以ssl协议为分析实例，详细阐述了从初始协议模型到各个进化协议模型的分析过程，并将最终的进化模型与ssl协议作比较，给出ssl协议的安全分析，同时在分析过程中以协议模型为基础设计了两个实用的安全认证方案。