Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.
International Journal of Approximate Reasoning（2019）
摘要
Convergence of an abstract reduction system is the property that the possible derivations from a given initial state all end in the same final state. Relaxing this by “modulo equivalence” means that these final states need not be identical, only equivalent wrt. a specified equivalence relation.
更多查看译文
关键词
Almost-sure convergence modulo equivalence,Almost-sure termination,Probabilistic abstract reduction systems,Abstract reduction systems,Confluence modulo equivalence
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要