18
Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Genetic Programming for Design Grammar Rule Induction – RuleML 2015 – Julian R. Eichhoff & Dieter Roller Institute of Computer-aided Product Development Systems Universität Stuttgart Universitätsstraße 38, 70569 Stuttgart Preliminaries Problem Approach Results Future Work Overview 1

Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

  • Upload
    ruleml

  • View
    29

  • Download
    1

Embed Size (px)

Citation preview

Page 1: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Genetic Programming for Design Grammar Rule Induction

– RuleML 2015 –

Julian R. Eichhoff & Dieter Roller

Institute of Computer-aided Product Development Systems Universität Stuttgart

Universitätsstraße 38, 70569 Stuttgart

n  Preliminaries

n  Problem

n  Approach

n  Results

n  Future Work

Overview

1

Page 2: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Preliminaries: Functional Decomposition

Black Box Model

(primary function)

Evolved Function Structure

(incl. sub-functions needed for realizing primary function)

Computational support: Graph Rewriting

2

Page 3: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Preliminaries: Graph-Rewriting

G0 Gn-1 Gn

p1 G1 G2

p2 pi …

Black Box

Production Rule pi :

3

Page 4: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Problem

n  Rules represent human design rationale à elicitation is costly

n  Reduce effort of knowledge engineering by automatic rule induction

n  Learn rules in context of existing rulesets

n  Definitions of existing rules are kept secret

n  Training resources:

n  Samples of expected (positive) behavior: Black box (Input) – desired design graphs (Output)

n  Access to graph-rewriting system to query derivations

G0

p1 G1 G2

p2 …

Black Box

Gi-1 Gi … Gn-1 Gn

pi pn

Desired Design Graph

Unkown Rule

4

Page 5: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

n  Machine Learning: Search for optimal hypotheses that best explain the training data

n  Greedy grammar induction: Extend existing rule set by “next best rule”

n  Find next best rule by means of evolutionary optimization à Genetic Programming

5

Page 6: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

6

Page 7: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

Black box Desired design graphs

7

Page 8: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

Load rules preceding/following the rule to be learned.

8

Page 9: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

Learn a rule that is able to produce one desired design graph.

9

Page 10: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

Check if learned rule is also able to derive other desired design graphs.

10

Page 11: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

If all desired design graphs covered, return set of learned rules.

11

Page 12: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

12

Procedure evolve:

Page 13: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

G0

p1 G1 G2

p2 …

Black Box

Gi-1 Gi … Gn-1 Gn

pi pn

Desired Design Graph

Unkown Rule

Monotonic elements must appear in both graphs

13

Page 14: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

14

Root

Index

Add-Edge

Remove-Non-Terminal Add-Node

Index

Index

Index Which node to add?

Which host graph?

Page 15: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Approach

15

Page 16: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Results

n  Task: Learn rules from an existing hand-crafted ruleset for functional design Leave one rule out, learn it, and compare the learned rule with original rule

n  Comparison with existing rule induction algorithm (Subdue), which learns a completely new rule set

16

Page 17: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Future Work

n  Fully integrated grammar induction: See http://ouky.de/accompanying-materials/ruleml-2015/ for a discussion on a possible iterative application of the proposed approach.

n  Repeat experiments with further design grammars

n  Approach where rules are allowed to be inspected by the learner

17

Page 18: Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction

Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart

Thank you!

Questions? Questions!

18