SlideShare ist ein Scribd-Unternehmen logo
1 von 18
Downloaden Sie, um offline zu lesen
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
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
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
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
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
Institut für Rechnergestützte Ingenieursysteme
Prof. Dr. Dieter Roller
Universität Stuttgart
Approach
6
Institut für Rechnergestützte Ingenieursysteme
Prof. Dr. Dieter Roller
Universität Stuttgart
Approach
Black box Desired design graphs
7
Institut für Rechnergestützte Ingenieursysteme
Prof. Dr. Dieter Roller
Universität Stuttgart
Approach
Load rules preceding/following the rule to be learned.
8
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
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
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
Institut für Rechnergestützte Ingenieursysteme
Prof. Dr. Dieter Roller
Universität Stuttgart
Approach
12
Procedure evolve:
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
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?
Institut für Rechnergestützte Ingenieursysteme
Prof. Dr. Dieter Roller
Universität Stuttgart
Approach
15
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
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
Institut für Rechnergestützte Ingenieursysteme
Prof. Dr. Dieter Roller
Universität Stuttgart
Thank you!
Questions? Questions!
18

Weitere ähnliche Inhalte

Andere mochten auch

RuleML2015: FOWLA, a federated architecture for ontologies
RuleML2015: FOWLA, a federated architecture for ontologiesRuleML2015: FOWLA, a federated architecture for ontologies
RuleML2015: FOWLA, a federated architecture for ontologiesRuleML
 
RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...
RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...
RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...RuleML
 
Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...
Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...
Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...RuleML
 
Doctoral Consortium@RuleML2015: Seamless Cooperation of JAVA and PROLOG for ...
Doctoral Consortium@RuleML2015:  Seamless Cooperation of JAVA and PROLOG for ...Doctoral Consortium@RuleML2015:  Seamless Cooperation of JAVA and PROLOG for ...
Doctoral Consortium@RuleML2015: Seamless Cooperation of JAVA and PROLOG for ...RuleML
 
Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...
Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...
Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...RuleML
 
RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms
RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge PlatformsRuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms
RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge PlatformsRuleML
 
RuleML2015: Binary Frontier-guarded ASP with Function Symbols
RuleML2015: Binary Frontier-guarded ASP with Function SymbolsRuleML2015: Binary Frontier-guarded ASP with Function Symbols
RuleML2015: Binary Frontier-guarded ASP with Function SymbolsRuleML
 
Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...
Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...
Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...RuleML
 
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts
Rule Generalization Strategies in Incremental Learning of Disjunctive ConceptsRule Generalization Strategies in Incremental Learning of Disjunctive Concepts
Rule Generalization Strategies in Incremental Learning of Disjunctive ConceptsRuleML
 
RuleML2015: Towards Formal Semantics for ODRL Policies
RuleML2015: Towards Formal Semantics for ODRL PoliciesRuleML2015: Towards Formal Semantics for ODRL Policies
RuleML2015: Towards Formal Semantics for ODRL PoliciesRuleML
 
Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...
Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...
Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...RuleML
 
RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...
RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...
RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...RuleML
 
RuleML2015: Rule-based data transformations in electricity smart grids
RuleML2015: Rule-based data transformations in electricity smart gridsRuleML2015: Rule-based data transformations in electricity smart grids
RuleML2015: Rule-based data transformations in electricity smart gridsRuleML
 
A Service for Improving the Assignments of Common Agriculture Policy Funds to...
A Service for Improving the Assignments of Common Agriculture Policy Funds to...A Service for Improving the Assignments of Common Agriculture Policy Funds to...
A Service for Improving the Assignments of Common Agriculture Policy Funds to...RuleML
 
Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...
Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...
Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...RuleML
 
Introduction to high frequency induction heating by stead fast engineers pvt ltd
Introduction to high frequency induction heating by stead fast engineers pvt ltdIntroduction to high frequency induction heating by stead fast engineers pvt ltd
Introduction to high frequency induction heating by stead fast engineers pvt ltdsteadfast123
 
Cylindrical Roller Bearings Id
Cylindrical Roller Bearings IdCylindrical Roller Bearings Id
Cylindrical Roller Bearings IdIONEL DUTU
 
Amtek persentation aman (11 me-06)
Amtek persentation aman (11 me-06)Amtek persentation aman (11 me-06)
Amtek persentation aman (11 me-06)Aman5252
 

Andere mochten auch (20)

