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

• 作者: 吴凌坤 汤娜 汤庸
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 时态描述逻辑 知识表示 知识库 ALCmonμ.°
• 年，卷（期）: 2006,（z3）
• 所属期刊栏目: 工作流、电子政务/商务、数据仓库、数据库应用
• 页码范围: 626-630
• 页数: 5页
• 分类号: TP391
• 字数: 3776字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汤庸	中山大学计算机科学系	95	1243	20.0	30.0
2	汤娜	中山大学计算机科学系	15	232	6.0	15.0
3	吴凌坤	中山大学计算机科学系	6	10	2.0	3.0