计算机科学

计算机科学 ›› 2014, Vol. 41 ›› Issue (1): 116-125.

• 2013 CCF人工智能会议 • 上一篇    下一篇

基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理

刘炜,徐文杰,唐英英,付剑锋,张旭洁,刘宗田   

  1. 上海大学计算机工程与科学学院 上海200072;上海大学计算机工程与科学学院 上海200072;上海大学计算机工程与科学学院 上海200072;上海立信会计学院数学与信息学院 上海201620;上海大学计算机工程与科学学院 上海200072;上海大学计算机工程与科学学院 上海200072
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61305053,8,61074135),上海市自然科学基金(12ZR1410900)资助

Formalized Representation and Reasoning of Event Action Based on Extended Description Logic and Logic Program

LIU Wei,XU Wen-jie,TANG Ying-ying,FU Jian-feng,ZHANG Xu-jie and LIU Zong-tian   

  • Online:2018-11-14 Published:2018-11-14

PDF (PC)

859

摘要： 事件”是比“概念”粒度更大的人类知识表示单元,更接近于人类的认知过程。动作作为事件的一个重要要素,表示事件中对象的状态的变化过程。在状态的变化过程中加入时间信息,将动作表示为对象的状态随时间变化而变化的过程,使得动作描述得更加具体。运用事件中的动作、对象和时间要素构建了一个动作形式化体系,研究了事件知识中确定性动作和不确定性动作的语法表示和语义解释。该形式化体系将扩展的带时间维的描述逻辑T-ALC和逻辑程序设计进行整合,增强了动作的表达能力；在动作的推理中,将确定性动作转化为逻辑程序Datalog规则实现动态推理,将不确定性动作转化为Datalog规则实现不确定推理。最后通过银行服务系统实例对动作的形式化表示和推理进行了验证。

关键词: T-ALC,逻辑程序,事件动作,动作推理,不确定性推理

Abstract: Event is a human knowledge unit with larger-grained than concept．It is closer to the human cognitive process．As an important element of the event,action describes the process of status change of the objects in the event．Adding time to the process of status change,and describing action as the process of object''s status change with time,lead to a more specific description of action．This paper constructed an action formalism through actions,objects and time in the event,and studieds the syntax and semantics of certainty action and uncertain action．This action formalism combines an extended description logic with time (T-ALC) with logic program,thus to enhance the expressive ability of action．In this action formalism,the certainty actions forms are transformed to Datalog rules based forms to realize dynami-cal reasoning,and uncertainty action forms are transformed to Datalog rules based forms to realize uncertainty reasoning．At last,a case study of bank service was described to verify the feasibility of the action formalism and reasoning method.

Key words: T-ALC,Logic program,Event action,Action reasoning,Uncertainty reasoning

[1] Zacks J M,Tversky B．Event Structure in Perception and Conception [J]．Psychological Bulletin,2001,127(1):3-21
[2] Nelson K,Gruendel J．Event knowledge:Structure and function in development [M]．Hilladale,NJ:Erlbaum,1986
[3] ACE (Automatic Content Extraction)．Chinese AnnotationGuidelines for Events[S]．National Institute of Standards and Technology,2005
[4] 刘宗田,黄美丽,周文,等．面向事件的本体研究[J]．计算机科学,2009,6(11):189-192
[5] 戈也挺,朱朝晖,陈世福．行动推理中若干问题的研究[J]．计算机科学,2000,27:85-89
[6] 黄智生．关于行动的推理[J]．计算机科学,1993,0:7-13
[7] McCarthy J．Situations,actions,and causal laws[R]．Stanford,California:Stanford University Artificial Intelligence Project,1963
[8] Shanahan M．The event calculus explained [M]．Artificial Intelligence Today,Spring Berlin Heidelberg,1999:409-430
[9] 史忠植,董明楷,蒋运承,等．语义Web的逻辑基础[J].中国科学:E辑,2004,4(10):1123-1138
[10] 常亮,史忠植,陈立民,等．一类扩展的动态描述逻辑[J]．软件学报,2010,1(1):1-13
[11] Chang Liang,Shi Zhong-zhi,Qiu Li-rong,et al．Dynamic description logic:embracing actions into description logic[C]∥Proc．of the 20th International Workshop on Description Logics(DL’07).Italy:2007:243-253
[12] Baader F,Lippmann M,Liu Hong-kai．Using causal relation-ships to deal with the ramification problem in action formalisms based on description logics[C]∥Logic for Programming,Artificial Intelligence,and Reasoning．Springer Berlin Heidelberg,2010,6397:82-96
[13] Liu Wei,Xu Wen-jie,Wang Dong,et al．An extending description logic for action formalism in event ontology [J]．International Journal of Computational Science and Engineering,2010,6104:471-481
[14] Martinez D C,Hitzler P．Extending Description Logic Rules[C]∥Proceedings of 9th Extended Semantic Web Conference．Heraklion,2012:345-359
[15] Grosof B N,Horrocks I,Volz R,et al.Description logic pro-grams:Combining logic programs with description logic[C]∥Proceedings of the 12th International Conference on World Wide Web.ACM,2003:48-57
[16] Horrocks I,Patel-SchneiderP F．A proposal for an OWL rules language[C]∥Proceedings of the 13th international conference on World Wide Web．ACM,2004:723-731
[17] Donini F M,Lenzerini M,Nardi D,et al．AL-log:Integratingdatalog and description logics [J]．Journal of Intelligent Information Systems,1998,10(3):227-252
[18] Levy A Y,Rousset M C．CARIN:a representation languagecombining horn rules and description logics[C]∥ECAI.Pitman,1996:323-327
[19] Rosati R．Towards expressive KR systems integrating Datalogand description logics:Preliminary report [C]∥Proc．of DL’99．1999:160-164
[20] Rosati R．On the decidability and complexity of integrating ontologies and rules [J]．Web Semantics:Science,Services and Agents on the World Wide Web,2005,3(1):61-73
[21] Mei Jing,Lin Zuo-quan,Boley H．ALCpu:An Integration of Description Logic and General Rules[C]∥Proceedings of the 1st International Conference on Web Reasoning and Rule Systems．Heidelberg:Springer-verlag Berlin,2007:163-177
[22] Schmidt-Schauβ M．Subsumption in KL-ONE is Undecidable．Principles of Knowledge Representation [M]． Stanford,CA,US:CSLI Publications,1989:421-431
[23] Yehia W,Liu H K,Lippmann M,et al．Experimental results on solving the projection problem in action formalisms based on description logics[C]∥Proc．of the 25th Intern．Workshop on Description Logics.2012
[24] Coelho H．Verifying properties of infinite sequences of description logic actions[C]∥ECAI 2010:19th European Conference on Artificial Intelligence.IOS Press,Incorporated,2010:53-58
[25] Drabent W,Eiter T,Ianni G,et al．Hybrid reasoning with rules and ontologies [M]．Semantic techniques for the Web,Springer Berlin Heidelberg,2009:1-49
[26] Allen J F．Temporal reasoning and planning[C]∥Reasoning about Plans．Morgan Kaufmann,1991:1-67
No related articles found!
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发