Normative design using inductive learning

Details Normative design using inductive learning Normative design using inductive learning

2011-07-25

arxiv.org/abs/1107.4967v1

Computer Science

Logic in Computer Science

Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issu

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Normative design using inductive learning does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Normative design using inductive learning, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Normative design using inductive learning will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-572820