Norm refinement and design through inductive learning

Domenico Corapi, Marina De Vos, Julian Padget, Alessandra Russo, Ken Satoh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
71 Downloads (Pure)

Abstract

In the physical world, the rules governing behaviour are debugged by observing an outcome that was not intended and the addition of new constraints to prevent the attainment of that outcome. We propose a similar approach to support the incremental development of normative frameworks (also called institutions) and demonstrate how this works through the validation and synthesis of normative rules using model generation and inductive learning. This is achieved by the designer providing a set of use cases, comprising collections of event traces that describe how the system is used along with the desired outcome with respect to the normative framework. The model generator encodes the description of the current behaviour of the system. The current specification and the traces for which current behaviour and expected behaviour do not match are given to the learning framework to propose new rules that revise the existing norm set in order to inhibit the unwanted behaviour. The elaboration of a normative system can then be viewed as a semi-automatic, iterative process for the detection of incompleteness or incorrectness of the existing normative rules, with respect to desired properties, and the construction of potential additional rules for the normative system.
Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers
Subtitle of host publication6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France.
Place of PublicationHeidelberg
PublisherSpringer
Pages77-94
Number of pages18
ISBN (Print)9783642212673
DOIs
Publication statusPublished - 2011
Event6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010 - Lyon, France
Duration: 1 Jan 2011 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume6541
ISSN (Print)0302-9743

Conference

Conference6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010
CountryFrance
CityLyon
Period1/01/11 → …

Fingerprint

Specifications

Cite this

Corapi, D., De Vos, M., Padget, J., Russo, A., & Satoh, K. (2011). Norm refinement and design through inductive learning. In Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France. (pp. 77-94). (Lecture Notes in Computer Science; Vol. 6541). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-21268-0_5

Norm refinement and design through inductive learning. / Corapi, Domenico; De Vos, Marina; Padget, Julian; Russo, Alessandra; Satoh, Ken.

Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France.. Heidelberg : Springer, 2011. p. 77-94 (Lecture Notes in Computer Science; Vol. 6541).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Corapi, D, De Vos, M, Padget, J, Russo, A & Satoh, K 2011, Norm refinement and design through inductive learning. in Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France.. Lecture Notes in Computer Science, vol. 6541, Springer, Heidelberg, pp. 77-94, 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, Lyon, France, 1/01/11. https://doi.org/10.1007/978-3-642-21268-0_5
Corapi D, De Vos M, Padget J, Russo A, Satoh K. Norm refinement and design through inductive learning. In Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France.. Heidelberg: Springer. 2011. p. 77-94. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-21268-0_5
Corapi, Domenico ; De Vos, Marina ; Padget, Julian ; Russo, Alessandra ; Satoh, Ken. / Norm refinement and design through inductive learning. Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France.. Heidelberg : Springer, 2011. pp. 77-94 (Lecture Notes in Computer Science).
@inproceedings{bc19939eb11540a3aaf59e266a8f5968,
title = "Norm refinement and design through inductive learning",
abstract = "In the physical world, the rules governing behaviour are debugged by observing an outcome that was not intended and the addition of new constraints to prevent the attainment of that outcome. We propose a similar approach to support the incremental development of normative frameworks (also called institutions) and demonstrate how this works through the validation and synthesis of normative rules using model generation and inductive learning. This is achieved by the designer providing a set of use cases, comprising collections of event traces that describe how the system is used along with the desired outcome with respect to the normative framework. The model generator encodes the description of the current behaviour of the system. The current specification and the traces for which current behaviour and expected behaviour do not match are given to the learning framework to propose new rules that revise the existing norm set in order to inhibit the unwanted behaviour. The elaboration of a normative system can then be viewed as a semi-automatic, iterative process for the detection of incompleteness or incorrectness of the existing normative rules, with respect to desired properties, and the construction of potential additional rules for the normative system.",
author = "Domenico Corapi and {De Vos}, Marina and Julian Padget and Alessandra Russo and Ken Satoh",
year = "2011",
doi = "10.1007/978-3-642-21268-0_5",
language = "English",
isbn = "9783642212673",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "77--94",
booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers",

}

TY - GEN

T1 - Norm refinement and design through inductive learning

AU - Corapi, Domenico

AU - De Vos, Marina

AU - Padget, Julian

AU - Russo, Alessandra

AU - Satoh, Ken

PY - 2011

Y1 - 2011

N2 - In the physical world, the rules governing behaviour are debugged by observing an outcome that was not intended and the addition of new constraints to prevent the attainment of that outcome. We propose a similar approach to support the incremental development of normative frameworks (also called institutions) and demonstrate how this works through the validation and synthesis of normative rules using model generation and inductive learning. This is achieved by the designer providing a set of use cases, comprising collections of event traces that describe how the system is used along with the desired outcome with respect to the normative framework. The model generator encodes the description of the current behaviour of the system. The current specification and the traces for which current behaviour and expected behaviour do not match are given to the learning framework to propose new rules that revise the existing norm set in order to inhibit the unwanted behaviour. The elaboration of a normative system can then be viewed as a semi-automatic, iterative process for the detection of incompleteness or incorrectness of the existing normative rules, with respect to desired properties, and the construction of potential additional rules for the normative system.

AB - In the physical world, the rules governing behaviour are debugged by observing an outcome that was not intended and the addition of new constraints to prevent the attainment of that outcome. We propose a similar approach to support the incremental development of normative frameworks (also called institutions) and demonstrate how this works through the validation and synthesis of normative rules using model generation and inductive learning. This is achieved by the designer providing a set of use cases, comprising collections of event traces that describe how the system is used along with the desired outcome with respect to the normative framework. The model generator encodes the description of the current behaviour of the system. The current specification and the traces for which current behaviour and expected behaviour do not match are given to the learning framework to propose new rules that revise the existing norm set in order to inhibit the unwanted behaviour. The elaboration of a normative system can then be viewed as a semi-automatic, iterative process for the detection of incompleteness or incorrectness of the existing normative rules, with respect to desired properties, and the construction of potential additional rules for the normative system.

UR - http://dx.doi.org/10.1007/978-3-642-21268-0_5

U2 - 10.1007/978-3-642-21268-0_5

DO - 10.1007/978-3-642-21268-0_5

M3 - Conference contribution

SN - 9783642212673

T3 - Lecture Notes in Computer Science

SP - 77

EP - 94

BT - Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers

PB - Springer

CY - Heidelberg

ER -