×
Dautović，Šejla;道德，德拉甘;佐兰·奥格尼亚诺维奇

关于确认程度的推理。 （英语） Zbl 07578361号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 80-95 (2020).
摘要：我们提出了一种概率逻辑来推理确认度。我们为逻辑提供了一个健全且强完整的公理化。我们证明了判定可满足性的问题是在PSPACE中。
关于整个系列，请参见[Zbl 1496.03007号].

MSC公司：

03B48号 概率和归纳逻辑
03B25号 理论和句子集的可决定性
2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

概率逻辑;确认措施;完备性定理;可判定性
PDF格式BibTeX公司 XML格式引用
\textit{Š.Dautović}等人，Lect。注释计算。科学。12061，80-95（2020；Zbl 07578361）
全文： 内政部

参考文献：

[1] Canny，J.F.：PSPACE中的一些代数和几何计算。摘自：1988年5月2日至4日在美国伊利诺伊州芝加哥举行的第20届美国计算机学会计算理论年会论文集，第460-467页（1988）
[2] 卡纳普，R.：《概率的逻辑基础》，第二版。芝加哥大学出版社，芝加哥（1962年）。第1版（1950）·Zbl 0040.07001号
[3] Delgrand，J.P.，Renne，B.，Sack，J.：定性概率的逻辑。Artif公司。智力。275, 457-486 (2019) ·兹比尔1478.03048 ·doi:10.1016/j.artint.2019.07.002
[4] Doder，D.，Marinković，B.，Maksimović，P.，Perovć，A.：带条件概率运算符的逻辑。L'Institut Mathematique出版社。87（101），85-96（2010）·Zbl 1265.03010号 ·doi:10.2298/PIM1001085D
[5] Doder，D.，Ognjanović，Z.：推理不确定时间信息的概率逻辑。摘自：《第三十一届人工智能不确定性会议论文集》，UAI 2015，第248-257页（2015）
[6] Doder，D.，Ognjanović，Z.：具有独立性和确定性的概率逻辑。Studia Logica逻辑研究105（5），943-969（2017）·Zbl 1417.03171号 ·doi:10.1007/s11225-017-9718-z
[7] Doder，D.：一种具有大步长概率的逻辑，可以模拟系统P的非单调推理。90(104), 13-22 (2011) ·兹比尔1289.03005 ·doi:10.2298/PIM1104013D
[8] Doder，D.，Marković，Z.，Ognjanović，Z.，Perović的A.，Rašković的M.：可以对证据推理建模的概率时间逻辑。收录：Link，S.，Prade，H.（编辑）FoIKS 2010。LNCS，第5956卷，第9-24页。施普林格，海德堡（2010）。https://doi.org/10.1007/978-3-642-11829-6_4 ·Zbl 1269.03033号 ·doi:10.1007/978-3-642-11829-64
[9] Doder，D.，Ognjanovic，Z.，Markovic，Z.：一阶分支时间时序逻辑的公理化。《加利福尼亚大学学报》16（11），1439-1451（2010）·兹伯利1216.03033
[10] Doder，D.，Savć，N.，Ognjanović，Z.：推理高阶上下概率的多代理逻辑。《逻辑语言信息》29，77-107（2020）。https://doi.org/10.1007/s10849-019-09301-7 ·Zbl 1477.03069号 ·doi:10.1007/s10849-019-09301-7
[11] Eells，E.，Fitelson，B.：测量确认和证据。J.菲洛斯。97(12), 663-672 (2000) ·doi:10.2307/2678462
[12] Fagin，R.，Halpern，J.Y.：关于知识和概率的推理。J.ACM 41（2），340-367（1994）·Zbl 0806.68098号 ·数字对象标识代码：10.1145/174652.174658
[13] Fagin，R.，Halpern，J.Y.，Megiddo，N.：概率推理逻辑。Inf.计算。87, 78-128 (1990) ·Zbl 0811.03014号 ·doi:10.1016/0890-5401（90）90060-U
[14] Fitelson，B.：确认的多种贝叶斯方法和测量灵敏度问题。菲洛斯。科学。66(3), 378 (1999) ·doi:10.1086/392699
[15] Frisch，A.，Haddawy，P.：概率逻辑的任何时间演绎。Artif公司。智力。69, 93-122 (1994) ·Zbl 0809.03016号 ·doi:10.1016/0004-3702（94）90079-5
[16] Gaifman，H.：高阶概率理论。在：Halpern，J.Y.（编辑）《关于知识推理的理论方面的论文集》，第275-292页。Morgan-Kaufmann，San Mateo（1986年）·doi:10.1016/B978-0-934613-04-0.50023-5
[17] Guelev，D.：具有定性概率的命题动态逻辑。J.菲洛斯。逻辑28575-605（1999）·兹伯利0939.03028 ·doi:10.1023/A:1004602621885
[18] Halpern，J.Y.：概率的一阶逻辑分析。Artif公司。智力。46, 311-350 (1990) ·Zbl 0723.03007号 ·doi:10.1016/0004-3702（90）90019-V
[19] Heifetz，A.，Mongin，P.：类型空间的概率逻辑。游戏经济。贝哈夫。35, 31-53 (2001) ·Zbl 0978.03017号 ·doi:10.1006/游戏.1999.0788
[20] van der Hoek，W.：关于逻辑（P_{rm{F}}）的一些考虑。非类别。日志。7(3), 287-307 (1997) ·Zbl 0885.03022号
[21] Keisler，H.J.：概率量词。收录于：Barwise，J.，Feferman，S.（编辑）《模型理论逻辑》，第509-556页。柏林施普林格（1985）
[22] Marinkovic，B.，Ognjanovic，Z.，Doder，D.，Perovic，A.：时间流同构于（ω{}^{text{2}}）的命题线性时间逻辑。J.应用。逻辑12（2），208-229（2014）·Zbl 1328.03017号 ·doi:10.1016/j.jal.2014.03.002
[23] 尼尔森，N.：概率逻辑。Artif公司。智力。28, 71-87 (1986) ·Zbl 0589.03007号 ·doi:10.1016/0004-3702（86）90031-7
[24] Ognjanovicć，Z.，Rašković，M.：一些一阶概率逻辑。理论。计算。科学。247(1-2), 191-212 (2000) ·Zbl 0954.03024号 ·doi:10.1016/S0304-3975（98）00341-7
[25] Ognjanović，Z.、Rašković、M.、Marković，Z：概率逻辑。基于概率的不确定性推理形式化。查姆施普林格（2016）。https://doi.org/10.1007/978-3-319-47012-2 ·Zbl 1371.03001号 ·doi:10.1007/978-3-319-47012-2
[26] Ognjanović，Z.，Doder，D.，Marković，Z：具有两种概率运算符的分支时间逻辑。摘自：Benferhat，S.，Grant，J.（编辑）SUM 2011。LNCS（LNAI），第6929卷，第219-232页。斯普林格，海德堡（2011）。https://doi.org/10.1007/978-3-642-23963-2_18 ·doi:10.1007/978-3-642-23963-2_18
[27] Savć，N.、Doder，D.、Ognjanović，Z.：具有上下概率运算符的逻辑。国际期刊近似推理88，148-168（2017）·Zbl 1422.03042号 ·doi:10.1016/j.ijar.2017.05.013
[28] Tentori，K.，Crupi，V.，Bonini，N.，Osherson，D.：确认措施的比较。认知103（1），107-119（2007）·doi:10.1016/j.认知.2005.09.006
[29] 托莫维奇，S.，Ognjanović，Z.，Doder，D.：无限多代理之间的概率常识。收录：Destercke，S.，Denoeux，T.（编辑）ECSQARU 2015。LNCS（LNAI），第9161卷，第496-505页。查姆施普林格（2015）。https://doi.org/10.1007/978-3-319-20807-7_45 ·Zbl 1465.68244号 ·doi:10.1007/978-3-319-20807-7_45
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。