The University of Southampton
University of Southampton Institutional Repository

Verifying normative system specifications containing collective imperatives and deadlines

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
1548-8403
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
Bordini, Rafael H.
Yolum, Pinar
Elkind, Edith
Weiss, Gerhard
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
Bordini, Rafael H.
Yolum, Pinar
Elkind, Edith
Weiss, Gerhard

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). pp. 1821-1822 .

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.

Full text not available from this repository.

More information

Published date: 2015
Venue - Dates: 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, , Istanbul, Turkey, 2015-05-03 - 2015-05-07
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
ORCID for Timothy J. Norman: ORCID iD orcid.org/0000-0002-6387-4034

Catalogue record

Date deposited: 27 Jul 2021 16:30
Last modified: 22 Oct 2021 01:46

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

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×