×
路易斯·克鲁兹·菲利佩;格拉萨·加斯帕;伊莎贝尔·努斯

从描述逻辑程序到多上下文系统。 （英语） Zbl 1362.68272号

J.日志。阿尔盖布。方法计划。 88, 26-44 (2017).
摘要：逻辑程序类型规则与其他推理系统的结合在过去几年中一直是一个丰富的研究课题，提出了几个不同的系统来实现这一目标。在这项工作中，我们研究了其中两个系统，dl-programs和多上下文系统，它们解决了这种组合的不同方面，并包括不同的、无法比拟的编程结构。我们证明了每个dl-program都可以转换为一个多上下文系统，从而使每个范式的不同语义自然相关。因此，为dl-programs开发的构造可以自动移植到多上下文系统。特别是，我们展示了如何使用通常的语义在本体上建模默认规则。

MSC公司：

68立方英尺 知识表示
68N17号 逻辑编程
68问题55 计算理论中的语义学
第68页第27页 人工智能中的逻辑

关键词：

描述逻辑;逻辑程序设计;语义学;规则系统;正式翻译

软件：

赛车手;DLVHEX公司
PDF格式BibTeX公司 XML格式引用
\textit{L.Cruz-Filipe}等人，J.Log。阿尔盖布。方法计划。88、26-44（2017；Zbl 1362.68272）
全文： 内政部

参考文献：

