计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2012年
5期
1702-1706,1712
,共6页
知识与信念模型%电子商务协议%现代模态逻辑
知識與信唸模型%電子商務協議%現代模態邏輯
지식여신념모형%전자상무협의%현대모태라집
针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑理论,结合知识与信念,提出了一种分析电子商务协议的模型:知识与信念模型.该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素.知识与信念模型很好地解决了上述问题,能够细致、精准地对各种电子商务协议进行形式化描述,并为不同的分析方法提供了模型支持.
針對現階段電子商務協議形式化分析的處理比較混亂、錶述精確度不高且通用性較差、存在一些不閤理的假設等問題,運用現代模態邏輯理論,結閤知識與信唸,提齣瞭一種分析電子商務協議的模型:知識與信唸模型.該模型主要包含安全環境、知識集、信唸集、能力集、切入點和知識化等因素.知識與信唸模型很好地解決瞭上述問題,能夠細緻、精準地對各種電子商務協議進行形式化描述,併為不同的分析方法提供瞭模型支持.
침대현계단전자상무협의형식화분석적처리비교혼란、표술정학도불고차통용성교차、존재일사불합리적가설등문제,운용현대모태라집이론,결합지식여신념,제출료일충분석전자상무협의적모형:지식여신념모형.해모형주요포함안전배경、지식집、신념집、능력집、절입점화지식화등인소.지식여신념모형흔호지해결료상술문제,능구세치、정준지대각충전자상무협의진행형식화묘술,병위불동적분석방법제공료모형지지.
