DocumentCode
2453038
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
fYear
2002
fDate
2002
Firstpage
351
Lastpage
354
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Supported Cooperative Work in Design, 2002. The 7th International Conference on
Print_ISBN
85-285-0050-0
Type
conf
DOI
10.1109/CSCWD.2002.1047713
Filename
1047713
Link To Document