Lattice-valued simulations for quantitative transition systems

doi:10.1016/j.ijar.2014.10.001

CORC > 北京大学 > 信息科学技术学院

	Lattice-valued simulations for quantitative transition systems
	Pan, Haiyu ; Li, Yongming ; Cao, Yongzhi
刊名	international journal of approximate reasoning
	2015
关键词	Simulation Fuzzy automata Hennessy-Milner logic Residuated lattices Heyting algebra RESIDUATED LATTICE FUZZY AUTOMATA PROBABILISTIC PROCESSES INFERENCE METHOD LOGIC BISIMULATIONS ROBUSTNESS DISTANCE METRICS
DOI	10.1016/j.ijar.2014.10.001
英文摘要	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. (C) 2014 Elsevier Inc. All rights reserved.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000347593900002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Artificial Intelligence; SCI(E); EI; 1; ARTICLE; phyu76@126.com; liyongm@snnu.edu.cn; caoyz@pku.edu.cn; PA; 28-42; 56
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/206632]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Pan, Haiyu,Li, Yongming,Cao, Yongzhi. Lattice-valued simulations for quantitative transition systems[J]. international journal of approximate reasoning,2015.
APA	Pan, Haiyu,Li, Yongming,&Cao, Yongzhi.(2015).Lattice-valued simulations for quantitative transition systems.international journal of approximate reasoning.
MLA	Pan, Haiyu,et al."Lattice-valued simulations for quantitative transition systems".international journal of approximate reasoning (2015).