Verifying normative system specifications containing collective imperatives and deadlines
Verifying normative system specifications containing collective imperatives and deadlines
Our focus is on the specification and verification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its model checker, we show how Linear Temporal Logic properties can be verified, and provide some experimental results.
Collective imperatives, Model checking, Normative systems
1821-1822
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Gasparini, Luca
15ef6336-0f4e-4acf-8989-c6797c2e6120
Norman, Timothy J.
663e522f-807c-4569-9201-dc141c8eb50d
Kollingbaum, Martin J.
015a7895-2e8f-4e21-a2fc-a2fa1fae37df
Chen, Liang
15459db0-4299-44b7-beaf-fb646add66ac
Meyer, John Jules Ch
6c9f0eef-553d-4b4a-8abf-7288a045cf38
2015
Gasparini, Luca
15ef6336-0f4e-4acf-8989-c6797c2e6120
Norman, Timothy J.
663e522f-807c-4569-9201-dc141c8eb50d
Kollingbaum, Martin J.
015a7895-2e8f-4e21-a2fc-a2fa1fae37df
Chen, Liang
15459db0-4299-44b7-beaf-fb646add66ac
Meyer, John Jules Ch
6c9f0eef-553d-4b4a-8abf-7288a045cf38
Gasparini, Luca, Norman, Timothy J., Kollingbaum, Martin J., Chen, Liang and Meyer, John Jules Ch
(2015)
Verifying normative system specifications containing collective imperatives and deadlines.
Bordini, Rafael H., Yolum, Pinar, Elkind, Edith and Weiss, Gerhard
(eds.)
In AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems.
vol. 3,
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Our focus is on the specification and verification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its model checker, we show how Linear Temporal Logic properties can be verified, and provide some experimental results.
This record has no associated files available for download.
More information
Published date: 2015
Venue - Dates:
14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, , Istanbul, Turkey, 2015-05-04 - 2015-05-08
Keywords:
Collective imperatives, Model checking, Normative systems
Identifiers
Local EPrints ID: 450391
URI: http://eprints.soton.ac.uk/id/eprint/450391
ISSN: 1548-8403
PURE UUID: 6fc6bd87-5bc3-4715-93f6-10d77fe2c18a
Catalogue record
Date deposited: 27 Jul 2021 16:30
Last modified: 20 Jul 2024 01:49
Export record
Contributors
Author:
Luca Gasparini
Author:
Martin J. Kollingbaum
Author:
Liang Chen
Author:
John Jules Ch Meyer
Editor:
Rafael H. Bordini
Editor:
Pinar Yolum
Editor:
Edith Elkind
Editor:
Gerhard Weiss
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
