×
佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;米奥德拉格·拉什科维奇;道德，德拉甘;阿列克桑达尔·佩罗维奇

用于证据推理的具有离散线性时间的命题概率逻辑。 （英语） Zbl 1269.03033号

安。数学。Artif公司。智力。 65，编号2-3，217-243（2012）.
本文的引言和第2节致力于将本文置于更广泛的背景下。为此，作者将逻辑和概率的结合追溯到莱布尼茨、伯努利、拉普拉斯和其他伟大的历史人物。在本文中，最相关的现代工作是J.Y.哈尔佩恩和R.普切拉[J.Artif.Intell.Res.（JAIR）26，1-34（2006；Zbl 1182.68244号)]其中包含一个开放性问题。本文旨在回答这个问题。
在第3节中，作者介绍了一种命题逻辑，该逻辑允许对证据、先验概率和后验概率进行推理，并定义了语法和语义。对于具有可数个演绎步骤的演绎关系，作者证明了所引入的逻辑是强完备的。
第四部分致力于证据和假设的命题逻辑，它由两个时间运算符丰富，一个运算符用于“下一个”，一个运算符用于“直到”。这一逻辑被证明是合理的和非常完整的。
第5节包含结论。在这里，作者通过考虑实数上奇数次多项式的例子，解释了为什么他们的完备性结果需要无穷推理规则。
审核人：Jürgen Landes（坎特伯雷）

引用于8文件

理学硕士：

03B62号 组合逻辑
03B44号 时间逻辑
68T27型 人工智能中的逻辑

关键词：

强完整性;时序逻辑;概率逻辑;证据

引文：

Zbl 1182.68244号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ognjanović}等人，《数学年鉴》。Artif公司。智力。65，编号2--3，217--243（2012；Zbl 1269.03033）
全文： 内政部

参考文献：

