%0 Journal Article
%T 基于动态描述逻辑DDL的动作理论
%A 常亮
%A 陈立民
%J 计算机科学
%D 2011
%I 
%X 基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展，动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理问题。首先，在应用描述逻辑对静态领域知识进行刻画的基拙上，引入带参数的原子动作定义式和带参数的复杂动作定义式，刻画出关于动作的知识;这两部分知识与关于具体状态的知识一起构成基于DDL的知识表示系统。接下来，针对该系统中刻画的各种知识，对相关推理问题进行了严格定义，给出了相应的推理机制和算法。最后探讨了基于DDL的动作理论在智能主体建模中的应用。基于DDL的动作理论既具有较强的知识表示能力，又提供了丰富的推理服务，适用于语义Web环境下对动作的刻画和推理。
%K 动态描述逻辑，知识表示和推理，动作理论，智能主体，语义Web
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A02D22894B674714B5490CCD274E8D42&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=DF92D298D3FF1E6E&sid=38685BC770C663F2&eid=3D9746C06EC12B45&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0