×
弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼

逻辑编程中知识和价值发明的外部来源。 （英语） Zbl 1125.68026号

安。数学。Artif公司。智力。 50，编号3-4，333-361（2007）.
摘要：逻辑编程中的价值发明问题包含许多场景，例如使用函数符号的逻辑编程、面向对象的逻辑语言、与外部知识源的互操作性或集合统一。这项工作介绍了一个在一般背景下嵌入价值发明的框架。确定了具有合适（但通常不可判定）“有限接地特性”的程序类，并引入了“价值发明限制”程序类。价值发明限制程序具有有限的基础属性，可以在多项式时间内确定。它们是一个非常大的多项式可判定类，具有这一特性，但无法对发明值的性质进行假设（而在关于函数符号逻辑编程的特定文献中，这是后者的情况）。最终讨论了与现有形式主义的关系，并描述了支持此类程序的系统的实现。

引用于15文件

MSC公司：

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

关键词：

人工智能;逻辑编程;答案集语义;价值发明

软件：

DLV公司;foaf公司;DLV-EX公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Calimeri}等人，《数学年鉴》。Artif公司。智力。50，编号3--4，333--361（2007；Zbl 1125.68026）
全文： 内政部

参考文献：

[1] Abiteboul，S.，Vianu，V.：数据库查询和更新的数据日志扩展。J.计算。系统。科学。43(1), 62–124 (1991) ·Zbl 0764.68158号 ·doi:10.1016/0022-0000（91）90032-Z
[2] Cabibbo，L.：具有价值发明的半正逻辑程序的表达性。摘自：《数据库中的逻辑》，第457–474页（1996年）
[3] Hull，R.，Yoshikawa，M.：ILOG：对象标识符的声明性创建和操作。收录于：McLeod，D.，Sacks-Davis，R.，Schek，H.J.（编辑）《第16届超大数据库国际会议论文集》，第455-468页，1990年8月13-16日。澳大利亚昆士兰布里斯班，摩根考夫曼（1990）
[4] Eiter，T.、Ianni，G.、Schindlauer，R.、Tompits，H.：答案集编程中高阶推理和外部评估的统一集成。摘自：2005年国际人工智能联合会议，第90-96页。英国爱丁堡（2005）·Zbl 1108.68359号
[5] Heymans，S.，Nieuwenborgh，D.V.，Vermeir，D.：具有扩展概念逻辑程序的非单调本体论和基于规则的推理。摘自：第二届欧洲语义网络会议论文集，ESWC 2005。计算机科学课堂讲稿，第3532卷，第392-407页（2005）
[6] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.、Scarcello，F.：用于知识表示和推理的DLV系统。ACM事务处理。计算。逻辑7（3），499–562（2006）·数字对象标识代码：10.1145/1149114.1149117
[7] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。Artif公司。英特尔。138, 181–234 (2002) ·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[8] Syrjänen，T.：欧米茄限制逻辑程序。摘自：第六届逻辑程序设计和非单调推理国际会议论文集。施普林格，维也纳，奥地利（2001）·Zbl 1007.68503号
[9] 博纳蒂，P.A.：用无限稳定模型进行推理。载于：《2001年第十七届国际人工智能联合会议（IJCAI）会议记录》，第603-610页。美国华盛顿州西雅图，摩根考夫曼出版社（2001）
[10] Faber，W.，Pfeifer，G.：DLV主页（自1996年起）网址：http://www.dlvsystem.com/
[11] Ross，K.：选言逻辑程序的良好语义。收录：Kim，W.、Nicolas，J.M.、Nishio，S.（编辑）《演绎和面向对象数据库》，第385-402页。爱思唯尔科学出版社（1990）
[12] Miller，L.，Brickley，D.：朋友的朋友（foaf）项目（自2000年起）http://www.foaf-project.org/
[13] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代。计算。9, 365–385 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[14] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：《逻辑编程：第五届国际会议和研讨会论文集》，第1070-1080页。麻省理工学院出版社，剑桥，马萨诸塞州（1988）
[15] Dantsin，E.，Eiter，T.，Gottlob，G.，Voronkov，A.：逻辑编程的复杂性和表达能力。ACM计算。调查33（3），374–425（2001）·doi:10.1145/502807.502810
[16] Lifschitz，V.，Turner，H.：分割逻辑程序。在：Van Hentenryck，P.（编辑）《第11届国际逻辑编程会议论文集》（ICLP’94），第23-37页。麻省理工学院出版社，圣玛格丽塔·利古尔，意大利（1994）
[17] 博纳蒂，P.A.：用无限稳定模型进行推理。Artif公司。英特尔。156(1), 75–111 (2004) ·Zbl 1085.68681号 ·doi:10.1016/j.artint.2004.02.001
[18] Leone，N.，Perri，S.，Scarcello，F.：通过联合排序方法改进ASP实例化器。收录于：Eiter，T.，Faber，W.，Truszczynski，M.（编辑）《逻辑编程和非单调推理——第六届国际会议论文集》，LPNMR’01，奥地利维也纳，2001年9月。Al（LNAI）课堂讲稿，第2173卷。Springer-Verlag（2001）·Zbl 1007.68712号
[19] Dovier，A.，Pontelli，E.，Rossi，G.：集合统一。《逻辑编程理论与实践》，第6卷，第645–701页（2006年）·Zbl 1108.68104号
[20] Heymans，S.、Nieuwenborgh，D.V.、Vermeir，D.：概念逻辑程序的语义网络推理。收录于：《语义网络的规则和规则标记语言：第三次国际研讨会》，RuleML 2004，第113-127页，2004年11月，日本广岛（2004）
[21] Cabibbo，L.：具有价值发明的分层逻辑程序的表达能力。Inf.计算。147(1), 22–56 (1998) ·Zbl 0927.68031号 ·doi:10.1006/inco.1998.2734
[22] Eiter，T.，Ianni，G.，Schindlauer，R.，Tompits，H.：非单调描述逻辑程序：实现和实验。摘自：《程序设计、人工智能和推理的逻辑》，第11届国际会议，LPAR 2004，第511-527页（2004）·Zbl 1108.68359号
[23] Eiter，T.，Ianni，G.，Tompits，H.，Schindlauer，R.：声明性规则与语义web推理外部评估的有效集成。摘自：《第三届欧洲语义网络会议论文集》（ESWC 2006），第273-287页（2006）
[24] Ullman，J.D.：《数据库和知识库系统原理》，第一卷，计算机科学出版社（1988年）
[25] Ramakrishnan，R.，Bancilhon，F.，Silberschatz，A.：具有无限关系的递归horn子句的安全性。1987年3月23日至25日，第六届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，第328–339页。ACM，加利福尼亚州圣地亚哥（1987）
[26] Sagiv，Y.，Vardi，M.Y.：无限数据库上数据日志查询的安全性。参见：第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会会议记录，第160–171页，1989年3月29–31日。宾夕法尼亚州费城ACM出版社（1989）
[27] Calimeri，F.，Ianni，G.:DLVEX主页（自2004年起）http://www.mat.unical.it/ianni/wiki/dlvex
[28] Palopoli，L.，Rombo，S.，Terracina，G.：具有（扩展的）析取逻辑编程的灵活模式发现。摘自：智能系统方法学国际研讨会（ISMIS 2005），AI（LNAI）课堂讲稿，第3448卷，第504-513页。斯普林格，萨拉托加斯普林斯，纽约，美国（2005）·Zbl 1132.68582号
[29] Cumbo，C.，Iiritano，S.，Rullo，P.：基于推理的文本分类知识提取。摘自：《发现科学》，第380-387页（2004年）·兹比尔1110.68438
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。