Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 2
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Padget, Julian ElDeen Elakehal, Emad Li, Tingting and De Vos, Marina 2016. Social Coordination Frameworks for Social Technical Systems.


    RIveret, Regis Artikis, Alexander Pitt, Jeremy and Nepomuceno, Erivelton G. 2014. 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems. p. 70.

    ×

Normative design using inductive learning

  • DOMENICO CORAPI (a1), ALESSANDRA RUSSO (a1), MARINA DE VOS (a2), JULIAN PADGET (a2) and KEN SATOH (a3)
  • DOI: http://dx.doi.org/10.1017/S1471068411000305
  • Published online: 06 July 2011
Abstract
Abstract

In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible scenarios, and (ii) a state that describes the desired outcome. The learning process then proposes additional rules, or changes to current rules, to satisfy the constraints expressed in the use cases. Thus, the contribution of this paper is a process for the elaboration and revision of a normative framework by means of a semi-automatic and iterative process driven from specifications of (un)desirable behaviour. The process integrates a novel and general methodology for theory revision based on ASP.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

G. Boella , P. Noriega , G. Pigozzi and H. Verhagen , Eds. 2009a. Normative mult-agent systems, number 09121. In Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany.

N. Fornara , F. Viganò , M. Verdicchio and M. Colombetti 2008. Artificial institutions: A model of institutional reality for open multiagent systems. Artificial Intelligence Law 16 (1), 89105.

A. García-Camino , J. A. Rodríguez-Aguilar , C. Sierra and W. W. Vasconcelos 2009. Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18 (1), 186217.

M. Gelfond and V. Lifschitz 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9 (3–4), 365386.

J. F. Hübner , J. S. Sichman and O. Boissier 2007. Developing organised multiagent systems using the moise. International Journal of Agent-Oriented Software Engineering 1 (3/4), 370395.

A. J. Jones and M. Sergot 1996. A formal characterisation of institutionalised power. ACM Computing Surveys 28 (4es), 121. (Read 28/11/2004).

A. C. Kakas , R. A. Kowalski and F. Toni 1992. Abductive logic programming. Journal of Logic Computer 2 (6), 719770.

R. Kowalski and M. Sergot 1986. A logic-based calculus of events. New General Computer 4 (1), 6795.

S. Muggleton 1995. Inverse entailment and progol. New General Computer 13 (3&4), 245286.

A. Sattar and R. Goebel 1991. Using crucial literals to select better theories. Computational Intelligence 7, 1122.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords: