×
Chang、Liang;石忠志;顾天龙;赵玲忠

用于表示和推理动作的一系列动态描述逻辑。 （英语） Zbl 1276.68142号

J.汽车。推理 第49页，第1期，第1-52页（2012年）.
摘要：描述逻辑为表示和推理静态应用程序域的知识提供了强大的语言。描述逻辑的主要优势在于，它们提供了远远超出命题逻辑的相当大的表达能力，而推理仍然是可判定的。在以动作为特征的动态应用领域的描述和推理中，需要引入描述逻辑的力量和特点。本文基于命题动态逻辑PDL、描述逻辑家族和基于描述逻辑构建的动作形式主义的组合，提出了一系列用于表示和推理动作的动态描述逻辑（mathrm{DDL}（X^{@}），其中（X\）表示从ALCO到ALCHOIO的经过充分研究的描述逻辑，并且\（\mathrm{DDL}（X^{@}）\）表示\（X\）与@构造函数的扩展。（\mathrm{DDL}（X^{@}））的表示能力体现在四个方面。首先，应用领域的静态知识表示为描述逻辑（X）的RBoxe和非循环TBoxe。其次，用描述逻辑（X^{@@}）的ABox断言描述世界的状态和原子作用的前置条件，用原语（mathrm{DDL}（X^}））描述原子作用的后置条件。第三，从原子动作和\（X^{@}\）的ABox断言开始，用PDL的常规程序构造函数构造复杂动作，从而可以表示动作上的各种控制结构，如“Sequence”、“Choice”、“Any-Order”、“Iterate”、“I-Then-Else”、“Repeat-While”和“Repeat-Until”。最后，原子作用和复杂作用都被用作构造公式的模式运算符，因此，作用的许多属性都可以通过公式显式表示。给出了一个判定（\mathrm{DDL}（X^{@}）-公式可满足性的表算法；基于该算法，可以有效地执行动作的可实现性、可执行性和投影等推理任务。因此，（mathrm{DDL}（X^{@}）不仅提供了超越许多命题动作形式的强大表达能力，而且还为其描述的动作提供了可判定的推理服务。

引用于2文件

理学硕士：

68T27型 人工智能中的逻辑

关键词：

描述逻辑;动态描述逻辑;作用论;可满足性检查算法;推理任务
PDF格式BibTeX公司 XML格式引用
\textit{L.Chang}等人，J.Autom。推理49，No.1，1-52（2012；Zbl 1276.68142）
全文： 内政部

参考文献：