RuleML2015: FOWLA, a federated architecture for ontologies
RuleML2015: FOWLA, a federated architecture for ontologiesRuleML2015: FOWLA, a federated architecture for ontologies
RuleML2015: FOWLA, a federated architecture for ontologies
 
RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...
RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...
RuleML2015: PSOA2Prolog: Object-Relational Rule Interoperation and Implementa...
 
Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...
Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...
Doctoral Consortium@RuleML2015: A Rule-Based Language for Integrating Busines...
 
Doctoral Consortium@RuleML2015: Seamless Cooperation of JAVA and PROLOG for ...
Doctoral Consortium@RuleML2015:  Seamless Cooperation of JAVA and PROLOG for ...Doctoral Consortium@RuleML2015:  Seamless Cooperation of JAVA and PROLOG for ...
Doctoral Consortium@RuleML2015: Seamless Cooperation of JAVA and PROLOG for ...
 
Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...
Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...
Challenge@RuleML2015 EasyMiner/R Preview: Towards a Web Interface for Associa...
 
RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms
RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge PlatformsRuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms
RuleML2015: API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms
 
RuleML2015: Binary Frontier-guarded ASP with Function Symbols
RuleML2015: Binary Frontier-guarded ASP with Function SymbolsRuleML2015: Binary Frontier-guarded ASP with Function Symbols
RuleML2015: Binary Frontier-guarded ASP with Function Symbols
 
Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...
Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...
Challenge@RuleML2015 Modeling Object-Relational Geolocation Knowledge in PSOA...
 
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts
Rule Generalization Strategies in Incremental Learning of Disjunctive ConceptsRule Generalization Strategies in Incremental Learning of Disjunctive Concepts
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts
 
RuleML2015: Towards Formal Semantics for ODRL Policies
RuleML2015: Towards Formal Semantics for ODRL PoliciesRuleML2015: Towards Formal Semantics for ODRL Policies
RuleML2015: Towards Formal Semantics for ODRL Policies
 
Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...
Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...
Doctoral Consortium@RuleML2015 -Multidimensional Ontologies for Contextual Qu...
 
Capstone
CapstoneCapstone
Capstone
 
RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...
RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...
RuleML2015: User Extensible System to Identify Problems in OWL Ontologies and...
 
RuleML2015: Rule-based data transformations in electricity smart grids
RuleML2015: Rule-based data transformations in electricity smart gridsRuleML2015: Rule-based data transformations in electricity smart grids
RuleML2015: Rule-based data transformations in electricity smart grids
 
A Service for Improving the Assignments of Common Agriculture Policy Funds to...
A Service for Improving the Assignments of Common Agriculture Policy Funds to...A Service for Improving the Assignments of Common Agriculture Policy Funds to...
A Service for Improving the Assignments of Common Agriculture Policy Funds to...
 
Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...
Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...
Industry@RuleML2015: Norwegian State of Estate A Reporting Service for the St...
 
Introduction to high frequency induction heating by stead fast engineers pvt ltd
Introduction to high frequency induction heating by stead fast engineers pvt ltdIntroduction to high frequency induction heating by stead fast engineers pvt ltd
Introduction to high frequency induction heating by stead fast engineers pvt ltd
 
Cylindrical Roller Bearings Id
Cylindrical Roller Bearings IdCylindrical Roller Bearings Id
Cylindrical Roller Bearings Id
 
AMTEK Research Report
AMTEK Research ReportAMTEK Research Report
AMTEK Research Report
 
Amtek persentation aman (11 me-06)
Amtek persentation aman (11 me-06)Amtek persentation aman (11 me-06)
Amtek persentation aman (11 me-06)
 

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

Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using AutomataModeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using AutomataDaniel Bristot de Oliveira
 
digitaldesign-s20-lecture3b-fpga-afterlecture.pdf
digitaldesign-s20-lecture3b-fpga-afterlecture.pdfdigitaldesign-s20-lecture3b-fpga-afterlecture.pdf
digitaldesign-s20-lecture3b-fpga-afterlecture.pdfDuy-Hieu Bui
 
Cape2013 scilab-workshop-19Oct13
Cape2013 scilab-workshop-19Oct13Cape2013 scilab-workshop-19Oct13
Cape2013 scilab-workshop-19Oct13Naren P.R.
 
