乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 （英语） Zbl 1409.68182号 日志。方法计算。科学。 14，第4号，第15号论文，29页（2018年）. 小结：在本文中，我们提出了一个完整的双相似距离公理化J.德沙奈斯等人【Theor.Compute.Sci.318，No.3，323–354（2004；兹比尔1068.68093)]对于有限标记马尔可夫链类。我们的公理化是以最近由R.马尔代尔等人[in:2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS'16。纽约州纽约市：计算机协会（ACM）。700–709 (2016;Zbl 1391.68021号)]它使用由有理数索引的等式关系，表示“（t）在误差范围内近似等于（s）”。值得注意的是，我们的定量演绎系统以自然的方式扩展了由E.W.斯塔克和S.A.Smolka公司[“有限状态概率过程的完整公理系统”，收录于：证明、语言和交互。马萨诸塞州剑桥：麻省理工学院出版社。571-595（2000）]，介绍了处理概率分布之间的Kantorovich距离的公理。然后利用公理化提出有限标记马尔可夫链的Kleene风格表示定理的度量扩展，该公理化是由A.席尔瓦等【Inf.Compute.209，No.5，822-849（2011；Zbl 1227.68075号)]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 60J20型 马尔可夫链和离散时间马尔可夫过程在一般状态空间（社会流动、学习理论、工业过程等）上的应用 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：马尔可夫链;行为距离;公理化 引文：Zbl 1227.68075号;Zbl 1068.68093号;Zbl 1391.68021号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，日志。方法计算。科学。14，第4号，第15号文件，第29页（2018年；Zbl 1409.68182） 全文： 内政部 arXiv公司 参考文献： [1] [A´EI02]卢卡·埃特罗（Luca Aceto）、佐尔特·安·埃西克（Zolt´an´Esik）和安娜·英格·奥尔夫斯德·奥蒂尔（Anna Ing´olfsd´ottir）。概率双相似性的等式公理。2002年AMAST，计算机科学讲义，第239-253页，2002年·Zbl 1275.68099号 [2] [BBLM15a]乔治·巴奇（Giorgio Bacci）、乔瓦尼·巴奇、金·拉森（Kim G.Larsen）和拉杜·马尔代尔（Radu Mardare）。马尔可夫链上从分支到线性度量的收敛。在ICTAC中，《计算机科学讲义》第9399卷，第349-367页。斯普林格，2015年·Zbl 1407.68277号 [3] [BBLM15b]乔治·巴奇（Giorgio Bacci）、乔瓦尼·巴奇、金·拉森（Kim G.Larsen）和拉杜·马尔代尔（Radu Mardare）。关于半马尔科夫链的总变差距离。FoSSaCS，《计算机科学讲义》第9034卷，第185-199页，2015年·兹比尔1459.68116 [4] [BBLM16]乔治·巴奇（Giorgio Bacci）、乔瓦尼·巴奇、金·拉森（Kim G.Larsen）和拉杜·马尔代尔（Radu Mardare）。马尔可夫链上双相似距离的完全公理化。在CONCUR中，LIPIcs第59卷，第21:1–21:14页。Schloss Dagstuhl-Leibniz Zentrum fuer Informatik出版社，2016年·Zbl 1392.68282号 [5] [BBLM18]乔治·巴奇（Giorgio Bacci）、乔瓦尼·巴奇、金·拉森（Kim G.Larsen）和拉杜·马尔代尔（Radu Mardare）。马尔可夫链总变差距离的完全公理化。选举人。注释Theor。计算。科学。，336:27–39, 2018. ·Zbl 1400.68098号 [6] [B´E93]斯蒂芬·L·布鲁姆和佐尔特·安·埃西克。迭代理论-迭代过程的等式逻辑。EATCS理论计算机科学专著。施普林格，1993年·Zbl 0773.03033号 [7] [B´E94]斯蒂芬·L·布鲁姆和佐尔特·安·埃西克。求解多项式不动点方程。在MFCS中，《计算机科学讲义》第841卷，第52-67页。斯普林格，1994年·Zbl 1496.08005号 [8] [BM12]乔治·巴奇和马里诺·米库兰。连续状态概率过程的结构操作语义。在CMCS中，《计算机科学讲义》第7399卷，第71-89页。施普林格，2012年·Zbl 1328.68135号 [9] [BM15]乔治·巴奇和马里诺·米库兰。连续状态随机转移系统的结构操作语义。J.计算。系统。科学。，81(5):834–858, 2015. ·Zbl 1327.68168号 [10] [BMPP18]乔治·巴奇（Giorgio Bacci）、拉杜·马尔代尔（Radu Mardare）、普拉卡什·帕南加登（Prakash Panangaden）和戈登·普洛特金（Gordon D.Plotkin）。马尔可夫过程的代数理论。在LICS中，第679-688页。ACM，2018年·Zbl 1453.08002号 [11] [BMS13]马塞洛·邦桑格（Marcello Bonsangue）、斯特凡·米利乌斯（Stefan Milius）和亚历山德拉·席尔瓦（Alexandra Silva）。同胚语言等价的健全和完全公理化。ACM计算逻辑汇刊，14（1）：72013年7月·Zbl 1353.68186号 [12] [BS01]伊曼纽尔·班迪尼和罗伯托·塞加拉。概率互模拟的公理化。在ICALP，《计算机科学讲义》，第370–381页，2001年·Zbl 0986.68073号 [13] [CKV74]B.Courcelle、Gilles Kahn和J.Vuillemin。《等价与约简算法》（Algorithms d’Equivalence et de reduction a des expressions minimples dans une class d’equalizes’equations recursives simples），第200-213页。施普林格-柏林-海德堡，1974年·Zbl 0285.68022号 [14] [CvBW12]Di Chen、Frank van Breugel和James Worrell。概率双相似度计算的复杂性。在FoSSaCS中，《计算机科学讲义》第7213卷，第437-451页。施普林格，2012年·Zbl 1352.68096号 [15] [dB71]雅各布斯·威廉·德·巴克。递归过程。数学中心轨迹。《数学中心》，1971年·Zbl 0274.02015 [16] [DGJP04]Josee Desharnais、Vineet Gupta、Radha Jagadeesan和Prakash Panangaden。标记马尔可夫过程的度量。理论计算机科学，318（3）：323–3542004·Zbl 1068.68093号 [17] [DGL14]佩德罗·达吉尼奥（Pedro R.D'Argenio）、丹尼尔·格布勒（Daniel Gebler）和马蒂亚斯·李·德·李（Matias D.Lee）。公理化概率SOS规则的互模拟等价物和度量。FoSSaCS，《计算机科学讲义》，第289-303页，2014年·Zbl 1405.68182号 [18] [DP07]邓玉欣（Yuxin Deng）和帕拉米德斯（Catuscia Palamidessi）。概率有限状态行为的公理化。西奥。计算。科学。，373(1-2):92–114, 2007. ·兹比尔1111.68081 [19] [FPP04]Norm Ferns、Prakash Panangaden和Doina Precup。有限马尔可夫决策过程的度量。在UAI中，第162-169页。AUAI出版社，2004年。 [20] [JS90]Chi-Chang Jou和Scott A.Smolka。概率过程的等价、同余和完全公理化。CONCUR，《计算机科学讲义》第458卷， [21] [Kah74]吉尔斯·卡恩。用于并行编程的简单语言的语义。在IFIP大会上，第471-475页，1974年·Zbl 0299.68007号 [22] [Kle56]斯蒂芬·克莱恩。神经网络和有限自动机中事件的表示。《自动化研究》，34:3–421956年。 [23] [Kne52]H.膝盖。Konvexe r¨aume公司。Archiv der Mathematik，1952年3月98日至206日·Zbl 0048.08601号 [24] [Koz91]德克斯特·科赞。kleene代数和正则事件代数的完备性定理。在LICS中，第214-225页。IEEE计算机学会，1991年。 [25] [KP17]克劳斯·凯梅尔（Klaus Keimel）和戈登·普洛特金（Gordon D.Plotkin）。概率和不确定性的混合幂域。《计算机科学中的逻辑方法》，第13卷，第1期，2017年·Zbl 1448.06002号 [26] [LFT11]Kim G.Larsen、Uli Fahrenberg和Claus R.Thrane。加权转换系统的度量：公理化和复杂性。西奥。计算。科学。，412(28):3358–3369, 2011. ·Zbl 1216.68191号 [27] [LS89]Kim Guldstrand Larsen和Arne Skou。通过概率测试进行互模拟。在POPL中，第344-352页，1989年。 [28] [Mil75]罗宾·米尔纳。审查：J.W.de Bakker，递归程序。符号逻辑杂志，40（1）：831975年3月。 [29] [Mil84]罗宾·米尔纳。一类正则行为的完整推理系统。J.计算。系统。科学。，28(3):439–466, 1984. ·Zbl 0562.68065号 [30] [MOW04]迈克尔·米斯洛夫（Michael Mislove）、乔·瓦克宁（Jo¨el Ouaknine）和詹姆斯·沃雷尔（James Worrell）。概率和不确定性公理。理论计算机科学电子笔记，96:7-282004·Zbl 1271.68192号 [31] [MPP16]拉杜·马尔代尔（Radu Mardare）、普拉卡什·帕南加登（Prakash Panangaden）和戈登·普洛特金（Gordon D.Plotkin）。定量代数推理。在LICS中，第700-709页。ACM，2016年·Zbl 1391.68021号 [32] [MV72]佐哈尔·曼纳（Zohar Manna）和让·维莱明（Jean Vuillemin）。计算理论的不动点方法。Commun公司。ACM，15（7）：528–5361972年·Zbl 0245.68011号 [33] [Neu70]沃尔特·诺伊曼。关于仿射空间凸子集的拟簇。马塞马提克档案馆，21（1）：11-161970年·兹比尔0194.01502 [34] [PP01]戈登·普洛金（Gordon D.Plotkin）和约翰·鲍尔（John Power）。代数运算的语义。选举人。注释Theor。计算。科学。，45:332–345, 2001. ·Zbl 1260.68220号 [35] [RS02]安娜·罗曼诺夫斯卡和？乔纳森·史密斯。模式。《世界科学》，2002年·Zbl 1012.08001号 [36] [Sal66]阿尔托·萨洛马。正则事件代数的两个完整公理系统。J.ACM，13（1）：158–1691966年·Zbl 0149.24902号 [37] [SBBR11]亚历山德拉·席尔瓦（Alexandra Silva）、菲利波·邦奇（Filippo Bonchi）、马塞洛·M·邦桑格（Marcello M.Bonsangue）和简·J·M·M·鲁顿（Jan J.M.Rutten）。定量kleene余代数。信息计算。，209(5):822–849, 2011. ·Zbl 1227.68075号 [38] [SS00]尤金·斯塔克（Eugene W.Stark）和斯科特·斯莫尔卡（Scott A.Smolka）。有限状态概率过程的完整公理系统。《证明、语言和互动》，罗宾·米尔纳荣誉论文，麻省理工学院出版社，第571-596页，2000年。 [39] [Sto49]马歇尔·H·斯通。重心演算的假设。Annali di Matematica Pura ed Applicata，29（1）：25-301949年·Zbl 0037.25002号 [40] [vB12]弗兰克·范·布鲁格尔。关于行为伪度量和闭包序数。信息处理。莱特。，112(19):715–718, 2012. ·Zbl 1248.68359号 [41] [vBSW08]弗兰克·范·布鲁格尔（Franck van Breugel）、巴比塔·夏尔马（Babita Sharma）和詹姆斯·沃雷尔（James Worrell）。概率系统无折扣近似行为伪度量。计算机科学中的逻辑方法，4（2）：1–23，2008·Zbl 1143.68057号 [42] [vBW01]弗兰克·范·布鲁格尔和詹姆斯·沃雷尔。概率转移系统的定量验证。在ICALP中，《计算机科学讲义》第2076卷，第421-432页，2001年·Zbl 0986.68093号 [43] [vBW06]弗兰克·范·布鲁格尔和詹姆斯·沃雷尔。概率过渡系统中行为距离的近似和计算。理论计算机科学，360（1-3）：373–3852006·Zbl 1097.68102号 [44] [？S74]T？Swirszcz。一元函子与凸性。《爱米·波罗奈斯·德斯科学公报》（Bulletin de l'Aced’emie Polonaise des Sciences）。科学。数学。阿童木。物理。，22:39–42, 1974. ·Zbl 0276.46036号 [45] [WMM+98]格伦·惠特尼（Glen T.Whitney）、劳伦斯·莫斯（Lawrence S.Moss）、伊安妮斯·莫肖瓦基斯（Yiannis N.Moschovakis）、莫妮卡·麦克阿瑟（Monica McArthur）和A.J.C.Hurkens。递归方程的逻辑。符号逻辑杂志，1998-06:451-4781998·Zbl 0911.03022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。