计算机科学 ›› 2014, Vol. 41 ›› Issue (9): 210-214.doi: 10.11896/j.issn.1002-137X.2014.09.039
孙永新,赵希顺
SUN Yong-xin and ZHAO Xi-shun
摘要: 动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。
[1] Reiter R.Knowledge in action:logical foundations for specifying and implementing dynamical systems[M].Cambridge University Press,2001 [2] Thielscher M.FLUX:a logic programming method for reasoning agents[J].Theory and Practice of Logic Programming,2005,5(4/5):533-565 [3] Baader F,Lutz C,Milicic M,et al.A description logic based approach to reasoning about web services[C]∥Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005).Chiba City,Japan,2005:10-14 [4] 常亮,陈立民.基于动态描述逻辑DDL的动作理论[J].计算机科学,2011,38(7):203-208 [5] 孙永新,赵希顺,符志强.描述逻辑的动态时序扩展[J].计算机应用研究,2012,29(2):536-541 [6] Baader F,Sattler U.An overview of tableau algorithms for description logics[J].Studia Logica,2001,69(1):5-40 [7] Lin F,Reiter R.State constraints revisited[J].Journal of Logic and Computation,1994,4(5):655-677 [8] Lin F.Embracing causality in specifying the indirect effects of actions[C]∥Proceedings of the Thirteenth National Conference on Artificial Intelligence.Oregon,Portland:AAAI Press,1996(1):670-676 [9] Baader F,Lippmann M,Liu H.Using causal relationships todeal with the ramification problem in action formalisms based on description logics[C]∥Proceedings of the 17th International Conference on Logic for Programming,Artificial Intelligence,and Reasoning.Berlin,Heidelberg:Springer-Verlag,2010:82-96 [10] Henriksen J G,Thiagarajan P S.Dynamic linear time temporallogic[J].Annals of Pure and Applied Logic,1999,96(1-3):187-207 [11] Giordano L,Martelli A,Schwind C.Reasoning about actions in dynamic linear time temporal logic[J].Logic Journal of the IGPL,2001,9(2):273-288 [12] Giordano L,Martelli A,Schwind C.Specifying and verifying interaction protocols in a temporal action logic[J].Journal of Applied Logic,2007,5(2):214-234 [13] Baader F,Liu H,Mehdi A.Verifying properties of infinite se-quences of description logic actions [C]∥ECAI 2010:19th European Conference on Artificial Intelligence Proccedings.Lisbon,Portugal:IOS Press,215,0:53-58 [14] 常亮,史忠植,古天龙,等.可判定的时序动态描述逻辑[J].软件学报,2011,22(7):1524-1537 [15] Wang Xiao-feng,Chang Lang,Li Zhi-xin,el al.A dynamic description logic based system for video event detection[J].Frontiers of Electrical and Electronic Engineering in China,2010,5(2):137-142 |
No related articles found! |
|