基于扩展消息子句关系的不变集表示

摘要

本文指出串空间模型中消息子句关系的局限性,并通过引入映射f:K×Bn-1→B,扩展了该消息子句关系.扩展消息子句关系可以修补由消息子句关系引起的原模型缺陷.在扩展消息子句关系下,给出子句不变集表示,并论证理想诚实性判定定理具有保持原有描述形式不变的特点.