Making Agents' Abilities Explicit

doi:10.1109/ACCESS.2019.2931514

	Making Agents' Abilities Explicit
	Yedi Zhang 1; Fu Song2 ; Taolue Chen 3
	2019
发表期刊	IEEE ACCESS
ISSN	2169-3536
卷号	7 页码:101804-101819
发表状态	已发表
DOI	10.1109/ACCESS.2019.2931514
摘要	Alternating-time temporal logics (ATL/ATL) represent a family of modal and temporal logics for reasoning about strategic abilities of agents in multiagent systems. These logics are usually interpreted over concurrent game structures (CGSs), and their interpretations may vary depending on the abilities of agents, such as perfect versus imperfect information and perfect versus imperfect recall. These different abilities lead to a variety of variants that have been studied extensively in the literature. However, all of these variants are defined at the semantic level, which may restrict modeling flexibility, or even give counterintuitive interpretations. For example, an agent may have different abilities when achieving two different goals on the same CGS. To mitigate these issues, in this paper, we propose to extend CGSs with agents' abilities, resulting in Abilities Augmented CGSs, where concrete abilities can be defined at the syntactic level. We study ATL/ATL over this new model. We give formal definitions of the new semantics and present model-checking algorithms for ATL/ATL. We also identify the computational complexity of ATL/ATL model checking problem, i.e., Delta(P)(3)-/2EXPTIME-complete. The model-checking algorithms are implemented in a prototype tool. The experimental results show the practical feasibility and effectiveness of our approach.
关键词	Model-checking multi-agent systems alternating-time temporal logics agents' abilities
URL	查看原文
收录类别	SCI ; SCIE ; EI
语种	英语
资助项目	Guangdong Science and Technology Department[2018B010107004]
WOS研究方向	Computer Science ; Engineering ; Telecommunications
WOS类目	Computer Science, Information Systems ; Engineering, Electrical & Electronic ; Telecommunications
WOS记录号	WOS:000481688500106
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
WOS关键词	AUTOMATA ; BUCHI
原始文献类型	Article
来源库	IEEE
引用统计
文献类型	期刊论文
条目标识符	https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/66389
专题	信息科学与技术学院_硕士生信息科学与技术学院_PI研究组_宋富组
作者单位	1.University of Chinese Academy of Sciences, Beijing, China 2.School of Information Science and Technology, ShanghaiTech University, Shanghai, China 3.Department of Computer Science and Information Systems, Birkbeck, University of London, London, U.K.
推荐引用方式 GB/T 7714	Yedi Zhang,Fu Song,Taolue Chen. Making Agents' Abilities Explicit[J]. IEEE ACCESS,2019,7:101804-101819.
APA	Yedi Zhang,Fu Song,&Taolue Chen.(2019).Making Agents' Abilities Explicit.IEEE ACCESS,7,101804-101819.
MLA	Yedi Zhang,et al."Making Agents' Abilities Explicit".IEEE ACCESS 7(2019):101804-101819.