首页> 中文会议>第二十三届中国数据库学术会议（NDBC2006） >一种基于时态描述逻辑的工资智能决策支持系统的实现

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第二十三届中国数据库学术会议（NDBC2006）》|2006年|626-630|共5页
会议地点广州
作者
吴凌坤; 汤庸; 汤娜;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类信息处理（信息加工）;软件工程;
关键词
时态描述逻辑; 知识表示; 知识库; 智能决策支持系统;

相似文献

中文文献
外文文献
专利

1. 时态数据库在工资智能决策支持系统的应用 [J] . 张静 ,汤庸 . 现代计算机（专业版） . 2002,第006期
2. 一种模糊时态描述逻辑 [J] . 冉婕 ,黄吉亚 ,高琴 . 电子设计工程 . 2013,第017期
3. 基于时态描述逻辑ALC-μ的语义物联网服务验证 [J] . 韩乔 ,常亮 . 桂林电子科技大学学报 . 2017,第006期
4. 基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测 [J] . 朱创营 ,常亮 ,徐周波 . 计算机科学 . 2013,第010期
5. 基于粗糙描述逻辑的不精确时态知识表示研究 [J] . 张贤坤 ,刘栋 ,李乐明 . 计算机工程与设计 . 2012,第008期
6. 工资智能决策支持系统设计与实现 [C] . 汤庸 ,彭重嘉 ,李松 . 第六届中国人工智能职合学术会议 . 2001
7. 基于时态知识库的时态工资政策的研究和实现 [A] . 冯智圣 . 2004

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

摘要

著录项

相似文献

相关主题

期刊订阅