Quantitative Algebraic Reasoning
Quantitative Algebraic Reasoning
复制标题
定量代数推理
DOI：
10.1145/2933575.2934518
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
G. Plotkin
中科院分区：
文献类型：
--
作者：
R. Mardare;P. Panangaden;G. Plotkin
我们开发了一个相等推理的定量类似物，我们称之为定量代数。 。这四种情况是：来自定量半静脉曲张的Hausdorff指标；
We develop a quantitative analogue of equational reasoning which we call quantitative algebra. We define an equality relation indexed a = ε$b$ which we think of as saying that "$a$ is approximately equal to $b$ up to an error of $\varepsilon $". We have 4 interesting examples where we have a quantitative equational theory whose free algebras correspond to well known structures. In each case we have finitary and continuous versions. The four cases are: Hausdorff metrics from quantitive semilattices; $p - $Wasserstein metrics (hence also the Kantorovich metric) from barycentric algebras and also from pointed barycentric algebras and the total variation metric from a variant of barycentric algebras.
DOI：
10.23638/lmcs-13(1:2)2017
发表时间：
--
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Klaus Keimel;G. D. Plotkin
通讯作者：
G. D. Plotkin
DOI：
10.1016/j.jcss.2007.07.005
发表时间：
2008-09
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
Jeremy T. Bradley;S. Gilmore;J. Hillston
通讯作者：
Jeremy T. Bradley;S. Gilmore;J. Hillston