×
托马斯·艾特；格哈德·布鲁卡；明州道特兰；迈克尔·芬克；乔瓦姆巴蒂斯塔·伊安尼；托马斯·克伦瓦尔纳

将非单调知识库与外部资源相结合。 （英语） Zbl 1193.68242号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学讲义5749。人工智能课堂讲稿，18-42（2009）。
摘要：过去十年中信息技术的发展迅速改变了获取数据和知识的可能性。为了实现这一点，扩展了几种声明性知识表示形式，使其能够访问知识库外部的数据和知识源。本文回顾了以答案集编程为中心的一些形式，即十六进制程序、模块化逻辑程序和多上下文系统，它们是由维也纳理工大学KBS小组与外部同事合作开发的。这些形式是根据不同的原则和四种不同的设置设计的，因此具有不同的性质和特点；然而，正如所争论的那样，它们并非无关。此外，它们为正在进行的研究项目所针对的先进知识型信息系统提供了基础。
有关整个系列，请参见[Zbl 1178.68010号].

引用于4文件

MSC公司：

68立方英尺 知识表示
68N17号 逻辑编程
68T27型 人工智能中的逻辑

软件：

DLV-EX公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。票据计算。科学。5749，18-42（2009；Zbl 1193.68242）
全文： 内政部

参考文献：

