×
格劳贝尔·德博纳;法比奥·加利亚迪·科兹曼;马塞洛·芬格

对命题概率逻辑进行分类。 （英语） Zbl 1352.03032号

J.应用。日志。 第349-368号第12页（2014年）.
摘要：本文研究命题概率逻辑的两个方面：概率算子的嵌套和概率评估的表达。我们表明，当语义基于对估值的单一概率度量时，嵌套可以被消除；然后，我们介绍了一种概率评估的分类，并给出了关于其表示性的新结果。使用我们关于嵌套和概率表达的结果对文献中的逻辑进行分类。

引用于6文件

MSC公司：

03B48号 概率和归纳逻辑

关键词：

概率逻辑;表现力;计算复杂性
PDF格式BibTeX公司 XML格式引用
\textit{G.De Bona}等人，J.Appl。日志。12，第3号，349--368（2014；Zbl 1352.03032）
全文： DOI程序

参考文献：

[1] Andersen，K。；胡克，J.，《不确定性逻辑的线性规划框架》*1，Decis。支持系统。，16, 1, 39-53 (1996)
[2] 拜尔，C。；克拉克，E.M。；Hartonas-Garmhausen，V。；Kwiatkowska，M。；Ryan，M.，概率过程的符号模型检验（1997），Springer·Zbl 1401.68180号
[3] Baltazar，P.，《逻辑概率：完备性和可判定性》，《对数》。大学。，7, 4, 403-440 (2013) ·Zbl 1323.03033号
[4] Boole，G.，《思维规律的研究：逻辑和概率的数学理论是在什么基础上建立的》（1854），Walton和Maberly·Zbl 1205.03003号
[5] 布鲁诺，G。；Gilio，A.，Applicazione del metodo del simplesso al teorema fondamentale per le probabilita nella concezione soggettivistica，统计学，40，3，337-344（1980）·Zbl 0441.60003号
[6] Burgess，J.P.，概率逻辑，J.Symb。日志。，34, 2, 264-274 (1969) ·Zbl 0184.00902号
[7] 科兹曼，F。；de Campos，C。；Ferreira da Rocha，J.，独立概率逻辑，国际近似推理。，49, 1, 3-17 (2008) ·Zbl 1184.68501号
[8] Cozman，F.G。；di Ianni，L.F.，通过整数规划的概率可满足性和一致性检查，（不确定性推理的符号和定量方法（2013），施普林格），145-156·Zbl 1390.68591号
[9] De Bona，G。；Cozman，F。；Finger，M.，广义概率可满足性，（2013年巴西智能系统会议（BRACIS）（2013），IEEE），182-188
[10] 德米，L。；Kooi，B。；Sack，J.，《逻辑与概率》（Zalta，E.N.，《斯坦福大学哲学百科全书》（2013））
[11] 费金，R。；Halpern，J.，《关于知识和概率的推理》，J.ACM，41，2，340-367（1994）·Zbl 0806.68098号
[12] 费金，R。；Halpern，J。；Megiddo，N.，关于概率的推理逻辑*1，Inf.Comput。，87, 1-2, 78-128 (1990) ·Zbl 0811.03014号
[13] 手指，M。；De Bona，G.，《概率可满足性：基于逻辑的算法和相变》（IJCAI’11（2011）会议录）
[14] 手指，M。；勒布拉斯，R。；戈麦斯，C.P。；Selman，B.，使用优化概率可满足性解决硬约束和软约束，（SAT会议录（2013））·Zbl 1390.68594号
[15] Gärdefors，P.，作为内涵逻辑的定性概率，J.Philos。日志。，4, 2, 171-185 (1975) ·Zbl 0317.02030号
[16] Garling，D.，《不等式：线性分析之旅》，第19卷（2007年），剑桥大学出版社：剑桥大学出版社·Zbl 1135.26014号
[17] Georgakopoulos，G。；卡夫瓦迪亚，D。；Papadimitriou，C.，概率可满足性，J.Complex。，4, 1, 1-11 (1988) ·Zbl 0647.68049号
[18] Haenni，R。；罗梅因，J。；惠勒，G。；Williamson，J.，概率逻辑和概率网络，综合图书馆，第350卷（2011），施普林格出版社·Zbl 1213.03031号
[19] Haenni，R。；罗梅因，J.-W。；惠勒，G。；Williamson，J.，概率逻辑通用框架的可能语义，（区间/概率不确定性和非经典逻辑（2008），Springer），268-279·Zbl 1151.03323号
[20] Hailperin，T.，事件逻辑函数概率的最佳可能不等式，美国数学。周一。，72, 4, 343-359 (1965) ·Zbl 0132.13706号
[21] Halpern，J.Y.，概率的一阶逻辑分析，人工制品。智力。，46, 3, 311-350 (1990) ·Zbl 0723.03007号
[22] Halpern，J.Y.，《关于不确定性的推理》（2003），麻省理工学院出版社·Zbl 1090.68105号
[23] Hansen，P。；Jaumard，B.，概率可满足性，（可延迟推理和不确定性管理系统手册：不确定性和可延迟推理算法（2000），Springer），321·Zbl 1015.68198号
[24] Hansen，P。；Perron，S.，《概率可满足性的局部和全局方法的合并》，国际期刊近似推理。，47, 2, 125-140 (2008) ·兹比尔1343.68220
[25] 豪森，C。；《科学推理：贝叶斯方法》（1989），公开法庭出版公司。
[26] Ikodinović，N。；Ognjanović，Z。；佩罗维奇，A。；Rašković，M.，概率逻辑层次，（Godo，Lluis；Prade，Henri，ECAI-2012人工智能加权逻辑研讨会WL4AI。ECAI-2011人工智能加权logics研讨会WL4AI，法国蒙彼利埃，2012年8月28日），9-15
[27] Jaumard，B。；Fortin，A。；沙赫里亚尔一世。；Sultana，R.，一阶概率逻辑，（北美模糊信息处理协会年会。北美模糊信息加工协会年会，NAFIPS 2006（2006），IEEE），341-346
[28] Jaumard，B。；Hansen，P。；Poggi de Aragao，M.，概率逻辑的列生成方法，INFORMS J.Compute。，3, 2, 135 (1991) ·Zbl 0800.68864号
[29] 卡夫瓦迪亚，D。；Papadimitriou，C.，《概率推理的线性规划方法》，《数学年鉴》。Artif公司。智力。，1, 1, 189-205 (1990) ·Zbl 0878.68034号
[30] Klinov，P。；Parsia，B.，概率可满足性的混合方法，（自动演绎-CADE-23（2011），Springer），354-368·Zbl 1341.68191号
[31] Kronecker，L.，Näherungsweise ganzzahlige Auflösung linear Gleichungen（1884）
[32] Kyburg，H.E。；Teng，C.M.，《不确定性推断》（2001），剑桥大学出版社·兹比尔1023.0002
[33] Nilsson，N.，概率逻辑*1，Artif。智力。，28, 1, 71-87 (1986) ·Zbl 0589.03007号
[34] Ognjanovic，Z。；Raskovic，M.，《具有新型概率算子的概率逻辑》，J.Log。计算。，181-195年9月2日（1999年）·Zbl 0941.03022号
[35] Ognjanovic，Z。；Raškovic，M.，《一些一阶概率逻辑》，Theor。计算。科学。，247, 1, 191-212 (2000) ·Zbl 0954.03024号
[36] Ognjanovic，Z。；拉什科维奇，M。；Markovic，Z.，概率逻辑（计算机科学中的逻辑（2009），塞尔维亚科学与艺术学院数学研究所），35-111·兹比尔1224.03005
[37] 斯科特·D。；克劳斯，P.，给逻辑公式赋值概率，Asp。电感。日志。，43, 219-264 (2000) ·Zbl 0202.29905号
[38] Uchii，S.，《高阶概率与相干性》，Philos。科学。，40, 373-381 (1973)
[39] 威廉姆森，J.，《概率哲学》（数学哲学手册，第4卷（2009年）），第493-533页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。