We construct three kinds of systems of knowing action, prove that they have the frame soundness and frame completeness with respect to the matched semantics, respectively.

• 我们提出三类知道活动的系统，分别证明它们相对匹配的语义有框架可靠性和框架完全性。