Title :
An inference model of temporal logic in an intelligent decision support system of salary
Author :
Liu, Dongning ; Tang, Yong ; Tang, Na ; Wei, Wei ; Deng, Zhi
Author_Institution :
Dept. of Comput. Sci., Zhongshan Univ., Guangzhou, China
Abstract :
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.
Keywords :
decision support systems; deductive databases; inference mechanisms; salaries; temporal logic; formalization inference model; intelligent decision support system; salary; temporal logic; temporal-driven knowledge database; Computer science; Databases; Decision support systems; History; Intelligent systems; Logic; Remuneration;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2002. The 7th International Conference on
Print_ISBN :
85-285-0050-0
DOI :
10.1109/CSCWD.2002.1047713
