Rewriting Logic and Probabilities - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Rewriting Logic and Probabilities

Mathieu Hoyrup

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00099620 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099620 , version 1

Citer

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⟩
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More