[1] 阿巴迪，M.：时间证明的力量。西奥。公司。科学。65，35-83（1989年）·Zbl 0669.03010号 ·doi:10.1016/0304-3975（89）90138-2
[2] Abadi，M.：“时间证明的力量”勘误表。西奥。公司。科学。70, 275 (1990) ·Zbl 0701.03009号 ·doi:10.1016/0304-3975（90）90128-5
[3] Andréka，H.，Németi，I.，Sain，I.：关于时间证明的强度。西奥。公司。科学。80, 125–151 (1991) ·Zbl 0732.03020号 ·doi:10.1016/0304-3975（91）90386-G
[4] Burgess，J.：时态逻辑公理I：从开始到结束。圣母院J.Form.Log。23(2), 367–374 (1982) ·doi:10.1305/ndjfl/1093870149
[5] Burges，J.：基本时态逻辑。收录于：Gabbay，D.，Guenthner，F.（编辑）《哲学逻辑手册》，第二卷：经典逻辑的延伸。莱德尔出版公司，多德雷赫特（1984）
[6] Doder，D.、Ognjanović，Z.、Markovć，Z、Perović，A.、Rašković、M：可以对证据推理建模的概率时间逻辑。In:FoIKS 2010，LNCS，第5956卷，第9-24页（2010）
[7] Doder，D.，Ognjanović，Z.，Marković，Z：一阶分支时间时序逻辑的公理化。J.大学。计算。科学。第16（11）页，1439–1451页（2010年）·Zbl 1216.03033号
[8] 爱默生：时间与模态逻辑。摘自：van Leeuwen，J.（编辑）《理论计算机科学手册》，第997-1072页。Elsevier，阿姆斯特丹（1990）·Zbl 0900.03030号
[9] 艾默生：反应系统的自动时间推理。收录：Moller，F.，Birtwistle，G.（编辑）《并行逻辑》，第41-101页。斯普林格（1996）
[10] Emerson，E.，Halpern，J.：“有时”和“不可能”重温：关于分支与线性时间。J.ACM 33，151–178（1986）·Zbl 0629.68020号 ·doi:10.1145/4904.4999
[11] Emerson，E.，Sistla，A.：决定全分支时间逻辑。信息控制61，175–201（1984）·Zbl 0593.03007号 ·doi:10.1016/S0019-9958（84）80047-9
[12] Gabbay，D.，Pnueli，A.，Shelah，S.，Stavi，J.：关于公平的时间分析。In：程序。第7次ACM症状。普林克。第页，共页。兰格，第163-173页（1980年）
[13] Gabbay，D.，Hodkinson，I.，Reynolds，M.：时间逻辑。数学基础和计算方面，第1卷。克拉伦登出版社（1994）·Zbl 0921.03023号
[14] Fagin，R.，Halpern，J.，Megiddo，N.：概率推理逻辑。Inf.计算。87(1–2), 78–128 (1990) ·Zbl 0811.03014号 ·doi:10.1016/0890-5401（90）90060-U
[15] Halpern，J.：关于不确定性的推理。麻省理工学院出版社（2003）·兹比尔1090.68105
[16] 莱布尼茨（Leibnitz，G.W.）：《条件性》（De conditionibus，1665）
[17] 莱布尼茨，G.W.：《法律样本》（1669）
[18] 莱布尼茨（G.W.Leibnitz）：《新文学》（De Nouveaux essais，1765）
[19] Godo，L.，Marchioni，E.：模糊逻辑设置中的相干条件概率。日志。J.IGPL 14（3），457–481（2006）·Zbl 1117.03031号 ·doi:10.1093/jigpal/jzl019
[20] Hailperin，T.：句子概率逻辑，起源，发展，现状和技术应用。利海大学出版社（1996）·兹伯利0922.03026
[21] Halpern，J.，Fagin，R.：信仰的两种观点：信仰是广义概率，信仰是证据。Artif公司。智力。54275-317（1992年）·Zbl 0762.68055号 ·doi:10.1016/0004-3702（92）90048-3
[22] Halpern，J.，Pucella，R.：关于证据推理的逻辑。J.阿蒂夫。智力。第26号、第1-34号决议（2006年）·Zbl 1182.68244号 ·doi:10.1007/s10462-007-9045-2
[23] 胡佛，D.N.：概率逻辑。安。数学。逻辑14，287–313（1978）·Zbl 0394.03033号 ·doi:10.1016/0003-4843（78）90022-0
[24] Kaivola，R.：公理化扩展计算树逻辑。摘自：《第21届国际代数与程序设计树木学术讨论会论文集》，第87–101页（1996）·Zbl 0893.68146号
[25] Kamp，J.：时态逻辑和线性秩序理论。博士论文。加州大学洛杉矶分校（1968年）
[26] Keisler，H.J.：超有限模型理论。摘自：Gandy，R.O.，Hyland，J.M.E.（编辑）逻辑座谈会76，第5-110页。北荷兰人（1977年）·Zbl 0423.03041号
[27] Keisler，H.J.：概率量词。收录：Barwise，J.，Feferman，S.（编辑）《模型理论逻辑学》，第509-556页。柏林施普林格（1985）
[28] Lichtenstein，O.，Pnueli，A.：命题时间逻辑：可判定性和完备性。日志。J.IGPL 8（1），55–85（2000）·Zbl 1033.03009号 ·doi:10.1093/jigpal/8.1.55
[29] Manna，Z.，Pnueli，A.：并发程序的验证：时间框架。收录：Boyer，R.S.，Moor，J.S.（编辑）《计算机科学中的正确性问题》，第215-273页。伦敦学术出版社（1981年）
[30] Marković，Z.，Ognjanović，Z.，Rašković（M）：带有概率运算符的直觉逻辑。出版物。数学研究所。，努夫。S’er.73（87），31–38（2003）·Zbl 1048.03020号 ·doi:10.2298/PIM0373031M
[31] 尼尔森，N.：概率逻辑。Artif公司。智力。28, 71–87 (1986) ·兹伯利0589.03007 ·doi:10.1016/0004-3702（86）90031-7
[32] 尼尔森：重新审视概率逻辑。Artif公司。智力。59, 39–42 (1993) ·doi:10.1016/0004-3702（93）90167-A
[33] Ognjanovicć，Z.，Rašković，M.：高阶概率逻辑。出版物。数学研究所。，努夫。S’er.60（74），1-4（1996）·Zbl 1009.03513号
[34] Ognjanović，Z.：一阶线性时间逻辑的完备性定理。出版物。数学研究所。，努夫。S’er.69（83），1-7（2001）·Zbl 1265.03009号
[35] Ognjanović，Z.，Marković，Z.，Rašković（M）：具有不精确概率和条件概率的逻辑的完备性定理。出版物。数学研究所。，努夫。S’er.78（92），35-49（2005）·Zbl 1144.03019号 ·doi:10.2298/PIM0578035O
[36] Ognjanović，Z.：离散线性时间概率逻辑：完备性、可判定性和复杂性。J.日志。计算。16(2), 257–285 (2006) ·Zbl 1102.03022号 ·doi:10.1093/log.com/exi077
[37] Ognjanović，Z.、Rašković、M.、Marković，Z：概率逻辑。Ognjanović，Z.（编辑）《计算机科学中的逻辑》。塞尔维亚科学与艺术学院数学研究所，第35-111页，ISBN 978-86-80593-40-1（2009）·Zbl 1224.03005号
[38] Ognjanović，Z.，Doder，D.，Marković，Z：具有两种概率运算符的分支时间逻辑。收录于：SUM 2011，LNCS 6929，第219-232页（2011）
[39] Perović，A.、Ognjanović，Z.、Rašković、M.、Markovć，Z：具有多项式权重公式的概率逻辑。收录于：FoIKS 2008，第239-252页（2008）·Zbl 1138.03315号
[40] Prior，A.：时间和形式。克拉伦登，牛津（1957）·Zbl 0079.00606号
[41] Rašković，M.：带概率算子的经典逻辑。出版物。数学研究所。，努夫。S’er.53（67），1-3（1993）·Zbl 0799.03018号
[42] Rašković，M.，Ognjanović，Z.：一阶概率逻辑，LP Q。出版物。数学研究所。，努夫。S’er。65（79），1-7（1999）·Zbl 1006.03018号
[43] Rašković，M.、Marković，Z.、Ognjanović、Z.：可以模拟默认推理的近似条件概率逻辑。国际期刊近似原因。49(1), 52–66 (2008) ·Zbl 1184.68520号 ·doi:10.1016/j.ijar.2007.08.006
[44] Reynolds，M.：完全计算树逻辑的公理化。J.塞姆。日志。66(3), 1011–1057 (2001) ·Zbl 1002.03015号 ·doi:10.2307/2695091
[45] Shafer，G.：证据的数学理论。普林斯顿大学出版社，新泽西州普林斯顿（1976）·Zbl 0359.62002号
[46] Shafer，G.：信念函数和参数模型（带注释）。J.R.Stat.Soc.，序列号。B.44、322–352（1982）·Zbl 0499.62007号
[47] 斯特灵：模态和时间逻辑。In:《计算机科学逻辑手册》，第2卷，第477-563页（1992）
[48] van Benthem，J.：《时间的逻辑》。施普林格，柏林-海德堡-纽约（1991）·Zbl 0758.03012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。