Software_effort_estimation for Software engineering.pdf
Software_effort_estimation for Software engineering.pdfSoftware_effort_estimation for Software engineering.pdf
Software_effort_estimation for Software engineering.pdfsnehan789
 
ACS San Diego - The RDKit: Open-source cheminformatics
ACS San Diego - The RDKit: Open-source cheminformaticsACS San Diego - The RDKit: Open-source cheminformatics
ACS San Diego - The RDKit: Open-source cheminformaticsGreg Landrum
 
On the code of data science
On the code of data scienceOn the code of data science
On the code of data scienceGael Varoquaux
 
EO notes Lecture 27 Project Management 2.ppt
EO notes Lecture 27 Project Management 2.pptEO notes Lecture 27 Project Management 2.ppt
EO notes Lecture 27 Project Management 2.pptyashchotaliyael21
 
1unit--Embedded Systems
1unit--Embedded Systems1unit--Embedded Systems
1unit--Embedded SystemsDhana Laxmi
 
White-box Unit Test Generation with Microsoft IntelliTest
White-box Unit Test Generation with Microsoft IntelliTestWhite-box Unit Test Generation with Microsoft IntelliTest
White-box Unit Test Generation with Microsoft IntelliTestDávid Honfi
 
Machine Learning Infrastructure
Machine Learning InfrastructureMachine Learning Infrastructure
Machine Learning InfrastructureSigOpt
 
Changing paradigms in ai prototyping
Changing paradigms in ai prototypingChanging paradigms in ai prototyping
Changing paradigms in ai prototypingCarlos Toxtli
 
Ball Collecting game report
Ball Collecting game report Ball Collecting game report
Ball Collecting game report Dileep Maurya
 
Who cares about Software Process Modelling? A First Investigation about the P...
Who cares about Software Process Modelling? A First Investigation about the P...Who cares about Software Process Modelling? A First Investigation about the P...
Who cares about Software Process Modelling? A First Investigation about the P...Daniel Mendez
 
Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...
Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...
Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...PROFIBUS and PROFINET InternationaI - PI UK
 

Ähnlich wie Doctoral Consortium@RuleML2015: Genetic Programming for Design Grammar Rule Induction (20)

CG-Orientation ppt.pptx
CG-Orientation ppt.pptxCG-Orientation ppt.pptx
CG-Orientation ppt.pptx
 
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using AutomataModeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
 
Ase01.ppt
Ase01.pptAse01.ppt
Ase01.ppt
 
digitaldesign-s20-lecture3b-fpga-afterlecture.pdf
digitaldesign-s20-lecture3b-fpga-afterlecture.pdfdigitaldesign-s20-lecture3b-fpga-afterlecture.pdf
digitaldesign-s20-lecture3b-fpga-afterlecture.pdf
 
Cape2013 scilab-workshop-19Oct13
Cape2013 scilab-workshop-19Oct13Cape2013 scilab-workshop-19Oct13
Cape2013 scilab-workshop-19Oct13
 
Ch01lect1 ud
Ch01lect1 udCh01lect1 ud
Ch01lect1 ud
 
Software_effort_estimation for Software engineering.pdf
Software_effort_estimation for Software engineering.pdfSoftware_effort_estimation for Software engineering.pdf
Software_effort_estimation for Software engineering.pdf
 
ACS San Diego - The RDKit: Open-source cheminformatics
ACS San Diego - The RDKit: Open-source cheminformaticsACS San Diego - The RDKit: Open-source cheminformatics
ACS San Diego - The RDKit: Open-source cheminformatics
 
On the code of data science
On the code of data scienceOn the code of data science
On the code of data science
 
EO notes Lecture 27 Project Management 2.ppt
EO notes Lecture 27 Project Management 2.pptEO notes Lecture 27 Project Management 2.ppt
EO notes Lecture 27 Project Management 2.ppt
 
1unit--Embedded Systems
1unit--Embedded Systems1unit--Embedded Systems
1unit--Embedded Systems
 
Vtu rapid prototyping notes by shashidhar
Vtu rapid prototyping notes by shashidharVtu rapid prototyping notes by shashidhar
Vtu rapid prototyping notes by shashidhar
 
White-box Unit Test Generation with Microsoft IntelliTest
White-box Unit Test Generation with Microsoft IntelliTestWhite-box Unit Test Generation with Microsoft IntelliTest
White-box Unit Test Generation with Microsoft IntelliTest
 
report
reportreport
report
 
