Name
Abstract | ||
|---|---|---|
Quantitative (bi)simulations taking values from non-negative real numbers enjoy numerous applications in the analysis of labeled transition systems, whose transitions, states, or labels contain quantitative information. To investigate the simulation semantics of labeled transition systems in the residuated lattice-valued logic setting, we introduce an extension of labeled transition systems, called the quantitative transition systems (QTSs), whose labels are equipped with a residuated lattice-valued equality relation. We then establish a lattice-valued relation between states of a QTS, called approximate similarity, to quantify to what extent one state is simulated by another. One main contribution of this paper is to show that unlike the classic setting where similarity has both fixed point and logical characterizations, these results do not hold for approximate similarity on QTSs in general, but they hold for QTSs having truth values from finite Heyting algebras. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1016/j.ijar.2014.10.001 | International Journal of Approximate Reasoning |
Keywords | Field | DocType |
Simulation,Fuzzy automata,Hennessy–Milner logic,Residuated lattices,Heyting algebra | Discrete mathematics,Hennessy–Milner logic,Lattice (order),Truth value,Heyting algebra,Fixed point,Real number,Semantics,Mathematics,Fuzzy automata | Journal |
Volume | Issue | ISSN |
56 | PA | 0888-613X |
Citations | PageRank | References |
8 | 0.50 | 26 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Haiyu Pan | 1 | 8 | 0.50 |
| Yongming Li | 2 | 244 | 38.08 |
| yongzhi cao | 3 | 63 | 10.56 |