Security protocols use cryptography system to complete the tasks of principal identity authentication andseccion key dis......

首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL......

主体的认知世界可以划分为"信念世界(WB)"、"怀疑世界(WD)"和"无知世界(WU)",这三个世界中的元素是认知命题.这三个世界之间是不重......

<正> 科学的价值在于应用。逻辑学家西塞罗曾说过,光有智慧是不够的,还要善于运用它。当前许多应用逻辑分支雨后春笋般地发展起来,......

刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动......

传统“休谟法则”是关于道德推理有效性的问题，但将休谟问题当作逻辑效度问题来对待，既是对休谟本人的背离，也注定了该问题的无解。重......

基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介......

近几年,对网构软件可信性的研究成为学术界研究的热点,网构软件的出现给现有的软件技术研究提出了新的课题,现有的软件理论、方法......

<正>一、逻辑全知者问题逻辑学研究的对象是人的思维,现代数理逻辑与哲学逻辑则致力于考察人的推理行为与模式。作为个体的人,由于......

针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点，在传统Petri网基础上提出一种适合描述电子商务协议的信......

Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、......