Collaborative Problem Solving between IX

1
Collaborative Problem Solving between IX KRAFT
Kit-ying HuiDept. of Computing
ScienceUniversity of Aberdeen
2
Background

• IX
• synthesis tasks expressed against INCA
• (Issue, Node, Critical Auxiliary constraints)
• KRAFT
• Knowledge Reuse And Fusion/Transformation
• declarative constraints as mobile problem
  specifications from distributed sources

3
What Can We Do by Connecting Them?

• IX calling KRAFT to solve a CSP
• KRAFT calling IX to solve a synthesis task
• IX KRAFT exchanging partially solved solutions
• each party has partial solving knowledge

4
Objectives

• collaborative problem solving
• reuse exchange of constraint information
  representing processes products
• process/product information based on a shared
  constraint ontology
• INCA CIF

5
Linking IX KRAFT by the AKT-Bus
IX
KRAFT
wrapper
wrapper
AKT-Bus
6
IX Issue Resolving by KRAFT
7
Knowledge at Different Levels
INCA framework
IX ontology instance
constraints data instances
8
What Need to be Mapped?

• constraints
• data objects
• schema
• IX class -gt FDM class
• IX property -gt FDM property
• IX relationship -gt FDM class
• mapping between INCA FDM!

9
Schema Mapping Example
10
Data Mapping Example
11
Constraint Mapping Example
12
Constraint Mapping (Cont)
13
Current Status

• PC configuration domain (synthesis task)
• mapping from IX to KRAFT
• domain-independent
• mapping of schema (ontology), data objects
  constraints
• automatic (no human intervention)
• machine-processible knowledge

14
To Do

• link the mapper to the Process Panel KRAFT CSP
  solving (agent) environment
• migrate to real-life domain
• Rolls Royce test-bed?