信息文檔結構信任模式的提取及邏輯描述

摘 要：信任模式是對事物可信判斷的指導，根據信任模式可以高效、快速地建立信任。信息文檔也具有信任模式。不同類型的信息文檔有著不同的規范和要求。根據這些規范和要求，可以對信息文檔結構信任模式進行提取。對信息文檔結構信任模式進行提取，提取出的信息文檔結構信任模式可用來判斷結構的完整性、內容連貫性和格式的規范性。信任模式用ALccTL邏輯描述，將信息文檔進行模型檢測驗證。如果文檔模型滿足邏輯公式。那么文檔滿足這些信任模式；否則，定位出錯位置，并輸出其不符合的信任模式。根據這些出錯信息可對文檔進行校正、評審或可信計算。