Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00099620
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:39:29 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00099620, version 1

Collections

Citation

Olivier Bournez, Mathieu Hoyrup. Rewriting Logic and Probabilities. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.61-75. ⟨inria-00099620⟩

Share

Metrics

Record views

129