Normative design using inductive learning

D Corapi, A Russo, Marina De Vos, Julian Padget, Ken Satoh

Research output: Contribution to journalArticle

19 Citations (Scopus)
68 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)783-799
Number of pages17
JournalTheory and Practice of Logic Programming
Volume11
Issue number4-5
Early online date5 Jul 2011
DOIs
Publication statusPublished - Jul 2011

Fingerprint

Inductive Learning
Inductive logic programming (ILP)
Open systems
Use Case
Semantics
Specifications
Inductive Logic Programming
Answer Sets
Open Systems
Iterative Process
Logic Programs
Learning Process
Computational Model
Design Methodology
Integrate
Trace
Specification
Scenarios
Framework
Design

Keywords

  • theory revision
  • inductive logic programming
  • normative frameworks

Cite this

Normative design using inductive learning. / Corapi, D; Russo, A; De Vos, Marina; Padget, Julian; Satoh, Ken.

In: Theory and Practice of Logic Programming, Vol. 11, No. 4-5, 07.2011, p. 783-799.

Research output: Contribution to journalArticle

Corapi, D ; Russo, A ; De Vos, Marina ; Padget, Julian ; Satoh, Ken. / Normative design using inductive learning. In: Theory and Practice of Logic Programming. 2011 ; Vol. 11, No. 4-5. pp. 783-799.
@article{ad92a3e11db14f6d9e18d7390e810a87,
title = "Normative design using inductive learning",
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.",
keywords = "theory revision, inductive logic programming, normative frameworks",
author = "D Corapi and A Russo and {De Vos}, Marina and Julian Padget and Ken Satoh",
year = "2011",
month = "7",
doi = "10.1017/s1471068411000305",
language = "English",
volume = "11",
pages = "783--799",
journal = "Theory and Practice of Logic Programming",
issn = "1471-0684",
publisher = "Cambridge University Press",
number = "4-5",

}

TY - JOUR

T1 - Normative design using inductive learning

AU - Corapi, D

AU - Russo, A

AU - De Vos, Marina

AU - Padget, Julian

AU - Satoh, Ken

PY - 2011/7

Y1 - 2011/7

N2 - 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.

AB - 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.

KW - theory revision

KW - inductive logic programming

KW - normative frameworks

UR - http://www.scopus.com/inward/record.url?scp=80054894181&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1017/s1471068411000305

U2 - 10.1017/s1471068411000305

DO - 10.1017/s1471068411000305

M3 - Article

VL - 11

SP - 783

EP - 799

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 4-5

ER -