Research

Normative design using inductive learning


Reference:

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Related documents:

[img]
Preview
PDF (DeVos_TPLP_2011_11_783.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1679kB) | Preview

    Official URL:

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

    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.

    Details

    Item Type Articles
    CreatorsCorapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K.
    DOI10.1017/s1471068411000305
    Uncontrolled Keywordstheory revision, inductive logic programming, normative frameworks
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementDeVos_TPLP_2011_11_783.pdf: © Cambridge University Press 2011
    RefereedYes
    StatusPublished
    ID Code25079

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...