节点文献

一种基于时态描述逻辑的工资智能决策支持系统的实现

An Implementation of SIDSS Based on Temporal Description Logic

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 Wu Lingkun,Tang Yong,and Tang Na (Department of Com puter Science,Sun Yat-sen University,Guangzhou 510275)

【摘要】分析指出了现阶段工资智能决策支持系统的不足之处,即工资政策是通过人工编程实现,没有将其形式化,不能适应工资政策的易变性特点.根据工资政策的需求和特点,在时态描述逻辑ALC_μ.。^mon的基础上,扩展得到了新的时态描述逻辑EALC_μ.。^mon,并分析了其时间复杂度,然后讨论了工资智能决策支持系统基于该时态描述逻辑的实现方法,并给出了工资系统中工资政策的形式化和推理方法,最后讨论了该方法的优点和不足,并指出了以后的工作方向.更多还原

【Abstract】 The current version of supportive intelligent decision salary system（SIDSS） has an obvious disadvantage:the salary policies have not been formalized,which is inflexiable because of the changeability of salary policies.According to the characteristics of salary policies,an extended temporal description logic EALC_μ（?）^mon is proposed based on former temporal description logic ALC_μ（?）^mon.An implementation of SIDSS based on EALC_μ（?）^mon is introduced,and then the formalization of salary policies and example inferences over this formalized salary policies are given.Its advantage and disadvantage are discussed at the end,and further work is pointed out.更多还原

【关键词】时态描述逻辑；知识表示；知识库； ALC_μ·°^mon；
【Key words】 temporal description logic； knowledge representation； knowledge base； ALC_η（?）^mon；

【基金】国家自然科学基金项目(60373081);广东省自然科学基金项目(04105503,5003348);教育部“新世纪优秀人才支持计划”基金项目;广东省科技计划基金项目(2005B10101041);广州市科技计划基金项目(2005Z3-D3021);东莞市科技计划基金项目(2005D026)

【会议录名称】第二十三届中国数据库学术会议论文集（研究报告篇）

【会议名称】第二十三届中国数据库学术会议

【会议时间】2006-11-10
【会议地点】中国广东广州
【分类号】O225

【主办单位】中国计算机学会数据库专业委员会

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献