Moment Semantics for Reversible Rule-Based Systems - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Moment Semantics for Reversible Rule-Based Systems

Résumé

We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the 'no-dangling-edge' condition inherent in DPO rewriting. Our main result is that the linear span of marked graph occurrence-counting functions – or motif functions – form an algebra which is closed under the infinitesimal generator of (the Markov chain associated with) any such rewriting system. This gives a general procedure to derive the moment semantics of any such rewriting system, as a countable (and recursively enumerable) system of differential equations indexed by motif functions. The differential system describes the time evolution of moments (of any order) of these motif functions under the rewriting system. We illustrate the semantics using the example of preferential attachment networks; a well-studied complex system, which meshes well with our notion of marked graph rewriting. We show how in this case our procedure obtains a finite description of all moments of degree counts for a fixed degree.
Fichier principal
Vignette du fichier
momsem_1.pdf (442.55 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01263633 , version 1 (27-01-2016)

Identifiants

Citer

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki. Moment Semantics for Reversible Rule-Based Systems. 7th International Conference, Reversible Computation 2015, Jul 2015, Grenoble, France. pp.3-26, ⟨10.1007/978-3-319-20860-2_1⟩. ⟨hal-01263633⟩
262 Consultations
181 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More