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.
摘要： 介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。
关键词:
断言,
时态,
时态逻辑,
断言推理,
SIDSS,
规则
CLC Number:
LIU Dongning1, TANG Yong2, TANG Na2, LIU Haozhao1. Assertion Inference Based on Temporal Logic and Its Application in SIDSS[J]. , 2003, 29(17): 187-189.
刘冬宁,刘浩钊,汤庸,汤娜. 时态逻辑断言推理及其在SIDSS中的应用[J]. , 2003, 29(17): 187-189.