基于描述逻辑的时态扩充研究及应用

《基于描述逻辑的时态扩充研究及应用》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、sionandProofDLSpecialty：ComputerSoftwareTheoryName：.WangHan中山人学硕士学位论文基于描述逻辑的时态扩充研究及应用姓名：王浩申请学位级别：硕士专业：计算机软件与理论指导教师：汤庸20070508中山人学硕士学位论文基于蕊逻辑的时态扩充研究及应用基于描述逻辑的时态扩充研究及应用专业：计算机软件与理论硕士生：王浩导师：汤庸教授摘要近年來，描述逻辑出于其强人的表达能力和良好的计算性质，在知识工程领域受到广泛关注。但是，描述逻辑适用于表达静态信息，难以表示在许多领域都有应用前景的时态信息。因此,我们有必要对描述逻辑进行时态扩充。

2、而使用具体领域(conc1"ctcdomain)方法可使得我们方便地处理时态信息，因此我们设计了时间具体领域，扩充到描述逻辑语言ALC中，从而提出新语言ALC(T)。本文中，我们首先介绍了ALC(T)的语法和语义解释，然后在此基础上介绍了ALC(T)可提供的推理服务，并提出时间具体领域的一致性检测算法和ALC(T)概念的可满足性判定算法，并对其计算性质做出一定的分析。另外，我们对描述逻辑的DIG通信接口做出相应的修改，并设计了简易ALC(T)推理机以及DIG客户端，推理机内则实现了我们所提出的概念可满足性判定算法。最后，提出了今后的研究方向。通过算法的可靠性分析和最后的实例演

3、示，我们可得出结论ALC(T)同时具备了ALC的表达推理能力和一定的时态处理能力，基本达到了我们对描述逻辑时态扩充的目的。同时，我们在本文中所提出的扩充方法同样适用于其它领域如空间领域等，并且，时间具体领域的一致性算法也具有通用性，只要其它具体领域符合本文中所提出的admissab1e条件，也可使用该算法检测具休领域的一致性。因此，本文对于描述逻辑的其它领域的扩充也具有一定的指导意义。关键字：描述逻辑，concrecedomain,时态扩展，ALC(T),概念可满足性中山大学硕士学位论文基于描述逻辑的时态扩充研究及应用ResearchandApplicationontempo

4、ralextenDescriPtionLogics(DIS)haVebeengiveneXtensiveattentioninkn0w1edgeengi]neer•1ngf•1ddowingtothe1reXce11enteXpressingandcomputingcapabi1•1t•1es.ButD•1sarehardto

5、ra1ab•11ityt0DIS.Becalusewecanpr0cesstempora1informat■10nwe11usingc0ncreted0main(CD),Wedes•1gntimeCD,■1ntegrate•1t'withALCwh■1ch■1saD'L1ang1LIage,andth

6、p盯、essorTangY.ongAbstractRecf

7、nthenthereason•1ngservicesa1enarrated■Basedonab0Ve,wcintroduenthec0ns•1stentdetectingMgofithmandALC(T)c0nceptsatisf•1abi1itydeterm•1ni.nga1ig0r•1thm,andthenana1yzeitsc(omput•1ngpr01m/ty.OthcnV1seywemodifytheDIG1nterfaceusedf0rD■1sreasoners,anddes■1gnasimp1eALC(T)懒nf,randaDIGc1•1ent,w■1ththe

8、a1g0r■1thmsintroducedab0Ve■1mp1emlentedinthisreasoner.F•1na11y,W.esh0wthefutureresearchO/1thist0p•1c■Accordingt0theanalysisofC0ITcc1ncssofa1gor•1thmsandthei】nstancediem0nstration,wecanconcludet:hatALC(T)canalsoprocesstempora1informati0nwh•11ehavingtheabi