×
Yann Loyer；翁贝托·斯特拉契亚

格上的近似良好语义、查询应答和广义正规逻辑程序。 （英语） Zbl 1186.68098号

安。数学。Artif公司。智力。 55，编号3-4，389-417（2009）.
摘要：当要表示的真实世界信息的性质不完美，并且经典的明晰真、假近似不足够时，逻辑程序中不精确信息的管理就变得非常重要。在这项工作中，我们考虑完备格上的正规逻辑程序，其中可计算的真值组合函数可能出现在规则体中以操作真值，并且我们提供了一个自顶向下的查询应答过程。

引用于4文件

MSC公司：

68N17号 逻辑编程
03B50号 多值逻辑
03B52号 模糊逻辑；模糊逻辑
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
68立方英尺 知识表示

软件：

FPROLOG公司；FRIL公司；Ciao公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Loyer}和\textit{U.Straccia}，安.数学。Artif公司。智力。55，编号3--4，389--417（2009；Zbl 1186.68098）
全文： 内政部

参考文献：

[1] Alsinet，T.，Godo，L.：用模糊常量实现一阶可能逻辑编程的自动演绎系统。《国际情报杂志》。系统。17(9), 887–924 (2002) ·Zbl 1021.68022号 ·doi:10.1002/int.10069
[2] Alsinet，T.，Godo，L.，Sandri，S.：关于PLFC的语义和自动演绎，一种可能性不确定性和模糊性的逻辑。在：第15届人工智能不确定性年会论文集（UAI-99）。Morgan Kaufmann，旧金山（1999）
[3] Alsinet，T.，Godo，L.：具有模糊命题变量和模糊命题变量的可能性逻辑规划的完整计算。摘自：《第16届人工智能不确定性会议论文集》（UAI-00），第1-10页。Morgan Kaufmann，旧金山（2000）
[4] 鲍德温，J.F.：逻辑编程的证据支持。模糊集系统。24(1), 1–26 (1987) ·Zbl 0639.68105号 ·doi:10.1016/0165-0114（87）90110-2
[5] 鲍德温，J.F.：人工智能的大规模分配理论。莱克特。票据计算。科学。833, 22–34 (1994)
[6] Baldwin，J.F.，Martin，T.P.，Pilsworth，B.W.：Fril–人工智能中的模糊和证据推理。研究，汤顿（1995）
[7] Baldwin，J.F.，Martin，T.P.，Pilsworth，B.W.：模糊计算的应用：基于知识的系统：知识表示。收录：Ruspini，E.H.，Bonnisone，P.，Pedrycz，W.（编辑）《模糊计算手册》。IOP，布里斯托尔（1998）
[8] Bancilhon，F.，Maier，D.，Sagiv，Y.，Ullman，J.D.：实现逻辑程序的魔术集和其他奇怪方法（扩展抽象）。摘自：美国纽约州纽约市第五届ACM SIGACT-SIGMOD数据库系统原理研讨会论文集（PODS-86），第1-15页。ACM，纽约（1986）
[9] Baral，C.，Gelfond，M.，Rushton，N.：答案集概率推理。收录：第七届逻辑程序设计和非单调推理国际会议论文集（LPNMR-04）。人工智能课堂讲稿，佛罗里达州劳德代尔堡，美国，第2923号，第21-33页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1122.68361号
[10] 北卡罗来纳州贝尔纳普：计算机应该如何思考。收录于：Ryle，G.（编辑）《当代哲学》，第30-56页。Oriel，Stocksfield（1977年）
[11] Bueno，F.、Cabeza，D.、Carro，M.、Hermenegildo，M.，López-García，P.、Puebla，G.：Ciao序言系统。参考手册。技术报告CLIPS3/97.1，马德里技术大学计算机科学学院（UPM）（1997年）。http://www.cliplab.org/Software/Ciao/
[12] Calmet，J.，Lu，J，Rodriguez，M.，Schü，J：符号公式逻辑编程：操作语义和应用。摘自：Rás，Z.W.，Michalewicz，M.（编辑）第九届智能系统基础国际研讨会论文集。LNAI，柏林，第1079卷，第202-211页，第9-13页。施普林格，柏林-海德堡-纽约（1996）
[13] Cao，T.H.：带注释的模糊逻辑程序。模糊集系统。113(2), 277–298 (2000) ·兹比尔0951.68015 ·doi:10.1016/S0165-0114（98）00083-9
[14] Chesnevar，C.，Simari，G.，Alsinet，T.，Godo，L.：一个逻辑编程框架，用于模糊知识的可能性论证。摘自：《第20届人工智能不确定性年会论文集》（UAI-04），弗吉尼亚州阿灵顿，第76-84页。阿灵顿AUAI（2004）
[15] Chortaras，A.，Stamou，G.B.，Stafylopatis，A.：加权模糊规则的集成查询回答。第九届欧洲不确定性推理的符号和定量方法会议（ECSQARU-07）。计算机科学课堂讲稿，第4724号，767-778页。施普林格，柏林-海德堡-纽约（2007）·Zbl 1148.68505号
[16] Damásio，C.V.，Pereira，L.M.：混合概率逻辑程序作为剩余逻辑程序。螺柱日志。72（1），113–138（2002年）·Zbl 1053.68033号 ·doi:10.1023/A:1020582126389
[17] Damásio，C.V.，Medina，J.，Ojeda Aciego，M.：分类多伴随逻辑程序：终止结果和应用。摘自：第九届欧洲人工智能逻辑会议论文集（JELIA-04）。计算机科学课堂讲稿，第3229号，第252-265页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1111.68379号
[18] Damásio，C.V.，Medina，J.，Ojeda Aciego，M.：剩余逻辑编程的表格证明程序。摘自：2004年8月22日至27日在巴伦西亚举行的第六届欧洲人工智能会议记录（ECAI-04）
[19] Damásio，C.V.，Medina，J.，Ojeda Aciego，M.：排序多伴随逻辑程序的终止结果。摘自：《第十届基于知识的系统中信息处理和不确定性管理国际会议记录》（IPMU-04），第1879-1886页，佩鲁贾，2004年7月4-9日·Zbl 1111.68379号
[20] Damásio，C.V.，Pereira，L.M.：逻辑程序的次一致语义调查。摘自：Gabbay，D.，Smets，P.（编辑）《可推迟推理和不确定性管理系统手册》，第241-320页。德文特·克鲁沃（1998）·Zbl 0936.68021号
[21] Damásio，C.V.，Pereira，L.M.：反单调逻辑程序。摘自：第六届欧洲逻辑程序设计和非单调推理会议论文集（LPNMR-01）。计算机科学讲义，第2173期。施普林格，柏林-海德堡-纽约（2001）·Zbl 1007.68022号
[22] Damásio，C.V.，Pereira，L.M.：单调逻辑程序和剩余逻辑程序。收录于：Benferhat，S.，Besnard，P.（编辑）《不确定性推理的符号和定量方法》，第六届欧洲会议，ECSQARU 2001，法国图卢兹，2001年9月19-21日。《计算机科学论文集》，第2143卷，第748-759页。施普林格，柏林-海德堡-纽约（2001）
[23] Damásio，C.V.，Pereira，L.M.：分类单调逻辑程序及其嵌入。摘自：《第十届基于知识的系统中信息处理和不确定性管理国际会议记录》（IPMU-04），第807-814页，佩鲁贾，2004年7月4-9日
[24] Damásio，C.V.，Medina，J.，Ojeda-Aciego，M.：用不完全信息终止逻辑程序：应用程序和查询过程。J.应用。逻辑5（3），435–458（2007）9月·Zbl 1122.68025号
[25] Damásio，C.V.，Medina，M.，Ojeda-Aciego，J.：一阶剩余逻辑程序的制表程序。载：第11届知识系统信息处理和不确定性管理国际会议论文集，（IPMU-06），巴黎，2006年7月2日至7日·Zbl 1122.68025号
[26] Damásio，C.V.，Medina，M.，Ojeda-Aciego，J.：信息不完全的逻辑程序的终止：应用程序和查询过程。J.应用。逻辑。7(5), 435–458 (2007) ·Zbl 1122.68025号 ·doi:10.1016/j.cal.2006.03.004
[27] Dekhtyar，A.，Dekhtyard，M.I.：概率逻辑程序的可能世界语义。参加：第20届逻辑程序设计国际会议。计算机科学课堂讲稿，第3132卷，第137-148页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1104.68372号
[28] Dekhtyar，A.，Dekhtyar，M.I.：重新审视区间概率逻辑程序的语义。第八届逻辑程序设计与非单调推理国际会议（LPNMR-05）。计算机科学课堂讲稿，第3662号，第330-342页。施普林格，柏林-海德堡-纽约（2005）·Zbl 1152.68403号
[29] Dekhtyar，A.，Dekhtyard，M.I.，Subrahmanian，V.S.：时间概率逻辑程序。摘自：De Schreye，D.（编辑）《逻辑编程：1999年国际会议》，第109-123页，拉斯克鲁斯，1999年11月29日至12月4日·Zbl 0955.68020号
[30] Dekhtyar，A.，Subrahmanian，V.S.：混合概率程序。J.日志。程序。43(3), 187–250 (2000) ·Zbl 0955.68020号 ·doi:10.1016/S0743-1066（99）00059-X
[31] Dekhtyar，M.I.，Dekhtyard，A.，Subrahmanian，V.S.：混合概率程序：算法和复杂性。收录：Laskey，K.B.，Prade，H.（eds.）《第十五届人工智能不确定性会议论文集》（UAI-99），S.F.，加利福尼亚州，1999年30–1月，第160–169页。Morgan Kaufmann，旧金山·Zbl 0955.68020号
[32] Denecker，M.，Marek，V.，Truszczynski，M.：近似，稳定算子，基础良好的不动点以及在非单调推理中的应用。摘自：Minker，J.（编辑）《基于逻辑的人工智能》，第127-144页。德文特·克鲁尔（2000）·Zbl 0988.68183号
[33] Denecker，M.，Pelov，N.，Bruynooghe，M.：具有聚合的逻辑程序的终极基础良好且稳定的语义。收录于：Codognet，P.（编辑）《逻辑编程》，第17届国际会议，ICLP 2001年，塞浦路斯帕福斯，2001年11月26日至12月1日。《计算机科学论文集》，第2237卷。施普林格，柏林-海德堡-纽约（2001）·Zbl 1053.68526号
[34] Denecker，M.，Marek，V.W.，Truszczynski，M.：缺省逻辑和自认知逻辑的统一语义处理。摘自：Cohn，A.G.，Giunchiglia，F.，Selman，B.（编辑）《第七届知识表示和推理原则国际会议论文集》，第74-84页。Morgan Kaufman，旧金山（2000）·Zbl 1010.03021号
[35] Denecker，M.，Marek，V.W.，Truszczynski，M.：极限近似。技术报告CW 320，Katholieke Inivesiteit Leuven（2001）
[36] Denecker，M.，Marek，V.W.，Truszczyński，M.：非单调知识表示系统中的极限近似。摘自：Fensel，D.，Giunchiglia，F.，McGuinness，D.，Williams，M.（编辑）《知识表示和推理原则：第八届国际会议论文集》，第177-188页。Morgan Kaufmann，旧金山（2002年）
[37] Dong，G.，Libkin，L.，Wong，L.：本地语言中的增量重新计算。Inf.计算。181(2), 88–98 (2003) ·兹比尔1054.68085 ·doi:10.1016/S0890-5401（03）00017-8
[38] Dong，G.，Su，J.，Topor，R.W.：数据日志查询的非递归增量评估。安。数学。Artif公司。智力。14(2–4), 187–223 (1995) ·Zbl 0855.68026号 ·doi:10.1007/BF01530820
[39] Dubois，D.，Lang，J.，Prade，H.：走向可能性逻辑编程。In：程序。第八届逻辑编程国际会议（ICLP-91），第581-595页。麻省理工学院，剑桥（1991）
[40] Dubois，D.，Prade，H.：可能性理论、概率论和多值逻辑：一个澄清。安。数学。Artif公司。智力。32(1–4), 35–66 (2001) ·Zbl 1314.68309号 ·doi:10.1023/A:1016740830286
[41] 易卜拉欣，R.：模糊逻辑编程。模糊集系统。117(2), 215–230 (2001) ·Zbl 0985.68010号 ·doi:10.1016/S0165-0114（98）00300-5
[42] M.C.Fitting：稳定模型系列。J.逻辑程序。17, 197–225 (1993) ·Zbl 0798.68096号 ·doi:10.1016/0743-1066（93）90031-B
[43] Fitting，M.C.：逻辑编程的定点语义——一项调查。西奥。公司。科学。21(3), 25–51 (2002) ·Zbl 1002.68023号 ·doi:10.1016/S0304-3975（00）00330-3
[44] Fitting，M.：通用逻辑程序的Kripke-Kleene-sementics。J.逻辑程序。2, 295–312 (1985) ·Zbl 0589.68011号 ·doi:10.1016/S0743-1066（85）80005-4
[45] 拟合，M.：伪布尔值Prolog。螺柱日志。四十七（2），85–91（1987）·Zbl 0667.68110号
[46] Fitting，M.：双参数和逻辑编程的语义。J.逻辑程序。11, 91–116 (1991) ·Zbl 0757.68028号 ·doi:10.1016/0743-1066（91）90014-G
[47] Fuhr，N.：概率数据日志：为高级应用程序实现逻辑信息检索。美国社会科学杂志。51(2), 95–110 (2000) ·doi:10.1002/（SICI）1097-4571（2000）51:2<95:：AID-ASI2>3.0.CO；2-H型
[48] 金斯伯格，M.L.：多值逻辑：人工智能中推理的统一方法。计算。智力。4, 265–316 (1988) ·doi:10.1111/j.1467-8640.1988.tb00280.x
[49] Guller，D.：模糊析取程序的程序语义。收录于：Baaz，M.，Voronkov，A.（编辑）《程序设计、人工智能和推理逻辑》，第九届国际会议，2002年LPAR，2002年10月14日至18日，格鲁吉亚第比利斯。《计算机科学论文集》，第2514卷，第247-261页。施普林格，柏林-海德堡-纽约（2002）·兹比尔1023.0537
[50] Guller，D.：弱相似性模糊析取程序的语义。摘自：Abraham，A.，Köppen，M.（编辑）混合信息系统，第一届混合智能系统国际研讨会，澳大利亚阿德莱德，2001年12月11-12日，《软计算进展》，第285-299页。《物理学》，瓦茨堡（2002）·兹比尔1033.68074
[51] Hähnle，R.：多值逻辑表格规则的统一表示法。In：程序。多值逻辑国际研讨会，维多利亚，第238-245页。IEEE，洛斯阿拉米托斯（1991）
[52] 辛德，C.J.：模糊序言。国际曼马赫杂志。螺柱24，569–595（1986）·doi:10.1016/S0020-7373（86）80009-8
[53] Ishizuka，M.，Kanai，N.：Prolog-ELF：结合模糊逻辑。摘自：第九届国际人工智能联合会议记录（IJCAI-85），第701-703页，加利福尼亚州洛杉矶，1985年8月18-23日
[54] Kern-Isberner，G.，Lukasiewicz，T.：将概率逻辑编程与最大熵的能力相结合。Artif公司。智力。157(1–2), 139–202 (2004) ·Zbl 1085.68170号 ·doi:10.1016/j.artint.2004.04.003
[55] Kersting，K.，De Raedt，L.：贝叶斯逻辑程序。摘自：Cussens，J.，Frisch，A.M.（编辑）ILP工作成果报告，第十届国际归纳逻辑编程会议，CEUR研讨会论文集。CEUR-WS.org（2000）
[56] Kersting，K.，De Raedt，L.：贝叶斯逻辑编程：理论和工具。摘自：Getoor，L.，Taskar，B.（编辑）《统计关系学习导论》。麻省理工学院，剑桥（2005）
[57] Khamsi，M.A.，Misane，D.：析取符号逻辑程序。芬丹。通知。32, 349–357 (1996) ·Zbl 0927.68020号
[58] Khamsi，M.A.，Misane，D.：逻辑编程中的不动点定理。安。数学。Artif公司。智力。21, 231–243 (1997) ·Zbl 0890.68025号 ·doi:10.1023/A：1018969519807
[59] Kifer，M.，Li，A.：关于基于规则的不确定性专家系统的语义。In：程序。数据库理论国际会议（ICDT-88）第326页，计算机科学讲义，第102-117页。施普林格，柏林-海德堡-纽约（1988）·Zbl 0652.68109号
[60] Kifer，M.，Subrahmanian，V.S.：广义注释逻辑编程理论及其应用。J.逻辑程序。12335-367（1992年）·doi:10.1016/0743-1066（92）90007-P
[61] Klawonn，F.，Kruse，R.：基于逻辑的Prolog。数学。软计算。1(1), 5–29 (1994)
[62] Krajči，S.，Lencses，R.，Vojtásh，P.：模糊逻辑编程与注释逻辑编程的比较。模糊集系统。144173–192（2004年）·Zbl 1065.68024号 ·doi:10.1016/j.fss.2003.10.019
[63] Kulmann，P.，Sandri，S.：扩展可能性逻辑的注释逻辑定理证明器。模糊集系统。144, 67–91 (2004) ·Zbl 1076.68087号 ·doi:10.1016/j.fss.2003.10.014
[64] Lakshmanan，L.：不确定性逻辑编程的认知基础。在：软件技术和理论计算机科学基础。计算机科学课堂讲稿，第880期，第89-100页。施普林格，柏林-海德堡-纽约（1994）·Zbl 1044.68816号
[65] Lakshmanan，L.V.S.，Sadri，F.：关于概率演绎数据库的理论。理论与实践。日志。程序。1(1), 5–42 (2001) ·Zbl 02048601号 ·doi:10.1017/S147106840001058
[66] Lakshmanan，L.V.S.，Sadri，F.：不确定演绎数据库：一种混合方法。信息系统。22(8), 483–508 (1997) ·Zbl 0893.68056号 ·doi:10.1016/S0306-4379（97）00030-6
[67] Lakshmanan，L.V.S.，Shiri，N.：概率演绎数据库。In：国际。逻辑编程研讨会，第254-268页。麻省理工学院，剑桥（1994）
[68] Lakshmanan，L.V.S.，Shiri，N.：具有不确定性的演绎数据库的参数方法。IEEE传输。知识。数据工程13（4），554–570（2001）·Zbl 05109289号 ·数字对象标识代码：10.1109/69.940732
[69] Leone，N.，Rullo，P.，Scarcello，F.：非虚拟稳定模型：无基集合、不动点语义和计算。Inf.计算。135(2), 69–112 (1997) ·Zbl 0879.68019号 ·doi:10.1006/inco.1997.2630
[70] Libkin，L.，Wong，L.：关于类SQL语言中增量评估的威力。莱克特。票据计算。科学。1949年，17-30（2000年）·Zbl 1044.68583号 ·doi:10.1007/3-540-44543-92
[71] Loyer，Y.，Spyratos，N.：假设——为带有否定的数据日志程序建立的语义。第27届计算机科学数学基础国际研讨会（MFCS-2002）。《计算机科学讲义》，波兰华沙，第2420期，第483–494页。施普林格，柏林-海德堡-纽约（2002）·Zbl 1014.68042号
[72] Loyer，Y.，Spyratos，N.，Stamate，D.：逻辑程序的参数化语义——统一框架。Theor。计算。科学。308(1–3), 429–447 (2003) ·兹比尔1070.68086
[73] Loyer，Y.，Spyratos，N.，Stamate，D.：多值逻辑中基于假设的逻辑程序语义。ACM事务处理。计算。日志。5(3), 508–527 (2004) ·Zbl 1367.68037号
[74] Loyer，Y.，Straccia，U.：参数演绎数据库中的不确定性和部分非均匀假设。In：程序。第八届欧洲人工智能逻辑会议（JELIA-02）。《计算机科学讲义》，意大利科森扎，第2424期，第271-282页。施普林格，柏林-海德堡-纽约（2002）·Zbl 1013.68074号
[75] Loyer，Y.，Straccia，U.：具有不确定性的正常逻辑程序中的基础良好的语义。In：程序。第六届函数与逻辑编程国际研讨会（FLOPS-2002）。《计算机科学讲义》，日本爱津，第2441期，第152-166页。施普林格，柏林-海德堡-纽约（2002）·Zbl 1019.68019号
[76] Loyer，Y.，Straccia，U.：具有不确定性的逻辑程序的基本语义。第28届计算机科学数学基础国际研讨会（MFCS-2003）。《计算机科学讲义》，斯洛伐克共和国布拉迪斯拉发，第2747号，第541-550页。施普林格，柏林-海德堡-纽约（2003）·Zbl 1124.68339号
[77] Loyer，Y.，Straccia，U.：具有不确定性的逻辑程序中的默认知识。In：程序。第19届逻辑编程国际会议（ICLP-03）。《计算机科学讲义》，印度孟买，第2916期，第466-480页。施普林格，柏林-海德堡-纽约（2003）·Zbl 1204.68059号
[78] Loyer，Y.，Straccia，U.：双关语基础良好语义的认识论基础。第29届计算机科学数学基础国际研讨会（MFCS-2004）。《计算机科学讲义》，斯洛伐克共和国布拉迪斯拉发，第3153号，第513-524页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1096.68016号
[79] Loyer，Y.，Straccia，U.：逻辑编程中的任何世界假设。西奥。计算。科学。342(2–3), 351–381 (2005) ·Zbl 1077.68013号 ·doi:10.1016/j.tcs.2005.04.005
[80] Loyer，Y.，Straccia，U.：稳定模型语义的认识论基础。J.西奥。实际。日志。程序。6355–393（2006年）·Zbl 1110.68070号 ·文件编号：10.1017/S1471068405002619
[81] Lu，J.J.：带符号和注释的逻辑编程。J.日志。计算。6(6), 755–778 (1996) ·兹比尔0874.68062 ·doi:10.1093/logcom/6.6.755
[82] Lu，J.J.，Calmet，J.，Schü，J.:计算多值逻辑程序。数学。软计算。2(4), 129–153 (1997) ·Zbl 0880.68014号
[83] Lukasiewicz，T.：具有概率语义的多值一阶逻辑。摘自：欧洲计算机科学逻辑协会（CSL’98）年会论文集。计算机科学课堂讲稿，第1584号，第415-429页。施普林格，柏林-海德堡-纽约（1998）
[84] Lukasiewicz，T.：概率逻辑编程。In：程序。第13届欧洲人工智能会议（ECAI-98），布赖顿（英国），第388-392页（1998年8月）
[85] Lukasiewicz，T.：具有概率语义的多值析取逻辑程序。收录：第五届逻辑程序设计和非单调推理国际会议论文集（LPNMR’99）。计算机科学课堂讲稿，第1730号，第277-289页。施普林格，柏林-海德堡-纽约（1999）·Zbl 0952.68026号
[86] Lukasiewicz，T.：概率和真函数多值逻辑编程。摘自：IEEE多值逻辑国际研讨会，第236-241页。IEEE，皮斯卡塔韦（1999）·Zbl 0914.68178号
[87] Lukasiewicz，T.：具有概率语义的多值析取逻辑程序的不动点特征。摘自：第六届逻辑程序设计和非单调推理国际会议论文集（LPNMR-01）。《人工智能课堂讲稿》，第2173期，第336-350页。施普林格，柏林-海德堡-纽约（2001）·Zbl 1007.68026号
[88] Lukasiewicz，T.：继承与重写下的概率逻辑编程。在：《第17届人工智能不确定性会议论文集》（UAI-01），美国加利福尼亚州旧金山，第329-336页。Morgan Kaufmann，旧金山（2001）
[89] Lukasiewicz，T.：带条件约束的概率逻辑编程。ACM事务处理。计算。2(3), 289–339 (2001) ·Zbl 1171.68762号 ·doi:10.145/377978.378983
[90] Lukasiewicz，T.，Straccia，U.：在语义网的答案语义下紧密集成模糊描述逻辑程序。收录：第一届网络推理和规则系统国际会议记录（RR-07）。计算机科学课堂讲稿，第4524号，第289-298页。施普林格，柏林-海德堡-纽约（2007）
[91] Lukasiewicz，T.，Straccia，U.：语义网模糊描述逻辑程序中的Top-k检索。在：第一届可扩展不确定性管理国际会议论文集（SUM-07）。计算机科学课堂讲稿，第4772号，第16-30页。施普林格，柏林-海德堡-纽约（2007）
[92] Magrez，P.，Smets，P.：模糊模型：适用于知识系统应用的新模型。《国际情报杂志》。系统。4, 181–200 (1989) ·Zbl 0672.03010号 ·doi:10.1002/int.4550040205
[93] Majkic，Z.：逻辑程序的Coalgebraic语义。In:第18届（约束）逻辑编程研讨会（（W（C）LP-05），乌尔姆，2004年5月
[94] Majkic，Z.：基于双参数逻辑中的多值直觉蕴涵和推理闭包。2005年5月19日至21日，卡尔加里，第35届多值逻辑国际研讨会（ISMVL-05），第214-220号
[95] Majkic，Z.：多值逻辑编程的真理和知识定点语义。In:第19届（约束）逻辑编程研讨会（（W（C）LP-05），编号76-87，乌尔姆，2005年2月21日至25日
[96] Marek，V.W.，Truszczynski，M.：带成本的逻辑编程。肯塔基大学技术报告。ftp://al.cs.engr.uky.edu/cs/manuscripts/lp-costs.ps (2000)
[97] Martin，T.P.，Baldwin，J.F.，Pilsworth，B.W.：FProlog的实现——模糊序言解释器。模糊集系统。23(1), 119–129 (1987) ·Zbl 0633.68091号 ·doi:10.1016/0165-0114（87）90104-7
[98] Martin，T.P.：软计算、逻辑编程和语义网。摘自：《第十届基于知识的系统中信息处理和不确定性管理国际会议记录》（IPMU-04），第815-822页，佩鲁贾，2004年7月4-9日
[99] Mateis，C.：用t-范数扩展析取逻辑编程。收录：第五届逻辑程序设计和非单调推理国际会议论文集（LPNMR-99）。计算机科学课堂讲稿，编号1730，第290-304页。施普林格，柏林-海德堡-纽约（1999）·Zbl 0952.68027号
[100] Mateis，C.：定量析取逻辑编程：语义和计算。AI通讯。13, 225–248 (2000) ·Zbl 0967.68030号
[101] Medina，J.，Ojeda-Aciego，M.：多伴随逻辑编程。摘自：《第十届基于知识的系统中信息处理和不确定性管理国际会议记录》（IPMU-04），第823-830页，佩鲁贾，2004年7月4-9日·Zbl 1073.68025号
[102] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：具有连续语义的多伴随逻辑编程。摘自：第六届逻辑程序设计和非单调推理国际会议论文集（LPNMR-01）。《人工智能讲义》，第2173卷，第351–364页。施普林格，柏林-海德堡-纽约（2001）·Zbl 1007.68023号
[103] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：多伴随逻辑编程的过程语义。摘自：第十届葡萄牙人工智能会议论文集，关于人工智能、知识提取、多智能体系统、逻辑编程和约束求解的进展，第290-297页。施普林格，柏林-海德堡-纽约（2001）·Zbl 1053.68540号
[104] Medina，J.，Ojeda Aciego，M.，Vojtáš，P.：基于相似性的统一：一种多伴随方法。模糊集系统。1(146), 43–62 (2004) ·Zbl 1073.68026号 ·doi:10.1016/j.fss.2003.11.005
[105] Minker，J.：关于不确定数据库和封闭世界假设。In：程序。第六届自动扣减大会（CADE-82）。计算机科学课堂讲稿，第138期。施普林格，柏林-海德堡-纽约（1982）·Zbl 0481.68087号
[106] Muggleton，S.：随机逻辑程序。在：De Raedt，L.（编辑）《第五届归纳逻辑编程国际研讨会论文集》，第29页。鲁汶大学计算机科学系（1995年）·Zbl 1017.68098号
[107] Mukaidono，M.：模糊逻辑编程基础。收录：《模糊系统的进展——应用和理论》，第1卷。《世界科学》，新加坡（1996年）
[108] Mukaidono，M.，Shen，Z.，Ding，L.：模糊序言的基础。国际期刊近似原因。3(2), 179–193 (1989) ·Zbl 0666.68089号 ·doi:10.1016/0888-613X（89）90005-4
[109] Ng，R.，Subrahmanian，V.S.：概率演绎数据库的稳定模型语义。收录：Ras，Z.W.，Zemenkova，M.（编辑）Proc。第六国际公司。智能系统方法论（ISMIS-91）。《人工智能课堂讲稿》，第542期，第163-171页。施普林格，柏林-海德堡-纽约（1991）
[110] Ng，R.，Subrahmanian，V.S.：概率逻辑编程。Inf.计算。101(2), 150–201 (1993) ·Zbl 0781.68038号 ·doi:10.1016/0890-5401（92）90061-J
[111] Ng，R.，Subrahmanian，V.S.：概率演绎数据库的稳定模型语义。Inf.计算。110(1), 42–83 (1994) ·兹伯利0804.68026 ·文件编号：10.1006/inco.1994.1023
[112] Ngo，L.：概率析取逻辑编程。摘自：《人工智能中的不确定性：第十二届会议论文集》（UAI-1996），加利福尼亚州旧金山，第397-404页。Morgan Kaufmann，旧金山（1996）
[113] Ngo，L.，Haddawy，P.：回答上下文敏感概率知识库的查询。西奥。计算。科学。171(1–2), 147–177 (1997) ·Zbl 0874.68280号 ·doi:10.1016/S0304-3975（96）00128-4
[114] Nicolas，P.，Garcia，L.，Stéphan，I.：可能性稳定模型。载：《第19届国际人工智能联合会议论文集》（IJCAI-05），第248–253页。Morgan Kaufmann，旧金山（2005）·Zbl 1122.68667号
[115] Paulik，L.：对于模糊sld分辨率，最好的可能答案是可计算的。摘自：Hajék，P.（编辑）Gödel 96:数学、计算机科学和物理的逻辑基础。《逻辑学讲义》，第6期，第257-266页。施普林格，柏林-海德堡-纽约（1996）·Zbl 0854.03009号
[116] Poole，D.：概率角诱拐和贝叶斯网络。Artif公司。智力。64(1), 81–129 (1993) ·Zbl 0792.68176号 ·doi:10.1016/0004-3702（93）90061-F
[117] Poole，D.：在不确定性条件下对多个主体建模的独立选择逻辑。Artif公司。智力。94(1–2), 7–56 (1997) ·Zbl 0902.03017号 ·doi:10.1016/S0004-3702（97）00027-1
[118] Rhodes，P.C.，Merad Menani，S.：走向模糊逻辑编程系统：子句形式的模糊逻辑。知识-基于系统。8(4), 174–182 (1995) ·Zbl 05480065号 ·doi:10.1016/0950-7051（95）96214-C
[119] Rounds，W.C.，Zhang，G.-Q.：代数域中的子句逻辑和逻辑编程。Inf.计算。171, 183–200 (2001) ·Zbl 1005.68094号 ·doi:10.1006/inco.2001.3073
[120] Schroeder，M.，Schweimeier，R.：模糊论证和扩展逻辑编程。收录于：2001年9月于图卢兹举行的ECSQARU辩论冒险研讨会会议记录·Zbl 1093.68022号
[121] Schroeder，M.，Schweimeier，R.：争论和误解：谈判代理人的模糊统一。摘自：ICLP研讨会CLIMA02会议记录。Elsevier，阿姆斯特丹（2002）·Zbl 1270.68336号
[122] Schroeder，M.，Schweimeier，R.：模糊统一和论证，用于建立良好的语义。收录于：信息学理论与实践当前趋势会议记录（SOFSEM-04）。计算机科学课堂讲稿，第2932号，第102-121页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1202.68430号
[123] Sessa，M.I.：基于相似性的sld分辨率的近似推理。西奥。计算。科学。275, 389–426 (2002) ·Zbl 1051.68045号 ·doi:10.1016/S0304-3975（01）00188-8
[124] 夏皮罗（Shapiro，E.Y.）：具有不确定性的逻辑程序：实现基于规则的系统的工具。摘自：《第八届国际人工智能联合会议记录》（IJCAI-83），第529-532页，卡尔斯鲁厄，1983年8月8-12日
[125] Shen，Z.，Ding，L.，Mukaidono，L.：模糊prolog机器的理论框架。摘自：《模糊计算》，第89-100页。Elsevier，阿姆斯特丹（1988）·Zbl 0667.68105号
[126] Straccia，U.：不确定性条件下正常逻辑程序中的查询应答。参见：第八届欧洲不确定性推理符号和定量方法会议（ECSQARU-05）。《计算机科学讲义》，西班牙巴塞罗那，第3571号，第687-700页。施普林格，柏林-海德堡-纽约（2005）·Zbl 1122.68672号
[127] 斯特拉契亚，美国：《逻辑编程中的不确定性管理：简单有效的自上而下的查询应答》，收录于：科斯拉，R.，霍利特，R.J.，贾恩，L.C.（编辑）第九届基于知识和智能信息与工程系统国际会议（KES-05），第二部分。《计算机科学讲义》，澳大利亚墨尔本，第3682期，第753-760页。斯普林格，贝里格·海德堡，纽约（2005）
[128] 斯特拉契亚，美国：注释答案集编程。摘自：《第十一届基于知识的系统中的信息处理和不确定性管理国际会议记录》（IPMU-06），第1212-1219页。E.D.K.，巴黎（2006）
[129] Straccia，U.：正常逻辑程序在任何世界假设下的查询回答。摘自：《第十届知识表示原则国际会议记录》（KR-06），第329-339页。AAAI，门罗公园（2006）
[130] 斯特拉契亚，美国：走向演绎数据库中的top-k查询应答。摘自：《2006年IEEE系统、人与控制论国际会议论文集》（SMC-06），第4873-4879页。IEEE，皮斯卡塔韦（2006）
[131] 美国斯特拉契亚：在任意世界假设下，正常逻辑程序的自顶向下查询应答过程。摘自：第九届欧洲不确定性推理的符号和定量方法会议记录（ECSQARU-07）。计算机科学课堂讲稿，第4724号，第115-127页。施普林格，柏林-海德堡-纽约（2007）·Zbl 1148.68336号
[132] 斯特拉契亚，U。：面向基于逻辑的信息检索的逻辑编程中的模糊查询应答。国际模糊系统协会世界大会（IFSA-07）。《计算机科学讲义》，墨西哥坎昆，第4529号，第125-134页。施普林格，柏林-海德堡-纽约（2007）·Zbl 1202.68160号
[133] Subramanian，V.S.：关于定量逻辑程序的语义。In：程序。IEEE第四交响曲。逻辑编程，第173-182页。洛杉矶计算机社会出版社（1987）
[134] Tarski，A.：格理论不动点定理及其应用。派克靴。数学杂志。5, 285–309 (1955) ·Zbl 0064.26004号
[135] Turner，H.：签名逻辑程序。In:Bruynooghe，M.（编辑）《逻辑编程：Proc。1994年国际研讨会，第61-75页。麻省理工学院，皮斯卡塔韦（1994）
[136] Ullman，J.D.：数据库和知识库系统原理，卷。1,2. 计算机科学出版社，波托马克（1989）
[137] van Emden，M.H.：定量推导及其不动点理论。J.日志。程序。4(1), 37–53 (1986) ·Zbl 0609.68068号
[138] van Gelder，A.，Ross，K.A.，Schlimpf，J.S.：通用逻辑程序的良好语义。美国医学杂志。38（3），620–650（1991）·兹比尔0799.68045
[139] Vennekens，J.、Verbaeten，S.、Bruynooghe，M.：带注释析取的逻辑程序。In:第20届国际逻辑程序设计会议（ICLP-04）。计算机科学课堂讲稿，第3132卷，第431-445页。施普林格，柏林-海德堡-纽约（2004）·Zbl 1104.68391号
[140] Vojtáš，P.：模糊逻辑编程。模糊集系统。124361–370（2001年）·Zbl 1015.68036号 ·doi:10.1016/S0165-0114（01）00106-3
[141] Vojtáš，P.，Paulík，L.：非经典扩展SLD分辨率的健全性和完整性。摘自：第五届逻辑编程扩展国际研讨会（ELP'96）。人工智能课堂讲稿，编号1050，第289-301页，莱比锡，1996年3月28日至30日
[142] Vojtáš，P.，Vomelelová，M.：不完全信息逻辑编程模型之间演绎和归纳任务的转换。载：第10届知识系统不确定性信息处理和管理国际会议论文集，（IPMU-04），第839-846页，佩鲁贾，2004年7月4-9日
[143] Wagner，G.：模糊和可能性逻辑程序中的否定。收录：Martin，T.，Arcelli，F.（编辑）《逻辑编程与软计算》。研究，汤顿（1998）
[144] D.S.沃伦：逻辑程序备忘录。Commun公司。ACM公司。35（3），93–111（1992）·数字对象标识代码：10.1145/131295.131299
[145] Wüttrich，B.：概率知识库。IEEE传输。知识。数据工程7（5），691-698（1995）·Zbl 05109659号 ·数字对象标识代码：10.1109/69.469827
[146] Yasui，H.，Hamada，Y.，Mukaidono，M.：基于lukasiewicz蕴涵和有界积的模糊序言。IEEE传输。模糊系统。2, 949–954 (1995)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。