一种分析电子商务协议的知识与信念模型-计算机应用研究.PDF

第２９卷第５期 计 算 机 应 用 研 究 Ｖｏｌ２９Ｎｏ５ ２０１２年５月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｍａｙ２０１２ 一种分析电子商务协议的知识与信念模型 １ １ ２ 刘文远 ，魏　刚 ，司亚利 （１．燕山大学信息科学与工程学院，河北秦皇岛０６６００４；２．燕山大学里仁学院，河北秦皇岛０６６００４） 摘　要：针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合 理的假设等问题，运用现代模态逻辑理论，结合知识与信念，提出了一种分析电子商务协议的模型：知识与信念 模型。该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素。知识与信念模型很好地解 决了上述问题，能够细致、精准地对各种电子商务协议进行形式化描述，并为不同的分析方法提供了模型支持。 关键词：知识与信念模型；电子商务协议；现代模态逻辑 中图分类号：ＴＰ３１１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１２）０５１７０２０５ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１２．０５．０２６ Ｋｎｏｗｌｅｄｇｅａｎｄｆａｉｔｈｍｏｄｅｌｏｆｅｌｅｃｔｒｏｎｉｃｃｏｍｍｅｒｃｅｐｒｏｔｏｃｏｌｓ １ １ ２ ＬＩＵＷｅｎｙｕａｎ，ＷＥＩＧａｎｇ，ＳＩＹａｌｉ （１．ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅ＆Ｅｎｇｉｎｅｅｒｉｎｇ，ＹａｎｓｈａｎＵｎｉｖｅｒｓｉｔｙ，ＱｉｎｈｕａｎｇｄａｏＨｅｂｅｉ０６６００４，Ｃｈｉｎａ；２．ＬｉｒｅｎＣｏｌｌｅｇｅｏｆＹａｎｓｈａｎＵｎｉｖｅｒ ｓｉｔｙ，ＱｉｎｈｕａｎｇｄａｏＨｅｂｅｉ０６６００４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ａｔｔｈｉｓｓｔａｇｅ，ｔｈｅｐｒｏｃｅｓｓｏｆｅｌｅｃｔｒｏｎｉｃｃｏｍｍｅｒｃｅｐｒｏｔｏｃｏｌｆｏｒｍａｌａｎａｌｙｓｉｓｉｓｃｈａｏｔｉｃ；ｄｅｓｃｒｉｐｔｉｏｎｈａｖｅｌｏｗｖｅｒｓａｔｉｌｉｔｙ ａｎｄａｃｃｕｒａｃｙ，ｕｓｕａｌｌｙｈａｓｓｏｍｅｕｎｒｅａｓｏｎａｂｌｅａｓｓｕｍｐｔｉｏｎｓ．Ｔｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｅｄａｍｏｄｅｌ—ｋｎｏｗｌｅｄｇｅａｎｄｆａｉｔｈｍｏｄｅｌ—ｕｓｅｄ ｍｏｄｅｒｎｔｈｅｏｒｙｏｆｍｏｒｄｅｎｍｏｄａｌｌｏｇｉｃａｃｃｏｒｄｉｎｇｔｏｋｎｏｗｌｅｄｇｅａｎｄｆａｉｔｈ．Ｔｈｅｍｏｄｅｌｃｏｎｔａｉｎｅｄｔｈｅｓｅｃｕｒｉｔｙｅｎｖｉｒｏｎｍｅｎｔ，ｋｎｏｗｌ ｅｄｇｅｓｅｔｓ，ｆａｉｔｈｓｅｔｓ，ｃａｐａｂｉｌｉｔｙｓｅｔ，ｔｈｅｔａｎｇｅｎｔｐｏｉｎｔａｎｄｔｏｋｎｏｗｌｅｄｇｅ．Ｔｈｅｍｏｄｅｌｐｕｔｆｏｒｗａｒｄａｇｏｏｄｓｏｌｕｔｉｏｎｔｏｔｈｏｓｅｐｒｏｂ ｌｅｍｓ，ｃｏｕｌｄｆｏｒｍａｌｄｅｓｃｒｉｐｔｄｉｆｆｅｒｅｎｔｅｌｅｃｔｒｏｎｉｃｃｏｍｍｅｒｃｅｐｒｏｔｏｃｏｌｓｐｒｅｃｉｓｅｌｙ，ａｎｄｐｒｏｖｉｄｅｄａｓｕｐｐｏｒｔｆｏｒｄｉｆｆｅｒｅｎｔａｎａｌｙｓｉｓ ｍｅｔｈｏｄ． Ｋｅｙｗｏｒｄｓ：ｋｎｏｗｌｅｄｇｅａｎｄｆａｉｔｈｍｏｄｅｌ；ｅｌｅｃｔｒｏｎｉｃｃｏｍｍｅｒｃｅｐｒｏｔｏｃｏｌｓ；ｍｏｒｄｅｎｍｏｄａｌｌｏｇｉｃ 体信念单调递增，协议运行结束时，各方达到最终信念，但不考 　引言 ［２］ 虑知识和不诚实的协议主体 ；串空间是用图的形式表达协 近年来电子商务活动发展迅速，已经成为