Abstract : Rewriting Logic has shown to provide a general and elegant framework for unifying a wide variety of models, including concurrency models and deduction systems. In order to extend the modeling capabilities of rule based languages, it is natural to consider that the firing of rules can be subject to some probabilistic laws. Considering rewrite rules subject to probabilities leads to numerous questions about the underlying notions and results. In this paper, we discuss whether there exists a notion of probabilistic rewrite system with an associated notion of probabilistic rewriting logic.
Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, Springer, 2706, pp.61-75, 2003, Lecture Notes in Computer Science
https://hal.inria.fr/inria-00099620
Contributeur : Publications Loria
<>
Soumis le : mardi 26 septembre 2006 - 09:39:29
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Olivier Bournez, Mathieu Hoyrup. Rewriting Logic and Probabilities. Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, Springer, 2706, pp.61-75, 2003, Lecture Notes in Computer Science. 〈inria-00099620〉
