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

关键词: 断言, 时态, 时态逻辑, 断言推理, SIDSS, 规则

Abstract: 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.

中图分类号: 

• TP301