A Unifying Survey on Weighted Logics and Weighted Automata: Core Weighted Logic: Minimal and Versatile Specification of Quantitative Properties

Paul Gastin 1, 2 Benjamin Monmege 3
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 MOVE - Modélisation et Vérification
LIS - Laboratoire d'Informatique et Systèmes
Abstract : Logical formalisms equivalent to weighted automata have been the topic of numerous research papers in the recent years. It started with the seminal result by Droste and Gastin on weighted logics over semir-ings for words. It has been extended in two dimensions by many authors. First, the weight domain has been extended to valuation monoids, valuation structures, etc., to capture more quantitative properties. Along another dimension, different structures such as ranked or unranked trees, nested words, Mazurkiewiz traces, etc., have been considered. The long and involved proofs of equivalences in all these papers are implicitely based on the same core arguments. This article provides a meta-theorem which unifies these different approaches. Towards this, we first introduce a core weighted logic with a minimal number of features and a simplified syntax. Then, we define a new semantics for weighted automata and weighted logics in two phases—an abstract semantics based on multisets of weight structures (independent of particular weight domains) followed by a concrete semantics. We show at the level of the abstract semantics that weighted automata and core weighted logic have the same expressive power. We show how previous results can be recovered from our result by logical reasoning. In this paper, we prove the meta-theorem for words, ranked and unranked trees, showing the robustness of our approach.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01130216
Contributor : Benjamin Monmege <>
Submitted on : Friday, February 12, 2016 - 3:14:26 PM
Last modification on : Friday, March 16, 2018 - 1:09:36 AM

File

unified-weights.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

Citation

Paul Gastin, Benjamin Monmege. A Unifying Survey on Weighted Logics and Weighted Automata: Core Weighted Logic: Minimal and Versatile Specification of Quantitative Properties. Soft Computing, Springer Verlag, 2018, 22 (4), pp.1047-1065. ⟨10.1007/s00500-015-1952-6⟩. ⟨hal-01130216v2⟩

Share

Metrics

Record views

313

Files downloads

139