report rp
report rp report rp
report rp
 
Machine Learning Infrastructure
Machine Learning InfrastructureMachine Learning Infrastructure
Machine Learning Infrastructure
 
Changing paradigms in ai prototyping
Changing paradigms in ai prototypingChanging paradigms in ai prototyping
Changing paradigms in ai prototyping
 
Ball Collecting game report
Ball Collecting game report Ball Collecting game report
Ball Collecting game report
 
Who cares about Software Process Modelling? A First Investigation about the P...
Who cares about Software Process Modelling? A First Investigation about the P...Who cares about Software Process Modelling? A First Investigation about the P...
Who cares about Software Process Modelling? A First Investigation about the P...
 
Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...
Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...
Industrial control cases with MATLAB code in PLCs, using PROFINET's "oversamp...
 

Mehr von RuleML

Aggregates in Recursion: Issues and Solutions
Aggregates in Recursion: Issues and SolutionsAggregates in Recursion: Issues and Solutions
Aggregates in Recursion: Issues and SolutionsRuleML
 
A software agent controlling 2 robot arms in co-operating concurrent tasks
A software agent controlling 2 robot arms in co-operating concurrent tasksA software agent controlling 2 robot arms in co-operating concurrent tasks
A software agent controlling 2 robot arms in co-operating concurrent tasksRuleML
 
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...RuleML
 
RuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule EventsRuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule EventsRuleML
 
RuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth ContextRuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth ContextRuleML
 
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...RuleML
 
Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...
Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...
Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...RuleML
 
RuleML 2015 Constraint Handling Rules - What Else?
RuleML 2015 Constraint Handling Rules - What Else?RuleML 2015 Constraint Handling Rules - What Else?
RuleML 2015 Constraint Handling Rules - What Else?RuleML
 
RuleML2015 PSOA RuleML: Integrated Object-Relational Data and Rules
RuleML2015 PSOA RuleML: Integrated Object-Relational Data and RulesRuleML2015 PSOA RuleML: Integrated Object-Relational Data and Rules
RuleML2015 PSOA RuleML: Integrated Object-Relational Data and RulesRuleML
 
Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-
Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-
Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-RuleML
 
RuleML2015: Rule-Based Exploration of Structured Data in the Browser
RuleML2015: Rule-Based Exploration of Structured Data in the BrowserRuleML2015: Rule-Based Exploration of Structured Data in the Browser
RuleML2015: Rule-Based Exploration of Structured Data in the BrowserRuleML
 
RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...
RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...
RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...RuleML
 
RuleML2015: Compact representation of conditional probability for rule-based...
RuleML2015:  Compact representation of conditional probability for rule-based...RuleML2015:  Compact representation of conditional probability for rule-based...
RuleML2015: Compact representation of conditional probability for rule-based...RuleML
 
RuleML2015: Learning Characteristic Rules in Geographic Information Systems
RuleML2015: Learning Characteristic Rules in Geographic Information SystemsRuleML2015: Learning Characteristic Rules in Geographic Information Systems
RuleML2015: Learning Characteristic Rules in Geographic Information SystemsRuleML
 
RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...
RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...
RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...RuleML
 
RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...
RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...
RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...RuleML
 
RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...
RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...
RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...RuleML
 
Industry@RuleML2015 DataGraft
Industry@RuleML2015 DataGraftIndustry@RuleML2015 DataGraft
Industry@RuleML2015 DataGraftRuleML
 
Challenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of DataChallenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of DataRuleML
 
Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...
Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...
Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...RuleML
 

Mehr von RuleML (20)

Aggregates in Recursion: Issues and Solutions
Aggregates in Recursion: Issues and SolutionsAggregates in Recursion: Issues and Solutions
Aggregates in Recursion: Issues and Solutions
 
A software agent controlling 2 robot arms in co-operating concurrent tasks
A software agent controlling 2 robot arms in co-operating concurrent tasksA software agent controlling 2 robot arms in co-operating concurrent tasks
A software agent controlling 2 robot arms in co-operating concurrent tasks
 
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...
 
RuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule EventsRuleML 2015: When Processes Rule Events
RuleML 2015: When Processes Rule Events
 
RuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth ContextRuleML 2015: Ontology Reasoning using Rules in an eHealth Context
RuleML 2015: Ontology Reasoning using Rules in an eHealth Context
 
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
RuleML 2015: Semantics of Notation3 Logic: A Solution for Implicit Quantifica...
 
Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...
Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...
Challenge@RuleML2015 Developing Situation-Aware Applications for Disaster Man...
 
