Quantitative analysis of lattice-valued Kripke structures
Quantitative analysis of lattice-valued Kripke structures
复制标题
格值克里普克结构的定量分析
DOI：
10.3233/fi-2014-1122
复制
发表时间：
2014
影响因子：
0.8
通讯作者：
Yixiang Chen
中科院分区：
文献类型：
--
作者：
Haiyu Pan;Min Zhang;Hengyang Wu;Yixiang Chen
为了对具有多值信息的系统进行建模和分析，本文在完备剩余格的框架下给出了Kripke结构的一种扩展，称之为格值Kripke结构（LKS）.然后，我们将展示如何传统的迹包含和等价关系，可以解除格值设置，我们引入两个家庭的格值版本的关系。此外，我们探索这些关系的一些有趣的属性。最后，我们提供了我们的关系的线性时序逻辑的自然扩展的逻辑特征。
To model and analyze systems with multi-valued information, in this paper, we present an extension of Kripke structures in the framework of complete residuted lattices, which we will refer to as lattice-valued Kripke structures (LKSs). We then show how the traditional trace containment and equivalence relations, can be lifted to the lattice-valued setting, and we introduce two families of lattice-valued versions of the relations. Further, we explore some interesting properties of these relations. Finally, we provide logical characterizations of our relations by a natural extension of linear temporal logic.