×
海宁·克里斯蒂安森

利用约束处理规则实现概率溯源逻辑规划。 （英语） Zbl 1229.68017号

Schrijvers，Tom（编辑）等人，《约束处理规则》。当前研究主题。柏林：施普林格出版社（ISBN 978-3-540-92242-1/pbk）。计算机科学课堂讲稿5388。人工智能课堂讲稿，85-118（2008）。
摘要：介绍了一类概率外推逻辑程序（PALP），并在CHR中开发了一个用于解决外推问题的实现，为其概率提供了最少的解释。给出了所有解释和最可能的解释版本。
与外推逻辑编程的其他概率版本相比，该方法具有更高的通用性和灵活的适应性架构，该架构融合了完整性约束以及与外部约束求解器的交互。
PALP以系统的方式转换为CHR程序，CHR程序充当查询解释器，生成的CHR代码以高度简洁的方式描述了搜索解释时应用的策略。
有关整个系列，请参见[Zbl 1157.68008号].

引用于4文件

MSC公司：

68N17号 逻辑编程

软件：

PALP公司;HYPROLOG公司;棱镜;SICStus公司;SCIFF公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Christiansen}，莱克特。注释计算。科学。5388、85-118（2008年；Zbl 1229.68017）
全文： 内政部

参考文献：