RuleML 2015 Constraint Handling Rules - What Else?
RuleML 2015 Constraint Handling Rules - What Else?RuleML 2015 Constraint Handling Rules - What Else?
RuleML 2015 Constraint Handling Rules - What Else?
 
RuleML2015 PSOA RuleML: Integrated Object-Relational Data and Rules
RuleML2015 PSOA RuleML: Integrated Object-Relational Data and RulesRuleML2015 PSOA RuleML: Integrated Object-Relational Data and Rules
RuleML2015 PSOA RuleML: Integrated Object-Relational Data and Rules
 
Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-
Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-
Datalog+-Track Introduction & Reasoning on UML Class Diagrams via Datalog+-
 
RuleML2015: Rule-Based Exploration of Structured Data in the Browser
RuleML2015: Rule-Based Exploration of Structured Data in the BrowserRuleML2015: Rule-Based Exploration of Structured Data in the Browser
RuleML2015: Rule-Based Exploration of Structured Data in the Browser
 
RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...
RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...
RuleML2015: Ontology-Based Multidimensional Contexts with Applications to Qua...
 
RuleML2015: Compact representation of conditional probability for rule-based...
RuleML2015:  Compact representation of conditional probability for rule-based...RuleML2015:  Compact representation of conditional probability for rule-based...
RuleML2015: Compact representation of conditional probability for rule-based...
 
RuleML2015: Learning Characteristic Rules in Geographic Information Systems
RuleML2015: Learning Characteristic Rules in Geographic Information SystemsRuleML2015: Learning Characteristic Rules in Geographic Information Systems
RuleML2015: Learning Characteristic Rules in Geographic Information Systems
 
RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...
RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...
RuleML2015: Using Substitutive Itemset Mining Framework for Finding Synonymou...
 
RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...
RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...
RuleML2015: Representing Flexible Role-Based Access Control Policies Using Ob...
 
RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...
RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...
RuleML2015: Rule Generalization Strategies in Incremental Learning of Disjunc...
 
Industry@RuleML2015 DataGraft
Industry@RuleML2015 DataGraftIndustry@RuleML2015 DataGraft
Industry@RuleML2015 DataGraft
 
Challenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of DataChallenge@rule ml2015 rule based recommender systems for the Web of Data
Challenge@rule ml2015 rule based recommender systems for the Web of Data
 
Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...
Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...
Challenge@RuleML2015 Exchanging Data and Ontological Definitions in Multi-Age...
 

Kürzlich hochgeladen

Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024Victor Rentea
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAndrey Devyatkin
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsNanddeep Nachan
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...Zilliz
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamUiPathCommunity
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businesspanagenda
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...apidays
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMESafe Software
 
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2
 
Introduction to Multilingual Retrieval Augmented Generation (RAG)
Introduction to Multilingual Retrieval Augmented Generation (RAG)Introduction to Multilingual Retrieval Augmented Generation (RAG)
Introduction to Multilingual Retrieval Augmented Generation (RAG)Zilliz
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobeapidays
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWERMadyBayot
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Victor Rentea
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesrafiqahmad00786416
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdfSandro Moreira
 
Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native ApplicationsWSO2
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra
 
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdfRising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdfOrbitshub
 

Kürzlich hochgeladen (20)

Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering Developers
 
Introduction to Multilingual Retrieval Augmented Generation (RAG)
Introduction to Multilingual Retrieval Augmented Generation (RAG)Introduction to Multilingual Retrieval Augmented Generation (RAG)
Introduction to Multilingual Retrieval Augmented Generation (RAG)
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdfRising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
 

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

  • 1. 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
  • 2. 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
  • 3. 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
  • 4. 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
  • 5. 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
  • 6. Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Approach 6
  • 7. Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Approach Black box Desired design graphs 7
  • 8. Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Approach Load rules preceding/following the rule to be learned. 8
  • 9. 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
  • 10. 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
  • 11. 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
  • 12. Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Approach 12 Procedure evolve:
  • 13. 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
  • 14. 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?
  • 15. Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Approach 15
  • 16. 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
  • 17. 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
  • 18. Institut für Rechnergestützte Ingenieursysteme Prof. Dr. Dieter Roller Universität Stuttgart Thank you! Questions? Questions! 18