时态逻辑断言推理及其在SIDSS中的应用

Assertion Inference Based on Temporal Logic and Its Application in SIDSS

介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。

This article introduces the assertion inference and the basic concepts of temporal logic assertions. Taking the intelligent decision support system of salary (SIDSS) for example, it discusses the rules design, the formalization description, and the Java implementation in temporal logic assertions.