[1] Abdennadher，S.，Christiansen，H.：完整性约束和诱拐的CLP实验平台。收录于：FQAS 2000会议录，《灵活查询应答系统：软计算进展》系列，第141-152页。Physica-Verlag，Springer（2000）
[2] Abdennadher，S.，Schütz，H.：CHR（^{\lor}）：一种灵活的查询语言。收录：Andreasen，T.，Christiansen，H.，Larsen，H.L.（编辑）FQAS 1998。LNCS，第1495卷，第1-14页。斯普林格，海德堡（1998）·doi:10.1007/BFb0055987
[3] Alberti，M.、Chesani，F.、Gavanelli，M.和Lamma，E.：基于CHR的系统实现，用于生成和确认假设。收录人：Wolf，A.，Frühwirth，T.W.，Meister，M.（编辑）W（C）LP。Ulmer Informatik-Berichte，第2005-01卷，第111-122页。德国乌尔姆大学（2005年）
[4] Alberti，M.、Chesani，F.、Gavanelli，M.，Lamma，E.、Mello，P.、Torroni，P.:诱拐逻辑编程中的可验证代理交互：SCIFF框架。ACM计算逻辑学报9（4）（即将出版，2008年）·Zbl 1367.68273号 ·数字对象标识代码：10.1145/1380572.1380578
[5] Alferes，J.J.、Pereira，L.M.、Swift，T.：通过表对偶程序诱拐基础良好的语义和广义稳定模型。逻辑程序设计理论与实践4（4），383–428（2004）·Zbl 1090.68014号 ·doi:10.1017/S1471068403001960
[6] Baral，C.，Gelfond，M.，Rushton，J.N.：答案集概率推理。收录：Lifschitz，V.，Niemelä，I.（编辑）LPNMR 2004。LNCS，第2923卷，第21-33页。斯普林格，海德堡（2003）·Zbl 1122.68361号 ·doi:10.1007/978-3-540-24609-15
[7] 属性语法：一个完全基于约束的理论。收录人：Christiansen，H.，Skadhauge，P.R.，Villadsen，J.（编辑）CSLP 2005。LNCS，第3438卷，第1-16页。斯普林格，海德堡（2005）·doi:10.1007/11424574_1
[8] Blache，P.，Balfourier，J.-M.：属性语法：一种灵活的基于约束的解析方法。In:IWPT。清华大学出版社（2001）
[9] Holzbaur，C.：OFAI clp（q，r）手册，第1.3.3版。技术报告TR-95-09，奥地利人工智能研究所，维也纳（1995）
[10] Christiansen，H.：使用基于约束的元解释器进行自动推理。《逻辑编程杂志》37（1-3），213-254（1998）·Zbl 0920.68098号 ·doi:10.1016/S0743-1066（98）10009-2
[11] Christiansen，H.：CHR语法。国际。逻辑程序设计理论与实践杂志5（4-5），467-501（2005）·Zbl 1104.68055号 ·文件编号：10.1017/S1471068405002395
[12] Christiansen，H.：关于全球绑架的实施。In:Inoue，K.、Satoh，K.和Toni，F.（编辑）CLIMA 2006。LNCS，第4371卷，第226-245页。斯普林格，海德堡（2007）·Zbl 1177.68200号 ·doi:10.1007/978-3-540-69619-3_13
[13] Christiansen，H.：Prolog和约束处理规则的基于假设的推理的可执行规范。应用逻辑杂志（2008年出版）
[14] Christiansen，H.：CHR优先绑架。参见：Schrijvers，T.、Raiser，F.、Frühwirth，T.（编辑）CHR 2008，第五届约束处理规则研讨会（会议记录）。RISC-Linz报告系列第08-10号，第159-173页（2008年）
[15] Christiansen，H.，Dahl，V.：诊断和修复的逻辑语法。《国际人工智能工具杂志》12（3），227–248（2003）·doi:10.1142/S0218213003001216
[16] Christiansen，H.，Dahl，V.：HYPROLOG：一种新的逻辑编程语言，带有假设和推理。收录：Gabbrielli，M.，Gupta，G.（编辑）ICLP 2005。LNCS，第3668卷，第159-173页。斯普林格，海德堡（2005）·Zbl 1165.68327号 ·doi:10.1007/11562931_14
[17] Christiansen，H.，Dahl，V.：语境中的意义。收录人：Dey，A.K.，Kokinov，B.，Leake，D.B.，Turner，R.（编辑）CONTEXT 2005。LNCS，第3554卷，第97–111页。斯普林格，海德堡（2005）·Zbl 1081.68706号 ·数字对象标识代码：10.1007/115083738
[18] Christiansen，H.，Martinenghi，D.：关于简化数据库完整性约束。《基础信息》71（4），371–417（2006）·兹比尔1096.68037
[19] Console，L.，Dupré，D.T.，Torasso，P.：关于诱拐和演绎之间的关系。逻辑与计算杂志1（5），661-690（1991）·Zbl 0734.68085号 ·doi:10.1093/logcom/1.5.661
[20] Denecker，M.，Kakas，A.C.：逻辑编程中的诱拐。收录：Kakas，A.C.，Sadri，F.（编辑）《计算逻辑：逻辑编程及其以外》。LNCS，第2407卷，第402-436页。斯普林格，海德堡（2002）·Zbl 1012.68503号 ·doi:10.1007/3-5440-45628-7_16
[21] Dijkstra，E.W.：关于与图有关的两个问题的注释。数字数学1（4），269–271（1959）·Zbl 0092.16002号 ·doi:10.1007/BF01386390
[22] Duck，G.J.、Stuckey，P.J.、García de la Banda，M.J.、Holzbaur，C.：约束处理规则的精细操作语义。摘自：Demoen，B.，Lifschitz，V.（编辑）ICLP 2004。LNCS，第3132卷，第90-104页。斯普林格，海德堡（2004）·Zbl 1104.68359号 ·doi:10.1007/978-3-540-27775-07
[23] Endriss，U.，Mancarella，P.，Sadri，F.，Terreni，G.，Toni，F.：带约束的外推逻辑编程的ciff证明过程。收录人：Alferes，J.J.，Leite，J.A.（编辑）JELIA 2004。LNCS，第3229卷，第31-43页。斯普林格，海德堡（2004）·Zbl 1111.68674号 ·doi:10.1007/978-3-540-30227-86
[24] Frühwirth，T.：约束处理规则的理论与实践，约束逻辑编程专题。逻辑编程杂志37（1-3），95-138（1998）·Zbl 0920.68029号 ·doi:10.1016/S0743-1066（98）10005-5
[25] Frühwirth，T.W.，Holzbaur，C.：一类表达规则的源到源转换。收录于：Buccafurri，F.（编辑）APPIA-GULP-PRODE，第386-397页（2003年）
[26] Frühwirth，T.W.，Di Pierro，A.，Wiklicky，H.：概率约束处理规则。理论计算机科学电子笔记76（2002）·doi:10.1016/S1571-0661（04）80789-8
[27] Fung，T.H.，Kowalski，R.A.：溯因逻辑编程的iff证明过程。逻辑编程杂志33（2），151-165（1997）·Zbl 0890.68029号 ·doi:10.1016/S0743-1066（97）00026-5
[28] 卡卡斯，A.C.，科瓦尔斯基，R.A.，托尼，F.：诱拐在逻辑编程中的作用。收录于：Gabbay，D.M.、Hogger，C.J.、Robinson，J.A.（编辑）《人工智能和逻辑编程逻辑手册》，第5卷，第235-324页。牛津大学出版社，牛津（1998）
[29] Kakas，A.C.，Michael，A.，Mourlas，C.：ACLP：诱拐约束逻辑编程。《逻辑编程杂志》44，129-177（2000）·Zbl 0957.68017号 ·doi:10.1016/S0743-1066（99）00075-8
[30] De Koninck，L.、Schrijvers，T.、Demoen，B.：chr的用户定义规则优先级。收录于：Leuschel，M.，Podelski，A.（编辑）PPDP，第25-36页。ACM，纽约（2007）·数字对象标识代码：10.1145/1273920.1273924
[31] Lloyd，J.W.：逻辑编程基础；第二，扩展版。斯普林格，海德堡（1987）·doi:10.1007/978-3-642-83189-8
[32] Muggleton，S.：随机逻辑程序。摘自：de Raedt，L.（编辑）《归纳逻辑编程进展》，第254-264页。IOS出版社，阿姆斯特丹（1996）
[33] Nicolas，J.-M.：改进关系数据库中完整性检查的逻辑。信息学报18，227–253（1982）·Zbl 0478.68096号 ·doi:10.1007/BF00263192
[34] Poole，D.：逻辑编程、诱因和概率-一种自顶向下的任意时间算法，用于估计先验概率和后验概率。新一代计算11（3），377–400（1993）·Zbl 0788.68025号 ·doi:10.1007/BF03037184
[35] Poole，D.：通过否定作为失败而退缩：独立选择逻辑中的稳定模型。《逻辑程序设计杂志》44（1-3），5–35（2000）·Zbl 0957.68013号 ·doi:10.1016/S0743-1066（99）00071-0
[36] Reitzler，S.：概率约束逻辑编程。博士论文，1998年。作为AIMS出现，Arbeitspapiere des Institutes für Maschinelle Sprachverarbeitung，Lehrstuhl fur Theoretische Computerlinguistic，斯图加特大学，第5卷（1）（1999）
[37] Robinson，J.A.：基于分辨率原理的面向机器的逻辑。J.ACM 12（1），23–41（1965）·Zbl 0139.12303号 ·数字对象标识代码：10.1145/321250.321253
[38] Sato，T.，Kameya，Y.：棱镜：符号统计建模语言。载于：IJCAI，第1330-1339页（1997年）
[39] Sato，T.，Tamaki，H.：一阶编译器：确定性逻辑程序综合算法。符号计算杂志8（6），605-627（1989）·Zbl 0693.68017号 ·doi:10.1016/S0747-7171（89）80064-1
[40] Satoh，K.：“一切都好，结局都好”——一个关于全球绑架的提议。收录：Delgrand，J.P.，Schaub，T.（编辑）NMR，第360–367页（2004年）
[41] 佐藤，K.：全球绑架对信息代理的应用，失败后修改计划-初步报告。收录：Leite，J.，Torroni，P.（编辑）CLIMA 2004。LNCS，第3487卷，第213-229页。斯普林格，海德堡（2005）·Zbl 1081.68689号 ·doi:10.1007/11533092_13
[42] Sneyers，J.、Schrijvers，T.、Demoen，B.：Dijkstra的斐波那契堆算法：CHR中的可执行描述。收录人：Fink，M.、Tompits，H.、Woltran，S.（编辑）WLP。INFSYS研究报告，第1843-06-02卷，第182-191页。奥地利维也纳理工大学（2006年）
[43] 瑞典计算机科学研究所。SICStus Prolog用户手册4.0.2版。最新版本（2007），http://www.sics.se/isl
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。