Rewriting Logic and Probabilities

Olivier Bournez 1 Mathieu Hoyrup
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
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
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00099620, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

94