伊里奇-斯蒂皮奇，安吉丽娜;佐兰·奥格尼亚诺维奇;Ikodinović，内博伊沙 条件\（p\）-adic概率逻辑。 （英语） Zbl 1433.03062号 国际J近似推理 55，第9期，1843-1865（2014）. 摘要：本文给出了（p）值条件概率逻辑的证明理论方法。我们引入了两个这样的逻辑，用\（\mathrm表示{CPL}_{\mathbf{Z}（Z）_{\mathbf{p}}\）和\（\mathrm{CPL}_｛\mathbf｝{问}_{\mathbf{p}}^{\mathrm{fin}}\）。这些逻辑都使用二进制（条件概率）运算符列表扩展了经典命题逻辑。公式在基于基本概率空间的克里普克类模型中进行解释。给出了具有无穷推理规则的公理系统，并证明了它是健全的和强完备的。证明了每个逻辑的可满足性问题的可判定性。 引用于9文件 MSC公司： 03B48号 概率和归纳逻辑 03B25号 理论和句子集的可决定性 68T27型 人工智能中的逻辑 关键词：\（p\）-adic;条件概率 软件：TETRAD公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Ilić-Stepić}等人，《国际近似推理》55，第9期，1843-1865（2014；Zbl 1433.03062） 全文： 内政部 参考文献： [1] Neapolitan，R.E.，《专家系统中的概率推理》（1990），威利：威利纽约 [2] Pearl，J.，《智能系统中的概率推理》（1988），摩根·考夫曼：摩根·考夫曼旧金山 [3] Spirtes，P。；Glymour，C。；Scheines，V.，因果关系、预测和搜索（1993），施普林格：施普林格纽约·Zbl 0806.62001 [4] 费金，R。；Halpern，J.Y。；摩西，Y。；Vardi，M.Y.，《关于知识的推理》（Reasoning About Knowledge）（2003年），麻省理工学院出版社：剑桥·Zbl 1060.03008号 [5] 特龙，S。；伯加德，W。；Fox，D.，《概率机器人学》（2005），麻省理工学院出版社：剑桥·Zbl 1081.68703号 [6] Kersting，K。；Raedt，L.D.，《贝叶斯逻辑编程：理论与工具》，（Getoor，L.；Taskar，B.，《统计关系学习导论》（2007），麻省理工学院出版社：麻省理学出版社剑桥） [7] Bacchus，F.，Lp，一种用统计知识表示和推理的逻辑，Compute。智力。，6, 209-231 (1990) [8] 费金，R。；哈尔彭，J。；Megiddo，N.，《概率推理逻辑》，Inf.Compute。，87, 1-2, 78-128 (1990) ·Zbl 0811.03014号 [9] Lehmann，D.，《广义定性概率：Savage修订》，（第十二届人工智能不确定性会议论文集（UAI-96）（1996）），381-388 [10] Ognjanović，Z。；拉什科维奇，M。；马尔科维奇，Z.，概率逻辑，Zb。半径测井。计算。科学。，12, 20, 35-111 (2009) ·Zbl 1224.03005号 [11] Rašković，医学博士。；Djordjević，R.，概率量词和运算符（1996），VESTA:VESTA Belgrade·Zbl 0933.03044号 [12] Pap，E.，《测量理论手册》（2002），Elsevier·Zbl 0998.28001号 [13] Ikodinović，N。；拉什科维奇，M。；Ognjanović，Z。；Marković，Z.，测量逻辑，（LNAI，第4724卷（2007）），128-138·Zbl 1148.68485号 [14] 拉什科维奇，M。；Ognjanović，Z。；Marković，Z.，《一种具有近似条件概率的逻辑，可以模拟默认推理》，《国际期刊近似推理》。，49, 52-66 (2008) ·Zbl 1184.68520号 [15] 科尔蒂，G。；Scozzafava，R.，《相干背景下的概率逻辑》（2002年），Kluwer:Kluwer-Dordrecht·Zbl 1005.60007号 [16] 比亚佐，V。；Gilio，A。；Lukasiewicz，T。；Sanfilippo，G.，《连贯性下的概率逻辑：复杂性和算法》，《数学年鉴》。Artif公司。智力。，45, 1-2, 35-81 (2005) ·Zbl 1083.03027号 [17] Gilio，A.，在基于一致性的概率缺省推理中推广推理规则，国际期刊近似推理。，53, 413-434 (2012) ·Zbl 1242.68330号 [18] 弗拉米尼奥，T。；Montagna，F.，《条件概率的逻辑和代数方法》，Arch。数学。日志。，44, 4, 245-262 (2005) ·Zbl 1064.03016号 [19] Gilio，A。；Sanfilippo，G.，《拟合取、拟析取、t-范数和t-conorms:概率方面》，《信息科学》。，245, 146-167 (2013) ·Zbl 1320.68188号 [20] Khrennikov，A.Y.，《概率解释》（2009），沃尔特·德格鲁伊特：沃尔特·德格鲁伊特·柏林，德国·Zbl 1369.81014号 [21] Khrennikov，A.Y.，\（p\）-数学物理中的Adic值分布（1994），Kluwer学术出版社：Kluwer学术出版社Dordrecht·Zbl 0833.46061号 [22] 凯恩斯，J.M.，《概率论》（1921年），麦克米兰公司：麦克米兰公司伦敦分公司 [23] 马尔科维奇，Z。；拉什科维奇，M。；Ognjanović，Z.，直觉逻辑的概率扩展，数学。日志。Q.，49，415-424（2003）·Zbl 1022.03011号 [24] 马尔科维奇，Z。；拉什科维奇，M。；Ognjanović，Z.，具有不精确概率和条件概率的逻辑的完备性定理，Publ。Inst.数学。，78, 35-49 (2005) ·Zbl 1144.03019号 [25] Ognjanović，Z。；Rašković，M.，《具有新型概率算子的概率逻辑》，J.Log。计算。，9, 2, 181-195 (1999) ·Zbl 0941.03022号 [26] Rašković，M.，《带概率算子的经典逻辑》，Publ。Inst.数学。，53, 1-3 (1993) ·Zbl 0799.03018号 [27] 拉什科维奇，M。；Ognjanović，Z。；Marković，Z.，《带条件概率的逻辑》，（第九届欧洲会议JELIA’04人工智能逻辑，第九届欧盟会议JELIA'04人工智能逻辑学，人工智能讲义（2004）），226-238·Zbl 1111.68688号 [28] 米洛舍维奇，M。；Ognjanović，Z.，带迭代的一阶条件概率逻辑，Publ。Inst.数学。，93, 107, 19-27 (2013) ·兹比尔1313.03008 [29] Ilić-Stepić，A.，关于定性概率推理的逻辑，Publ。Inst.数学。，87, 97-108 (2010) ·Zbl 1289.03006号 [30] Ilić-Stepić，A。；Ognjanović，Z。；Ikodinović，N。；Perović，A.，A（p）adic概率逻辑，数学。日志。Q.，58，4-5，263-280（2012）·Zbl 1251.03027号 [31] Khrennikov，A.Y.，（p\）-贝尔不等式的Adic概率解释，Phys。莱特。A、 200，3-4，219-223（1995年）·Zbl 0910.60001号 [32] 德拉戈维奇，B。；Dragovich，A.，\（p\）-基因组和遗传密码的Adic建模，计算。J.，53，4，432-442（2010） [33] Khrennikov，A.Y.，（p\）-认知模型中离散动力系统和信息状态的集体行为，离散动力学。《国家社会》，第559-69页（2000年）·Zbl 1229.37128号 [34] Khrennikov，A.Y.，《人类潜意识作为基本动力系统》，J.Theor。《生物学》，193179-196（1998） [35] 阿尔贝弗里奥，S。；Khrennikov，A.Y。；Kloeden，P.，记忆检索作为一个基本动力系统，生物系统，49，105-115（1999） [36] 巴赫曼，G.，《（p）-Adic数和估值理论导论》（1964），学术出版社·Zbl 0192.40103号 [37] Schikof，W.，《超微微积分——Adic分析导论》（1984），剑桥大学出版社·Zbl 0553.26006号 [38] Koc，C.K.，《（p\）-Adic算术教程》（2002年），俄勒冈州州立大学：俄勒冈州立大学科瓦利斯分校 [39] 亚当斯，E.W.，《条件逻辑》（1975年），《雷德尔：雷德尔·多德雷赫特》·兹伯利0324.02002 [40] 克劳斯，S。；莱曼，D。；Magidor，M.，非单调推理，优先模型和累积逻辑，Artif。智力。，44, 167-207 (1990) ·Zbl 0782.03012号 [41] 弗里德曼，N。；Halpern，J.，可信性度量和默认推理，J.ACM，48，4，648-685（2001）·Zbl 1127.68438号 [42] Schumann，A.，《（p）-Adic多重有效性和（p）-Adic值逻辑演算》，J.Mult-有价值的日志。软计算。，13, 1-2, 29-60 (2007) ·Zbl 1129.03007号 [43] Ikodinović，N。；Ognjanović，Z.，《具有相干条件概率的逻辑》，（第八届欧洲会议论文集《用符号和定量方法进行不确定性推理》，ECSQARU 2005。第八届欧洲会议论文集《不确定性推理的符号和定量方法》ECSQARU 2005，计算机科学讲义，第3571卷（2005）），726-736·Zbl 1122.03015号 [44] 卡塞尔斯，J.W.S.，《局部领域》（1986），剑桥大学出版社：剑桥大学出版社伦敦·Zbl 0595.12006号 [45] 卡塞尔斯，J.W.S。；Fronlich，A.，代数数论（1967），学术出版社：伦敦学术出版社·Zbl 0153.07403号 [46] Hasse，H.，数论（1980），施普林格：施普林格柏林 [47] 阿雷菲娃，Y.I。；Dragivch，B。；Frampton，P。；Volovich，I.，《宇宙的波函数和自由重力》，国际期刊Mod。物理学。A、 6、24、4341-4358（1991）·Zbl 0733.53039号 [48] Frampton，P。；Okada，Y.，A\（p\）-adic字符串\（n\）-point函数，Phys。莱特。B、 60484-486（1988） [49] 弗伦德，P。；Witten，E.，Adelic弦振幅，Phys。莱特。B、 199191-195（1987） [50] Vladimirov，V.，《关于Freund-Writed adelic公式对Veneziano振幅的影响》，Lett。数学。物理。，27, 123-131 (1993) ·Zbl 0779.11034号 [51] Volovich，I.，\（p\）-Adic字符串，类别。量子引力，483-87（1978） [52] De Grande De Kimpe，北卡罗来纳州。；Khrennikov，A.Y.，非阿基米德拉普拉斯变换，布尔。贝尔格。数学。Soc.Simon Stevin，3225-237（1996）·Zbl 0845.46047号 [53] Khrennikov，A.Y.，《非阿基米德物理学的数学方法》，美国大学出版社。Mat.Nauk，45、4、79-110（1990）·Zbl 0722.46040号 [54] Vladimirov，V。；沃洛维奇，I。；Zelenov，E.，（p）adic量子力学中的光谱理论，Izv。阿卡德。Nauk SSSR，序列号。材料，54，2，275-302（1990）·Zbl 0709.22010 [55] 阿尔贝弗里奥，S。；Khrennikov，A.Y.，关于点值高斯分布的平方可积函数空间中Weyl群的表示，J.Phys。A、 295515-5527（1996）·Zbl 0903.46073号 [56] 阿尔贝弗里奥，S。；Cianci，R。；Khrennikov，A.Y.，量子场哈密顿量在adic Hilbert空间中的表示，Theor。数学。物理。，112, 3, 355-374 (1997) ·Zbl 0968.46519号 [57] Khrennikov，A.Y.，《非阿基米德分析：量子悖论、动力学系统和生物模型》（Non-Archimedean Analysis:Quantum Paradoxes，Dynamic Systems and Biological Models）·兹伯利0920.11087 [58] Gouvea，F.Q.，（p\）-Adic Numbers:简介（2000），施普林格：柏林施普林格出版社 [59] Robert，A.M.，《基础分析课程》（2000），《施普林格：柏林施普林格》·Zbl 0947.11035号 [60] 莫纳，A。；Springer，T.，Integration non-Archimedienne，Indag公司。数学。，25, 634-653 (1963) ·Zbl 0147.11803号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。