[1] Antoniou，G.，默认逻辑教程，ACM Compute。调查。，31, 3, 337-359 (1999)
[2] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2007），剑桥大学出版社）·Zbl 1132.68055号
[3] 巴德，F。；Hollander，B.，《将默认值嵌入术语知识表示形式》，J.Autom。原因。，14, 1, 149-180 (1995)
[4] Brewka，G。；Eiter，T.，异质非单调多上下文系统的平衡，（AAAI2007（2007），AAAI出版社），385-390
[5] Brewka，G。；艾特，T。；芬克，M。；Weinzierl，A.，《托管多上下文系统》（Walsh，T.，IJCAI（2011），IJCIA/AAAI），786-791
[6] Brewka，G。；尼梅尔，I。；Truszczyñski，M.，《非单调推理》（van Harmelen，F.；Lifschitz，V.；Porter，B.，《知识表示手册》（2008），Elsevier），239-284，第6章·Zbl 1183.68611号
[7] Brewka，G。；罗洛夫森，F。；Serafini，L.，情境缺省推理，（Veloso，M.M.，IJCAI2007（2007）），268-273
[8] Bruijn，J。；艾特，T。；Tompits，H.，《将规则和本体结合到自认知逻辑中的嵌入方法》（Brewka，G.；Lang，J.，KR2008（2008），AAAI出版社），485-495
[9] 克鲁兹·菲利佩，L。；Gaspar，G。；Nunes，I.，《关系型多上下文系统中的信息流》（Janowicz，K.；Schlobach，S.；Lambrix，P.；Hyvönen，E.，EKAW，2014）。EKAW 2014，LNAI，第8876卷（2014），施普林格），97-108
[10] Cruz Filipe，L.公司。；加斯帕，G。；Nunes，I.，《描述逻辑程序的设计模式》（Fred，A.；Dietz，J.L.G.；Liu，K.；Filipe，J.，《知识发现、知识工程和知识管理》，知识发现，知识工程与知识管理，CCIS，第454卷（2015），Springer），199-214
[11] 克鲁兹·菲利佩，L。；Henriques，R。；Nunes，I.，《描述逻辑、规则和多上下文系统》（McMillan，K.；Middeldorp，A.；Voronkov，A.，LPAR-19）。LPAR-19，LNCS，第8312卷（2013年12月），施普林格出版社，243-257·Zbl 1362.68273号
[12] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 3, 374-425 (2001)
[13] 道特兰，M。；艾特，T。；芬克，M。；Krennwallner，T.，《动态分布式非单调多上下文系统》，（Brewka，G.；Marek，V.；Truszczynski，M.，《非单调推理，庆祝30周年的论文》。《非单调理性，庆祝30年的论文》，《逻辑学研究》，第31卷（2011），大学出版物）·Zbl 1259.68188号
[14] 多尼尼，F.M。；伦泽里尼，M。；Nardi，D。；Schaerf，A.，AL-log：集成数据日志和描述逻辑，J.Intell。信息系统。，10, 3, 227-252 (1998)
[15] 艾特，T。；芬克，M。；Ianni，G。；Schüller，P.，《迈向管理多上下文系统中不一致性的政策语言》（Mileo，a.；Fink，M.，基于逻辑的上下文解释研讨会：建模与应用（2011）），23-35
[16] 艾特，T。；Ianni，G。；Krenwallner，T。；Polleres，A.，语义网的规则和本体，（Reasoning web.Reasoning-web，LNCS，vol.5224（2008），Springer），1-53
[17] 艾特，T。；Ianni，G。；Lukasiewicz，T。；Schindlauer，R.，《语义网中描述逻辑程序的良好语义》，ACM Trans。计算。日志。，12，2（2011），第11条·Zbl 1351.68275号
[18] 艾特，T。；Ianni，G。；Lukasiewicz，T。；辛德劳，R。；Tompits，H.，《将答案集编程与语义网络描述逻辑相结合》，Artif。智力。，172, 12-13, 1495-1539 (2008) ·Zbl 1183.68595号
[19] 艾特，T。；Ianni，G。；Poleres，A。；辛德劳，R。；Tompits，H.，《用规则和本体论进行推理》（Barahona，P.；Bry，F.；Franconi，E.；Henze，N.；Sattler，U.，《推理网络》，2006年第二届国际暑期学校。推理网，2006年第二届国际暑期学校，葡萄牙里斯本，2006年9月4-8日，辅导讲座。推理网，2006年第二届国际暑期学校。推理网，2006年第二届国际暑期学校，葡萄牙里斯本，2006年9月4-8日，教程讲座，LNCS，第4126卷（2006年9月份），斯普林格出版社，93-127
[21] 托马斯·艾特；乔瓦姆巴蒂斯塔·伊安尼；辛德劳，罗马人；Tompits，Hans，dlvhex:答案集语义下语义网络推理的证明程序，（网络智能（2006），IEEE计算机学会），1073-1074
[22] 芬克，M。；Ghionna，L。；Weinzierl，A.，多上下文系统中的关系信息交换和聚合，（Delgrand，J.P.；Faber，W.，LPNMR.LPNMR，LNCS，第6645卷（2011），Springer），120-133·Zbl 1327.68271号
[23] 芬克，M。；Pearce，D.，《描述逻辑程序的逻辑语义》（Janhunen，T.；Niemelä，I.，JELIA 2010）。JELIA 2010，LNCS，第6341卷（2010），Springer），156-168·Zbl 1306.68007号
[24] Giunchiglia，F。；Serafini，L.，《多语言层次逻辑》，或：没有模态逻辑我们怎么办，Artif。智力。，65, 1, 29-70 (1994) ·Zbl 0787.68093号
[25] 贡萨尔维斯，R。；克诺尔，M。；Leite，J.，《演变多上下文系统中的演变桥接规则》，（Bulling，N.；van der Torre，L.W.N.；Villata，S.；Jamroga，W.；Vasconcelos，W.W.，CLIMA。CLIMA，LNCS，第8624卷（2014），Springer），52-69·Zbl 1425.68399号
[26] Gonçalves，R。；克诺尔，M。；Leite，J.，《进化中的多上下文系统》（Schaub，T.；Friedrich，G.；O'Sullivan，B.，PAIS.PAIS，《人工智能和应用的前沿》，第263卷（2014），IOS出版社），375-380·Zbl 1366.68305号
[27] 哈尔斯列夫，V。；Möller，R.，《RACER系统描述》（Goré，R.；Leitsch，A.；Nipkow，T.，IJCAR 2001）。IJCAR 2001，LNCS，第2083卷（2001），Springer），701-706·Zbl 0988.68599号
[28] 海曼斯，S。；艾特，T。；Xiao，G.，基于数据日志可写描述逻辑的DL-programs可追踪推理（Coelho，H.；Studer，R.；Wooldridge，M.，ECAI2010）。ECAI2010，《人工智能和应用前沿》，第215卷（2010），IOS出版社），35-40·兹比尔1211.68402
[29] 霍莫拉，M。；克诺尔，M。；Leite，J。；Slota，M.，多上下文系统中的MKNF知识库，（Fisher，M.；van der Torre，L.；Dastani，M.）；Governatori，G.，CLIMA。CLIMA，LNCS，第7486卷（2012），Springer），146-162·Zbl 1361.68250号
[30] （Kaelbling，L.P.；Saffiotti，A.，《第十九届国际人工智能联合会议论文集》。《第十九次国际人工智能大会论文集》，IJCAI-05，英国苏格兰爱丁堡，2005年7月30日至8月5日（2005年7月份），专业图书中心）
[31] McCarthy，J.，《形式化语境注释》（Bajcsy，R.，IJCAI1993（1993），Morgan Kaufmann），555-562
[32] 莫蒂克，B。；Rosati，R.，《协调描述逻辑和规则》，J.ACM，57（2010年6月），第30条·Zbl 1327.68257号
[33] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·Zbl 0435.68069号
[35] Rosati，R.，DL+log:描述逻辑和析取数据日志的紧密集成，（Doherty，P.；Mylopoulos，J.；Welty，C.A.，KR2006（2006），AAAI出版社），67-78
[36] Wang，Y。；你，J。；袁，L。；沈毅。；Eiter，T.，《将描述逻辑程序嵌入默认逻辑》（2011），CoRR
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。