Abstract
Rule based languages focussed in last decade on the use of term rewriting as a modeling tool [5]. To extend modeling capabilities of these languages, we explored recently the possibility of making the rule applications subject to probabilistic choices [2]. Dealing with rewriting with probabilistic firing of rules leads to numerous problems about the understanding of the underlying theoretical notions and results. In [2], we started to discuss what could be the generalizations of the classical notions in rewriting community for abstract reduction systems [1]. The next natural step is to understand if a generalization of equational proof theory for probabilistic systems exists. Our first attempt to do so yielded the theory which is presented in this abstract and which is actually closer to fuzzy logic than probabilities [3].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Franz Baader and Tobias Nipkow. Term Rewriting and all That. Cambridge University Press, 1998.
Olivier Bournez and Claude Kirchner. Probabilistic rewrite strategies. applications to elan. In Rewriting Techniques and Applications (RTA’ 2002), Lecture Notes in Computer Science. Springer, 2002.
Petr Hájek and Lluis Godo. Deductive systems of fuzzy logic (a tutorial). Tatra Mountains Mathematical Publications, volume 13, pages 35–66. 1997.
Jan Willem Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1–117. Oxford University Press, Oxford, 1992.
Narciso Martí-Oliet and José Meseguer. Rewriting logic: Roadmap and bibliography. Theoretical Computer Science, 2002. To appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bournez, O. (2002). A Generalization of Equational Proof Theory?. In: Hermanns, H., Segala, R. (eds) Process Algebra and Probabilistic Methods: Performance Modeling and Verification. PAPM-PROBMIV 2002. Lecture Notes in Computer Science, vol 2399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45605-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-45605-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43913-4
Online ISBN: 978-3-540-45605-6
eBook Packages: Springer Book Archive