登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
基于动态描述逻辑DDL的动作理论
  • 摘要

    基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复杂动作定义式,刻画出关于动作的知识;这两部分知识与关于具体状态的知识一起构成基于DDL的知识表示系统.接下来,针对该系统中刻画的各种知识,对相关推理问题进行了严格定义,给出了相应的推理机制和算法.最后探讨了基于DDL的动作理论在智能主体建模中的应用.基于DDL的动作理论既具有较强的知识表示能力,又提供了丰富的推理服务,适用于语义Web环境下对动作的刻画和推理.

  • 作者

    常亮  陈立民  CHANG Liang  CHEN Li-min 

  • 作者单位

    桂林电子科技大学计算机科学与工程学院,桂林,541004/中国科学院计算技术研究所智能信息处理重点实验室,北京,100190

  • 刊期

    2011年7期 ISTIC PKU

  • 关键词

    动态描述逻辑  知识表示和推理  动作理论  智能主体  语义Web 

参考文献
  • [1] 常亮,史忠植,邱莉榕,林芬. 动态描述逻辑的Tableau判定算法. 计算机学报, 2008,6
  • [2] 史忠植,常亮. 基于动态描述逻辑的语义Web服务推理. 计算机学报, 2008,9
  • [3] 梅婧,林作铨. 从ALC到SHOQ(D):描述逻辑及其Tableau算法. 计算机科学, 2005,3
  • [4] Shi Zhongzhi,DONG Mingkai,JIANG Yuncheng,ZHANG Haijun. A logical foundation for the semantic Web. 中国科学F辑(英文版), 2005,2
  • [5] Chang Liang;Lin Fen;Shi Zhong-zhi. A Dynamic Description Logic for Representation and Reasoning About Actions. Beilin:Springer-Verlag, 2007
  • [6] Liu Hong-kai;Lutz C;Milidc M. Updating description logic ABoxes. Menlo Park:AAAI Press, 2006
  • [7] Baader F;Lutz C;Milidc M. Integrating description logics and action formalisms:first results. Menlo Park:AAAIPress, 2005
  • [8] Gu Yi-lan;Soutchanski M. Decidable reasoning in a modified situation calctlus. Menlo Park:AAAI Press, 2007
  • [9] Wolter F;Zakharyaschev M. Temporalizing description logics. Studies Press/wiley, 2000
  • [10] Thielscher M. From situation calculus to fluent calculus:state update axioms as a solution to the inferential frame problem. Artificial Intelligence, 1999,1/2
  • [11] Fikes R. STRIPS:a retrospective. Artificial Intelligence, 1993,1-2
  • [12] Giacomo G;Lenzerini M. PDL-based framework for reasoning about actions. Beilin:Springer-Verlag, 1995
  • [13] Reiter R. Knowledge in action:logical foundations for describing and implementing dynamical systems. Cambridge,ma:the Mit Press, 2001
  • [14] Calvanese D;Giacomo G;Vardi M. Reasoning about actions and planning in LTL action theories. Menlo Park:AAAI Press, 2002
  • [15] Niu Wen-jia;Shi Zhong-zhi;Cao Peng. Semantic filtering for DDL-based service composition. Beilin:Springer-Verlag, 2008
查看更多︾
相似文献 查看更多>>
3.226.251.81