In this paper, firstly, we will present some variants of the update semantics presented by Veltman1, and thus prove the model soundness and the model completeness of some epistemic systems and conditional systems with respect to the variants.
本文我们首先提出由Veltman1提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。
参考来源 - 适于认知系统和条件句系统的更新语义(英文)·2,447,543篇论文数据，部分数据来源于NoteExpress
Figure 15: Design model completeness measured by classes developed.
图15：通过被开发的类测量设计模型的完成情况。
Design model completeness: completeness of your architecture and design model, or design model progress (trend).
设计模型完成率：你的架构和设计模型的完成情况，或者设计模型的进展(趋势)。
Model completeness is an important characteristic by which the description power of data model is measured.
模型完备性是衡量数据模型描述能力的一种重要特性。
应用推荐