一类扩展的动态描述逻辑.pdfVIP

ISSN 1000-9825，CODEN RUXUEW E—mail：jos@iseas．ac．Clrl JournalofSoftware，Vo1．21，No．1，January2010，PP．1-13 http：／／www．jos．org．cn doi：l0．3724／SPJ．1001．2Ol0．03494 Tel／Fax：+86．10 ◎byInstituteofSofwtare．theChineseAcademyofSciences．Allrightsreserved 一 类扩展的动态描述逻辑 常 亮1,2,3，史忠植H，陈立民1,3牛温佳， (中国科学院 计算技术研究所 智能信息处理重点实验室，北京 100190) (桂林电子科技大学 计算机与控制学院，广西 桂林 541004) (中国科学院 研究生院，北京 100049) Fam ilyofExtendedDynam icDescriptionLogics CHANG Liang，’， SHIZhong．Zhi ， CHEN Li．Min， NIU Wen．Jia， (KeyLaboratoryofIntelligentInformationProcessing，InstituteofComputingTechnology，TheChineseAcademyofSciences，Beijing 100190，China) (SchoolofComputerandControl，GuilinUniversityofElectronicTechnology，Guilin541004，China) (GraduateUniversity，TheChineseAcademyofSciences，Beijing100049，China) +Correspondingauthor：E-mail：shizz：@ics．ict．ac．cn ChangL，ShiZZ，ChenLM，NiuwJ．Familyofextendeddynamicdescriptionlogics．JournalofSoftware， 2010，21(1)：1—13．http：／w／ww．jos．org．cn／1000—9825／3494．him Abstract： Astheextensionofthedescriptionlogic，manydynamicdescriptionlogicsareproposedformodeling andreasoning aboutSemanticWeb Services．These dynamic description logicsprovide decidablereasoning mechanismsfortheresultofactionexecution．However，theprocedureofactionexecutioncannotbedescribedand reasonedaboutaccordingtotheselogics．InspiredbyanextendedpropositionaldynamiclogicstudiedbyPratt，this paperproposestwoimprovementstothedynamicdescriptionlogic．Oneisthat，semanticsofactionsinthedynamic descriptionlogicareredefinedinsuchawaythateachactionisinterpretedasasetoftrajectories，whereeach trajectoryisasequenceofpossibleworldsofthesemanticmode1．Theotheristhat，assertionsontheprocedureof actionexecutionareintroducedtothelogicsothatnotonlytheresultbutalsotheprocedurecanbedescribedfor theexecutionofactions．Asaresult，afamilyofexte