Applications of Metric Coinduction - Computer Science > Logic in Computer ScienceReportar como inadecuado




Applications of Metric Coinduction - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Metric coinduction is a form of coinduction that can be used to establishproperties of objects constructed as a limit of finite approximations. One canprove a coinduction step showing that some property is preserved by one step ofthe approximation process, then automatically infer by the coinductionprinciple that the property holds of the limit object. This can often be usedto avoid complicated analytic arguments involving limits and convergence,replacing them with simpler algebraic arguments. This paper examines theapplication of this principle in a variety of areas, including infinitestreams, Markov chains, Markov decision processes, and non-well-founded sets.These results point to the usefulness of coinduction as a general prooftechnique.



Autor: Dexter Kozen, Nicholas Ruozzi

Fuente: https://arxiv.org/







Documentos relacionados