Decidability of model checking multi-agent systems against a class of EHS specifications
File(s)
Published version
Author(s)
Lomuscio, AR
Michaliszyn, J
Type
Conference Paper
Abstract
We define and illustrate the expressiveness of the ABL¯
fragment of the Epistemic Halpern–Shoham Logic as a specification
language for multi-agent systems. We consider the model checking
problem for systems against specifications given in the logic.
We show its decidability by means of a novel technique that may
be reused in other contexts for showing decidability of other logics
based on intervals.
fragment of the Epistemic Halpern–Shoham Logic as a specification
language for multi-agent systems. We consider the model checking
problem for systems against specifications given in the logic.
We show its decidability by means of a novel technique that may
be reused in other contexts for showing decidability of other logics
based on intervals.
Editor(s)
Schaub, T
Friedrich, G
OSullivan, B
Date Issued
2014-01-01
Date Acceptance
2014-01-01
Citation
21st European Conference on Artificial Intelligence, 2014, 263, pp.543-548
ISBN
978-1-61499-418-3
ISSN
0922-6389
Publisher
IOS Press
Start Page
543
End Page
548
Journal / Book Title
21st European Conference on Artificial Intelligence
Volume
263
Copyright Statement
© 2014 The Authors and IOS Press.
This article is published online with Open Access by IOS Press and distributed under the terms
of the Creative Commons Attribution Non-Commercial License.
This article is published online with Open Access by IOS Press and distributed under the terms
of the Creative Commons Attribution Non-Commercial License.
License URL
Source
21st European Conference on Artificial Intelligence (ECAI)
Subjects
Science & Technology
Technology
Computer Science, Artificial Intelligence
Computer Science, Theory & Methods
Computer Science
KNOWLEDGE
LOGIC
UNDECIDABILITY
INTERVALS
TIME
Publication Status
Published
Start Date
2014-08-18
Finish Date
2014-08-22
Coverage Spatial
Prague, CZECH REPUBLIC