[1] Analyti，A.，Antoniou，G.，Damásio，C.V.：模块化web规则库及其语义的原则框架。In：程序。第11届国际。Conf.知识表示和推理原则（KR 2008），第390-400页。AAAI出版社，门罗公园（2008）
[2] Brewka，G.，Eiter，T.：异质非单调多上下文系统的平衡。收录于：AAAI 2007，第385-390页。AAAI出版社，门罗公园（2007）
[3] Brewka，G.，Eiter，T.：论证语境系统：抽象群体论证的框架。收录于：LPNMR 2009。LNCS公司。斯普林格，海德堡（2009）·Zbl 1258.68154号
[4] Brewka，G.、Roelofsen，F.、Serafini，L.：语境默认推理。In:IJCAI 2007，第268–273页（2007）
[5] Calimeri，F.，Cozza，S.，Ianni，G.：逻辑编程中知识和价值发明的外部来源。安。数学。Artif公司。智力。 50(3-4), 333–361 (2007) ·Zbl 1125.68026号 ·doi:10.1007/s10472-007-9076-z
[6] Calimeri，F.，Ianni，G.：答案集求解器的外部计算源。收录于：Baral，C.，Greco，G.，Leone，N.，Terracina，G.（编辑）LPNMR 2005。LNCS（LNAI），第3662卷，第105–118页。斯普林格，海德堡（2005）·Zbl 1152.68400号 ·doi:10.1007/11546207_9
[7] Dao-Tran，M.、Eiter，T.、Fink，M.和Krennwallner，T.：重温模块化非单调逻辑编程。In:Hill，P.M.，Warren，D.S.（编辑）ICLP 2009。LNCS，第5649卷，第145-159页。斯普林格，海德堡（2009）·Zbl 1251.68056号 ·doi:10.1007/978-3-642-02846-5_16
[8] Dao-Tran，M.、Eiter，T.、Fink，M.和Krennwallner，T.：模块化非单调逻辑程序的相关性驱动评估。收录于：LPNMR 2009。LNCS公司。斯普林格，海德堡（将于2009年亮相）·Zbl 1258.68028号
[9] de la Banda，M.G.，Pontelli，E.（编辑）：逻辑编程（ICLP 2008）。LNCS，第5366卷。斯普林格，海德堡（2008）·Zbl 1154.68013号
[10] Drabent，W.、Eiter，T.、Ianni，G.、Krennwallner，T.和Lukasiewicz，T.，Małuszy nn ski，J.：规则和本体的混合推理。收录：Bry，F.，Małuszyñski，J.（编辑）《网络语义技术：REWERSE视角》。LNCS，第5500卷，第50页。斯普林格，海德堡（2009）·Zbl 05610060号 ·doi:10.1007/978-3642-04581-3_1
[11] Dung，P.M.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。Artif公司。智力。 77(2), 321–358 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[12] Eiter，T.，Fink，M.，Krennwallner，T.：具有外部功能的声明性知识库的分解。收录于：IJCAI 2009。AAAI出版社，门罗公园（2009）
[13] Eiter，T.，Gottlob，G.，Veith，H.：模块逻辑编程和广义量词。收录：Fuhrbach，U.，Dix，J.，Nerode，A.（编辑）LPNMR 1997。LNCS，第1265卷，第290-309页。斯普林格，海德堡（1997）
[14] Eiter，T.、Ianni，G.、Krennwallner，T.和Polleres，A.：语义网络的规则和本体论。收录于：Baroglio，C.，Bonatti，P.A.，Małuszy nnski，J.，Marchiori，M.，Polleres，A.，Schaffert，S.（编辑）Reasoning Web 2008。LNCS，第5224卷，第1-53页。斯普林格，海德堡（2008）·Zbl 05365612号 ·doi:10.1007/978-3-540-85658-0_1
[15] Eiter，T.、Ianni，G.、Krennwallner，T.和Polleres，A.：答案集编程：入门。收录：Tessaris，S.、Franconi，E.、Eiter，T.、Gutierrez，C.、Handschuh，S.，Rousset，M.-C.、Schmidt，R.A.（编辑）Reasoning Web 2009。LNCS，第5689卷，第40-110页。斯普林格，海德堡（2009）·Zbl 1254.68248号 ·doi:10.1007/978-3-642-03754-2_2
[16] Eiter，T.、Ianni，G.、Lukasiewicz，T.，Schindlauer，R.、Tompits，H.：将答案集编程与语义网的描述逻辑相结合。Artif公司。智力。 172(12-13), 1495–1539 (2008) ·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[17] Eiter，T.、Ianni，G.、Schindlauer，R.、Tompits，H.：答案集编程中高阶推理和外部评估的统一集成。收录于：2005年国际JCAI，第90-96页。专业图书中心（2005）
[18] Eiter，T.、Ianni，G.、Schindlauer，R.、Tompits，H.：语义Web推理的声明规则与外部评估的有效集成。收录：Sure，Y.，Domingue，J.（编辑）ESWC 2006。LNCS，第4011卷，第273-287页。斯普林格，海德堡（2006）·doi:10.1007/11762256_22
[19] Eiter，T.，Lukasiewicz，T.，Schindlauer，R.，Tompits，H.：将语义网的答案集编程与描述逻辑相结合。收录于：KR 2004，第141-151页。Morgan Kaufmann，旧金山（2004）·Zbl 1183.68595号
[20] Eiter，T.，Subrahmanian，V.，Pick，G.：异构主动代理，I：语义。人工智能108（1-2），179-255（1999）·Zbl 0914.68123号 ·doi:10.1016/S0004-3702（99）00005-3
[21] Faber，W.，Leone，N.，Pfeifer，G.：析取逻辑程序中的递归聚合：语义和复杂性。收录人：Alferes，J.J.，Leite，J.（编辑）JELIA 2004。LNCS（LNAI），第3229卷，第200–212页。斯普林格，海德堡（2004）·兹比尔1111.68380 ·doi:10.1007/978-3-540-30227-819
[22] Gelfond，M.：答案集。摘自：van Harmelen，F.，Lifschitz，V.，Porter，B.（编辑）《知识表示手册》，《人工智能基础》，第7章，第285-316页。Elsevier，阿姆斯特丹（2007）
[23] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：ICLP 1988，第1070–1080页。麻省理工学院出版社，剑桥（1988）
[24] Gelfond，M.，Lifschitz，V.：逻辑程序和演绎数据库中的经典否定。新一代计算9365-385（1991）·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[25] Giunchiglia，F.：语境推理。认识论XVI，345–364（1993）
[26] Giunchiglia，F.，Serafini，L.：多语言层次逻辑，或：没有模态逻辑我们怎么办。人工智能65（1），29-70（1994）·Zbl 0787.68093号 ·doi:10.1016/0004-3702（94）90037-X
[27] Heymans，S.，Toma，I.：使用模糊十六进制规划对服务进行排名。收录：Calvanee，D.，Lausen，G.（编辑）RR 2008。LNCS，第5341卷，第181-196页。斯普林格，海德堡（2008）·Zbl 05368216号 ·电话：10.1007/978-3-540-88737-9_14
[28] Hoehndorf，R.，Loebe，F.，Kelso，J.，Herre，H.：表示生物医学本体论中的默认知识：应用于解剖和表型本体论的集成。BMC生物信息学8（1），377（2007）·Zbl 05326218号 ·doi:10.1186/1471-2105-8-377
[29] Lifschitz，V.：稳定模型的十二种定义。收录：Garcia de la Banda，M.，Pontelli，E.（编辑）ICLP 2008。LNCS，第5366卷，第37-51页。斯普林格，海德堡（2008）·Zbl 1185.68166号 ·doi:10.1007/978-3-540-89982-28
[30] Lifschitz，V.，Turner，H.：分割逻辑程序。载于：ICLP 1994，第23-37页。麻省理工学院出版社，剑桥（1994）
[31] Marek，V.，Truszczynski，M.：非单调逻辑——上下文相关推理。斯普林格，海德堡（1993）·Zbl 0784.03018号
[32] McCarthy，J.：人工智能概论。Commun公司。ACM 30（12），1029–1035（1987）·Zbl 0644.68004号 ·数字对象标识代码：10.1145/33447.33448
[33] Nieuwenborgh，D.V.，Cock，M.D.，Vermeir，D.：使用dlvhex计算模糊答案集。收录：Dahl，V.，Niemelä，I.（编辑）ICLP 2007。LNCS，第4670卷，第449-450页。斯普林格，海德堡（2007）·Zbl 05523640号 ·doi:10.1007/978-3-540-74610-2_40
[34] Nieuwenborgh，D.V.，Eiter，T.，Vermeir，D.：具有外部功能的条件规划。收录人：Baral，C.、Brewka，G.、Schlipf，J.（编辑）LPNMR 2007。LNCS（LNAI），第4483卷，第214-227页。斯普林格，海德堡（2007）·Zbl 1149.68425号 ·doi:10.1007/978-3-540-7200-7_19
[35] Polleres，A.，Feier，C.，Harth，A.：具有上下文范围否定的规则。收录：Sure，Y.，Domingue，J.（编辑）ESWC 2006。LNCS，第4011卷，第332-347页。斯普林格，海德堡（2006）·doi:10.1007/11762256_26
[36] Roelofsen，F.，Serafini，L.：语境中信息最少且缺失。In：程序。国际JCAI 2005（2005）·Zbl 1081.68694号
[37] Ross，K.A.：带否定的数据日志程序的模块分层和魔术集。J.ACM 41（6），1216–1266（1994）·Zbl 0830.68028号 ·数字对象标识代码：10.1145/195613.195646
[38] Schindlauer，R.：语义网的答案集编程。奥地利维也纳理工大学博士论文（2006年12月）
[39] Subrahmanian，V.，Bonatti，P.，Dix，J.，Eiter，T.，Kraus，S.，Ozcan，F.，Ross，R.：异质代理系统：理论与实现。麻省理工学院出版社，剑桥（2000）
[40] Väänänen，J.：广义量词，简介。收录于：Väänänen，J.（编辑）ESSLLI 1997。LNCS，第1754卷，第1-17页。斯普林格，海德堡（2000）·Zbl 0964.03038号 ·doi:10.1007/3-540-46583-9_1
[41] Wang，K.，Billington，D.，Blee，J.，Antoniou，G.：语义网的描述逻辑和可解逻辑相结合。收录：Antoniou，G.，Boley，H.（编辑）RuleML 2004。LNCS，第3323卷，第170-181页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-30504-0_13
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。