基于时态逻辑的自动信任协商模型* (2007年)

【文件属性】：

文件名称：基于时态逻辑的自动信任协商模型* (2007年)

文件大小：63KB

文件格式：PDF

更新时间：2024-06-07 07:49:09

工程技术 论文

通过分析自动信任协商系统中的行为抽象，形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型，分析了模型的语法和语义，为实现自动信任协商系统提供了有效的工具。