An inference model of temporal logic in an intelligent decision support system of salary

Temporal characters due to the alteration of salary policy and salary standards are discussed in this paper. According to these characters, the authors put forward a formalization inference model of temporal logic and present a discussion of the knowledge database driven by temporal knowledge, called the temporal-driven knowledge database.