关于概率项重写
摘要：概率术语重写系统的终止问题的研究。我们证明了在考虑抽象规约系统和术语重写系统时，解释方法对于增强的正概率终止是正确且完备的。我们分析并展示了解释方法的两个实例——多项式和矩阵解释——在自动化时捕捉到的有趣且非平凡的例子。我们通过多分布规约序列以一种新颖的方式捕捉概率计算，从而既考虑了重约减项的非确定性，又考虑了触发每个规则的概率性。
作者：Martin Avanzini and Ugo Dal Lago and Akihisa Yamada
论文ID：1802.09774
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-02-28