计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
z3期
626-630
,共5页
时态描述逻辑%知识表示%知识库%ALCmonμ.°
時態描述邏輯%知識錶示%知識庫%ALCmonμ.°
시태묘술라집%지식표시%지식고%ALCmonμ.°
分析指出了现阶段工资智能决策支持系统的不足之处,即工资政策是通过人工编程实现,没有将其形式化,不能适应工资政策的易变性特点.根据工资政策的需求和特点,在时态描述逻辑ALCmon旆的基础上,扩展得到了新的时态描述逻辑EALCmon旆,并分析了其时间复杂度,然后讨论了工资智能决策支持系统基于该时态描述逻辑的实现方法,并给出了工资系统中工资政策的形式化和推理方法,最后讨论了该方法的优点和不足,并指出了以后的工作方向.
分析指齣瞭現階段工資智能決策支持繫統的不足之處,即工資政策是通過人工編程實現,沒有將其形式化,不能適應工資政策的易變性特點.根據工資政策的需求和特點,在時態描述邏輯ALCmon旆的基礎上,擴展得到瞭新的時態描述邏輯EALCmon旆,併分析瞭其時間複雜度,然後討論瞭工資智能決策支持繫統基于該時態描述邏輯的實現方法,併給齣瞭工資繫統中工資政策的形式化和推理方法,最後討論瞭該方法的優點和不足,併指齣瞭以後的工作方嚮.
분석지출료현계단공자지능결책지지계통적불족지처,즉공자정책시통과인공편정실현,몰유장기형식화,불능괄응공자정책적역변성특점.근거공자정책적수구화특점,재시태묘술라집ALCmon패적기출상,확전득도료신적시태묘술라집EALCmon패,병분석료기시간복잡도,연후토론료공자지능결책지지계통기우해시태묘술라집적실현방법,병급출료공자계통중공자정책적형식화화추리방법,최후토론료해방법적우점화불족,병지출료이후적공작방향.
