文档介绍：独创性申明本人郑重申明:所呈交的学位论文,是本人在导师的指导下,独立进行研究所取得的成果。除文中已注明引用的内容外,本文不包含任何其他个人或集体己经发表或撰写过的作品成果,也不包含为获得江苏大学或其他教育机构的学位或证书而使用过的材料。对本文的研究作出重要贡献的个人和集体,均已在文中以明确方式表明。本人完全意识到本声明的法律结果由本人承担。学位论文作者签名:谕贾忌事k ≥D修年6月易目万方数据学位论文版权使用授权书江苏大学、中国科学技术信息研究所、国家图书馆、中国学术期刊(光盘版) 电子杂志社有权保留本人所送交学位论文的复印件和电子文档,可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致, 允许论文被查阅和借阅,同时授权中国科学技术信息研究所将本论文编入《中国学位论文全文数据库》并向社会提供查询,授权中国学术期刊(光盘版)电子杂志社将本论文编入《中国优秀博硕士学位论文全文数据库》并向社会提供查询。论文的公布(包括刊登)授权江苏大学研究生院办理。本学位论文属于不保密√。学位论文作者签名:谢鹂韧乞加fj7年5月衫日指导教师签名:锄球加·厂年‘月2≯日万方数据江苏大学硕士学位论文摘要作为一类用于知识表示的形式化工具,描述逻辑具有很强的表达能力,对于问题的推理具有可判定性。在知识表示、软件工程、信息系统自然语言处理等诸多领域内,描述逻辑都有用武之地。在知识表示中,对于行为的描述以及未来可能发生动作的推理成为重要的研究方向。动作理论,例如情景演算、流演算和状态演算,目的在于使用适当的语义方式描述动作以及动作的执行过程。情景演算等都使用一阶或者高阶逻辑来描述动作的前提条件和动作执行的结果或者世界状态,但是它们的推理是不可判定的,在动作推理的实际应用中,这些不能被直接使用。因此,本文在描述逻辑 ALCO@的基础上,对动作的相关理论进行了研究,主要工作如下: (1)构建了基于描述逻辑ALCO@,利用前提条件集、条件结果集和直接结果集表示动作,并给出其语义。、选择和循环等动作构造符,构造出动作表达式,并给出其语义。(2)给出了由于动作执行所引起的状态更新算法。给出了原状态集和更新集的个体集,基于Tableau算法给出它们的确定存在状态集,在保证状态集一致的基础上实现状态更新。(3)。, 构造了由信念、目标、行为能力、策略等心智元素组成的智能主体模型。基于状态更新算法,实现智能主体面向目标的行动推理和规划。关键词描述逻辑,行动推理,个体集合,动作理论,智能主体,状态更新万方数据基于描述逻辑ALCO@的动作理论的研究 ABSTRACT As akind offormal toolforknowledge representation,the description logic has strong expression ability,and thereasoning ofproblem Can bejudged ithasbeen widely used inmany fields,suchasknowledgerepresentation,information systems,software engineering,natural language processing,etc. Inknowledge representation,description and reasoning for the action has e animportant research direction,and itisalsological theory basisof acurrent hotresearch topic ofsemantic Web services and intelligent agent。Action theory,such as calculation,flow calculation and state calculus,its purpose is to use appropriate way ofsemantic action todescribe actions and theprocess ofactions’execution. Situation calculus and SO on,use firstorder or higher orderlogic todescribe the premise condition ofactionand the resultsofthe action or stateoftheworld,but th