An important problem is to construct models of such systems from a partial specification of dynamic properties, e. g., from a collection of state transition measurements.

一个重要的问题将构造一件动态财产的部分规格的如此的系统的模型，举例来说，从一个州转变测量的收集。

youdao

In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.

通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。

youdao