基于时态逻辑的自动信任协商模型* (2007年) 时间:2021-05-18 14:02:29 【文件属性】: 文件名称:基于时态逻辑的自动信任协商模型* (2007年) 文件大小:63KB 文件格式:PDF 更新时间:2021-05-18 14:02:29 工程技术 论文 通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具。 立即下载