[1]郝国舜,马世龙,眭跃飞.一种扩展的动态描述逻辑语言及其 Tableau 算法[J].智能系统学报,2009,4(03):226-233.
 HAO Guo-shun,MA Shi-long,SUI Yue-fei.An extended dynamic description logic language and its Tableau algorithm[J].CAAI Transactions on Intelligent Systems,2009,4(03):226-233.
点击复制

一种扩展的动态描述逻辑语言及其 Tableau 算法(/HTML)
分享到:

《智能系统学报》[ISSN:1673-4785/CN:23-1538/TP]

卷:
第4卷
期数:
2009年03期
页码:
226-233
栏目:
出版日期:
2009-06-25

文章信息/Info

Title:
An extended dynamic description logic language  and   its Tableau algorithm
文章编号:
1673-4785(2009)03-0226-08
作者:
郝国舜1马世龙1眭跃飞2
1.北京航空航天大学 软件开发环境国家重点实验室,北京 100191;
2.中科院计算所 智能信息处理重点实验室,北京100080
Author(s):
HAO Guo-shun1MA Shi-long1SUI Yue-fei2
1.National Laboratory of Software Development Environment, Beihang University, Beijing 100191, China;
2.Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China
关键词:
动态描述逻辑 模态逻辑 动态逻辑Tableau算法
Keywords:
dynamic description logic modal logic dynamic logic Tableau algorithm
分类号:
TP301
文献标志码:
A
摘要:
对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达.因此提出了一个扩展的动态描述逻辑语言,在原子动作模态词的形式中可以表示动作的属性,从而区分了一类动作和具体动作.通过对可达关系进行限制,定义了此特殊形式模态词动作的语义.另外,还提供了此语言的Tableau算法,并证明了此算法的可终止性和完备性.
Abstract:
Accurate descriptions of actions in a dynamic system are essential, yet dynamic description logic languages presently available cannot meet that need because they use indivisible symbols representing atomic actions. This results in action classes and action instances being indistinguishable, with relationships between different action instances similarly inexpressible. An extended dynamic description logic language was proposed by extending the form of atomic modal operators within a parameter set. With the parameter set enabled, an atomic modal operator can represent a class of actions; by assigning concrete values to a parameter, a subclass of actions could be generated; a special subclass of actions containing only one action instance could be generated when all parameters are assigned. Hierarchy trees of actions could be developed like the concept tree. The action behaviors of the special modal operators were defined in a different manner, not merely two arbitrary possible words but those satisfying certain limitations could be reachable, and the limitations denote action behaviors. Representing actions with hierarchy trees has important meanings in action description. A sound Tableau algorithm was also provided which demonstrates the practical value of the proposed language.

参考文献/References:

[1]BAADER F, CALVANESE D, MCGUINNESS D, et al. The description logic handbook: theory, implementation, and applications[M].Cambrige,UK: Cambridge University Press, 2003.
 [2]EMERSON E A. Temporal and modal logic[M].Van LEEUWEN J. Handbook of theoretical computer science, Volume B: formal models and sematics. Amsterdam: Elsevier and MIT Press, 1990: 9951072.
[3]GABBAY D, GUENTHER F. Handbook of philosophical logic, Volume II: extensions of classical logic[M]. Dordrecht, The Netherlands: Kluwer Academic Publishers, 1984.
[4]WOLTER F, ZAKHARYASCHEV M. Modal description logics: modalizing roles[J]. Fundamenta Informaticae, 1999, 39(4): 411438.
[5]WOLTER F, ZAKHARYASCHEV M. Dynamic description logics[J]. Advances in Modal Logic, 2000, 2: 449463.
[6]FITTING M, MENDELSOHN R L.Firstorder modal logic[M]. Norwell, USA: Kluwer Academic Publishers, 1999. 
[7]BAADER F, SATTLER U. Expressive number restrictions in description logics[J]. Journal of Logic and Computation, 1999, 9(3): 319350.
 [8]FRANCESCO M D, MAURIZIO L, DANIELE N, et al. The complexity of concept languages[J]. Information and Computation, 1997, 134(1): 158.
[9]NUTT W. Algorithms for constraints in deduction and knowledge representation[D]. Saarbrücken, Germany: University of Saarland, 1993.

相似文献/References:

[1]史忠植,林 芬,罗杰文.主体网格智能平台AGrIP构建及其应用[J].智能系统学报,2006,1(01):17.
 SHI Zhong-zhi,LIN Fen,LUO Jie-wen.AGrIP-agent grid intelligence platform[J].CAAI Transactions on Intelligent Systems,2006,1(03):17.
[2]史忠植,张子云.基于主体的智能协同决策支持系统[J].智能系统学报,2008,3(05):377.
 SH I Zhong-zhi,ZHANG Zi-yun,Agent-based intelligent collaborative dec ision support system[J].CAAI Transactions on Intelligent Systems,2008,3(03):377.
[3]万长林,陈立民,王竹晓,等.语义Web服务组合中的服务建模及规划算法[J].智能系统学报,2009,4(06):490.[doi:10.3969/j.issn.1673-4785.2009.06.004]
 WAN Chang-lin,CHEN Li-min,WANG Zhu-xiao,et al.Semantic model and planning algorithm for Web service composition[J].CAAI Transactions on Intelligent Systems,2009,4(03):490.[doi:10.3969/j.issn.1673-4785.2009.06.004]

备注/Memo

备注/Memo:
收稿日期:2008-08-22.
基金项目:国家“973”计划资助项目(2005CB321902).
通信作者:马世龙. E-mail: slma@nlsde.buaa.edu.cn.
作者简介:
郝国舜,男,1978年生,博士研究生,主要研究方向为服务计算、描述逻辑、数据汇聚等.发表学术论文多篇,作为第一作者发表的EI检索论文4篇.
马世龙,男,1953年生,教授、博士生导师,国家自然科学基金委员会第十、十一届信息科学部专家评审组成员、国防科工委国防基础研究基金专家评审组成员、亚洲软件基础学会执行委员会委员、中国人工智能学会常务理事,Frontiers of Computer Sciencein China编委.主要研究方向为自动推理及其应用研究、网络环境下的计算模型和逻辑研究、海量信息处理的计算模型研究.承担过多项国家“973”和“863”项目,并获得1998年度教育部科技进步三等奖.发表学术论文80余篇, 出版学术专著2部.
 眭跃飞,男,1963年生,研究员.主要的研究方向为形式本体论的研究,用信息熵研究概念分类,以及用描述逻辑研究概念间的推理等.改进了Guntsch和Gediga关于Wong和Ziark猜测的结果;证明了粗关系数据库中信息熵关于粗关系数据库的加细的单调性;提出了分层在线调页算法等. 发表学术论文17篇.
更新日期/Last Update: 2009-08-31