欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
信任模式是对事物可信判断的指导,根据信任模式可以高效、快速地建立信任。信息文档也具有信任模式。不同类型的信息文档有着不同的规范和要求。根据这些规范和要求,可以对信息文档结构信任模式进行提取。对信息文档结构信任模式进行提取,提取出的信息文档结构信任模式可用来判断结构的完整性、内容连贯性和格式的规范性。信任模式用ALCCTL逻辑描述,将信息文档进行模型检测验证。如果文档模型满足逻辑公式,那么文档满足这些信任模式;否则,定位出错位置,并输出其不符合的信任模式。根据这些出错信息可对文档进行校正、评审或可信计算。
英文摘要：
Trust pattern is used as a tool to judge the credibility of kinds of documents. According to the intrinsic pattern,it can establish trust with good efficiency and rapidity. Information documents have trust patterns too. Particular documents have requirements and criterions of themselves. According to these requirements and criterions,one can extract the structure trust pattern of information document. Structure trust pattern of information documents can judge the integrity,consistency and normalization of information documents. This paper described these trust patterns of structure by ALCCTL and verify them by model checking. If the document model satisfied the logical formulas,the document met the requirement of these trust patterns. Otherwise,it would position the error locations and then output the incurrent trust pattern. Based on these error messa-ges,it would be easy to correct,review and compute trust degree on the document.
同期刊论文项目
同项目期刊论文
Interest-driven reasoning based on commitment alternating temporal logic in the P2P reputation syste
期刊信息
位置：