Rewriting logic and probabilities

Olivier Bournez; Mathieu Hoyrup

doi:10.1007/3-540-44881-0_6

Rewriting logic and probabilities

Olivier Bournez
, Mathieu Hoyrup

LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications
Ecole Normale Supérieure de Lyon

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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.

langue originale	Anglais
titre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
rédacteurs en chef	Robert Nieuwenhuis
Editeur	Springer Verlag
Pages	61-75
Nombre de pages	15
ISBN (imprimé)	3540402543, 9783540402541
Les DOIs	https://doi.org/10.1007/3-540-44881-0_6
état	Publié - 1 janv. 2003
Modification externe	Oui
Evénement	14th International Conference on Rewriting Techniques and Applications, RTA 2003 - Valencia, Espagne Durée: 9 juin 2003 → 11 juin 2003

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2706
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	14th International Conference on Rewriting Techniques and Applications, RTA 2003
Pays/Territoire	Espagne
La ville	Valencia
période	9/06/03 → 11/06/03

Accès au document

10.1007/3-540-44881-0_6

Contient cette citation

Bournez, O., & Hoyrup, M. (2003). Rewriting logic and probabilities. Dans R. Nieuwenhuis (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 61-75). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2706). Springer Verlag. https://doi.org/10.1007/3-540-44881-0_6

Bournez, Olivier ; Hoyrup, Mathieu. / Rewriting logic and probabilities. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Editeur / Robert Nieuwenhuis. Springer Verlag, 2003. p. 61-75 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2538f1f2fb9d4b4a817ce2f1e6c4cbb5,

title = "Rewriting logic and probabilities",

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.",

author = "Olivier Bournez and Mathieu Hoyrup",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; 14th International Conference on Rewriting Techniques and Applications, RTA 2003 ; Conference date: 09-06-2003 Through 11-06-2003",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/3-540-44881-0\_6",

language = "English",

isbn = "3540402543",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "61--75",

editor = "Robert Nieuwenhuis",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Bournez, O & Hoyrup, M 2003, Rewriting logic and probabilities. Dans R Nieuwenhuis (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 2706, Springer Verlag, p. 61-75, 14th International Conference on Rewriting Techniques and Applications, RTA 2003, Valencia, Espagne, 9/06/03. https://doi.org/10.1007/3-540-44881-0_6

Rewriting logic and probabilities. / Bournez, Olivier; Hoyrup, Mathieu.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Ed. / Robert Nieuwenhuis. Springer Verlag, 2003. p. 61-75 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2706).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Rewriting logic and probabilities

AU - Bournez, Olivier

AU - Hoyrup, Mathieu

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2003.

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-44881-0_6

DO - 10.1007/3-540-44881-0_6

M3 - Conference contribution

AN - SCOPUS:84938678865

SN - 3540402543

SN - 9783540402541

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 61

EP - 75

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Nieuwenhuis, Robert

PB - Springer Verlag

T2 - 14th International Conference on Rewriting Techniques and Applications, RTA 2003

Y2 - 9 June 2003 through 11 June 2003

ER -

Bournez O, Hoyrup M. Rewriting logic and probabilities. Dans Nieuwenhuis R, Editeur, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 61-75. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44881-0_6

Rewriting logic and probabilities

Résumé

Série de publications

Une conférence

Accès au document

Empreinte digitale

Contient cette citation