Skip to main content
    • Aa
    • Aa

Normative design using inductive learning


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.

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? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 17 *
Loading metrics...

Abstract views

Total abstract views: 89 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st September 2017. This data will be updated every 24 hours.