[1] Areces，C.、Blackburn，P.、Marx，M.：混合逻辑复杂性路线图。In：程序。第十三届国际研讨会和第八届EACSL计算机科学逻辑年会（CSL’05）。LNCS，第1683卷，第307–321页。斯普林格（1999）·Zbl 0942.03048号
[2] Artale，A.，Franconi，E.：用于推理行动和计划的时间描述逻辑。J.阿蒂夫。智力。第9463–506号决议（1998年）·Zbl 0911.68190号
[3] Baader，F.、Calvanee，D.、McGuinness，D.、Nardi，D.、Patel-Schneider，P.F.：《描述逻辑手册：理论、实现和应用》。剑桥大学出版社，剑桥（2003）·Zbl 1058.68107号
[4] Baader，F.，Lutz，C.，Miličić，M.，Sattler，U.，Wolter。，F.：整合描述逻辑和动作形式：第一个结果。In：程序。第十二届全国人工智能大会（AAAI'05），第572-577页。AAAI出版社/麻省理工学院出版社（2005）
[5] Berners-Lee，T.，Hendler，J.，Lassila，O.：语义网。科学。《美国判例汇编》284（5），34-43（2001）·doi:10.1038/科学美国人0501-34
[6] Calvanee，D.，De Giacomo，G.，Vardi，M.：LTL行动理论中关于行动和计划的推理。In：程序。第八届国际知识表示与推理原则大会（KR’02），第593–602页。AAAI出版社（2002）
[7] Calvanee，D.，De Giacomo，G.，Lenzerini，M.，Rosati，R.：描述逻辑本体论上的动作和程序。In：程序。第20届描述逻辑国际研讨会（DL'07），第29–40页（2007）
[8] Chang，L.，Shi，Z.，Qiu，L.、Lin，F.：动态描述逻辑：将动作纳入描述逻辑。In：程序。第20届描述逻辑国际研讨会（DL'07），第243-250页（2007）
[9] De Giacomo，G.，Lenzerini，M.：基于PDL的行动推理框架。In：程序。意大利人工智能协会第四届大会（AI*IA'95），第103–114页。柏林施普林格（1995）
[10] De Giacomo，G.，Massacci，F.：具有逆命题动态逻辑的表和算法。In：程序。第13届国际自动扣减大会（CADE'96），第613-628页。施普林格，柏林（1996）
[11] Devanbu，P.T.，Litman，D.J.：分类计划推理。Artif公司。智力。84(1–2), 1–35 (1996)
[12] Drescher，C.，Thielscher，M.：整合行动计算和描述逻辑。In：程序。第30届德国人工智能年会（KI'07），第68–83页。柏林施普林格出版社（2007）
[13] Fikes，R.E.，Hart，P.E.，Nilsson，N.J.：学习和执行通用机器人计划。Artif公司。智力。3, 251–288 (1972) ·doi:10.1016/0004-3702（72）90051-3
[14] Fischer M.J.，Ladner，R.E.：程序的命题模态逻辑：扩展抽象。In：程序。第九届ACM计算机理论年会（STOC’77），第286-294页（1977）
[15] Fischer M.J.，Ladner，R.E.：正则程序的命题动态逻辑。J.计算。系统。科学。18(2), 194–211 (1979) ·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1
[16] Giordano，L.，Martelli，A.，Schwind，C.：关于动态线性时间时序逻辑中动作的推理。逻辑J.IGPL 9（3），79–92（2001）·Zbl 0979.03015号 ·doi:10.1093/jigpal/9.2.273
[17] Grädel E.、Otto，M.、Rosen，E.：带计数的双变量逻辑是可判定的。In：程序。第十二届IEEE计算机科学逻辑研讨会（LICS’97），第306–317页。IEEE计算机学会出版社，洛斯·阿拉米托斯（1997）
[18] Gu，Y.，Soutchanski，M.：关于服务的可判定推理逻辑。In：程序。AAAI-06面向服务计算的人工智能驱动技术研讨会（2006年）
[19] Gu，Y.，Soutchanski，M.：修正情境演算中的可判定推理。In：程序。第十二届国际人工智能联合会议（IJCAI'07），第1891-1897页。Morgan Kaufmann出版社，旧金山（2007）
[20] Heinsohn，J.，Kudenko，D.，Nebel，B.，Profitlich，H.J.：大鼠——使用术语逻辑表示动作。In：程序。DFKI分类推理研讨会，技术报告D-92-08，DFKI，Saarbrüken（1992）·Zbl 0812.68113号
[21] Horrocks，I.，Patel-Schneider，P.F.，Harmelen，F.V.：从SHIQ和RDF到OWL：网络本体语言的构建。J.Web Semant公司。1(1), 7–26 (2003) ·doi:10.1016/j.websem.2003.07.001
[22] Horrocks，I.，Sattler，U.：SHOIQ的表格决策程序。J.汽车。原因。39(3), 249–276 (2007) ·Zbl 1132.68734号 ·doi:10.1007/s10817-007-9079-9
[23] Liu，H.，Lutz，C.，Milić，M.，Wolter，F.：更新描述逻辑ABoxes。In：程序。第十届国际知识表示与推理原则大会（KR'06），第46-56页。AAAI出版社，加利福尼亚州（2006年）
[24] Liu，H.，Lutz，C.，Milić，M.，Wolter，F.：使用描述逻辑和通用TBox推理动作。In：程序。第十届欧洲人工智能逻辑会议（JELIA’06），第266-279页。斯普林格（2006）·Zbl 1152.68609号
[25] Liu，H.：计算描述逻辑中的更新。德累斯顿理工大学博士论文（2010年）
[26] Lutz，C.，Sattler，U.：使用DL描述服务的提案。In：程序。第十五届描述逻辑国际研讨会（DL'02）（2002）
[27] Martin，D.、Burstein，M.、McDermott，D.、McIlraith，S.、Paolucci，M.，Sycara，K.、McGuinness，D.、Sirin，E.、Srinivasan，N.：《使用OWL-S将语义引入web服务》，《万维网杂志》10（3），243-277（2007）·数字对象标识代码：10.1007/s11280-007-0033-x
[28] 麦卡锡，J.，海耶斯，P.：一些哲学问题形成了人工智能的观点。机器。智力。4, 463–502 (1969) ·Zbl 0226.68044号
[29] McIlraith，S.，Son，T.，Zeng，H.：语义网络服务。IEEE智能。系统。16(2), 46–53 (2001) ·doi:10.1109/5254.920599
[30] Milić，M.：基于DL的行动计划形式：第一个结果。In：程序。第20届描述逻辑国际研讨会（DL'07），第112–122页（2007）
[31] 米利奇奇，M：基于描述逻辑的行动计划形式的复杂性。In：程序。第14届国际编程、人工智能和推理逻辑大会（LPAR’07），第408-422页（2007）·兹比尔1137.68594
[32] Myers，R.、Pattinson，D.、Schröder，L.：混代数混合逻辑。In：程序。第十二届软件科学和计算结构基础国际会议（FoSSaCS’09），第137–151页（2009）·Zbl 1234.03020号
[33] Narayanan，S.，McIlraith，S.：web服务的模拟、验证和自动组合。In：程序。第11届国际万维网会议（WWW’02），第77–88页（2002）
[34] Pacholski，L.，Szwast，W.，Tendra，L.：带计数的二元逻辑的复杂性。In：程序。第十二届IEEE计算机科学逻辑研讨会（LICS’97），第318-327页。IEEE计算机学会出版社，洛斯·阿拉米托斯（1997）·Zbl 0956.03039号
[35] Pratt，V.R.：命题动态逻辑的实用决策方法。In：程序。第十届ACM计算机理论年会（STOC’78），第326–337页（1978）·Zbl 1283.03066号
[36] Reiter，R.：《行动中的知识：指定和实现动态系统的逻辑基础》。麻省理工学院出版社，马萨诸塞州剑桥（2001）·Zbl 1018.03022号
[37] Schmidt-Schauß，M.，Smolka，G.：带补语的定语概念描述。Artif公司。智力。48(1), 1–26 (1991) ·兹比尔0712.68095
[38] Shi，Z.，Dong，M.，Jiang，Y.，Zhang，H.：语义网的逻辑基础。科学。中国Ser。F 48（2），161–178（2005）·doi:10.1360/03yf0506
[39] Smith，M.K.，Welty，C.，McGuinness D.L.:OWL网络本体语言指南。W3C建议书，2004年2月10日。http://www.w3.org/TR/owl-guide/ . 2009年1月3日访问
[40] Thielscher，M.：从情境演算到流畅演算：状态更新公理作为推理框架问题的解决方案。Artif公司。智力。111(1–2), 277–299 (1999) ·Zbl 0996.68193号 ·doi:10.1016/S0004-3702（99）00033-8
[41] Tobies，S.：表达描述逻辑中具有基数限制和名词的推理的复杂性。J.阿蒂夫。智力。第12（1）号决议，199-217（2000）·兹伯利0941.03029
[42] Wolter，F.，Zakharyaschev，M.：模态算子描述逻辑中的可满足性问题。In：程序。第六届国际知识表示与推理原则大会（KR’98），第512-523页。Morgan Kaufmann出版社，旧金山（1998）
[43] Wolter，F.，Zakharyaschev，M.：动态描述逻辑。高级模态日志。2, 449–463 (2000) ·兹伯利0994.03026
[44] Zolin，E.：描述逻辑中推理的复杂性。网址：http://www.cs.man.ac.uk/\（\sim\）ezolin/dl/。2010年1月10日访问
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。