1. PML Model for GILA James Michaelis 11 / 13 / 2008

2. PML Diagram for GILA Conclusion X’ NodeSet X’ hasConclusion Inference Step X’ Inference Step X’ Apply Psteps MRE hasInferenceEngine hasInferenceRule Conclusion P NodeSet P hasConclusion Inference Step P Inference Step P ILR Rule ILR hasInferenceEngine hasInferenceRule NodeSet X hasAntecedent isConsequentOf

3. PML Example for GILA In the previous graph, three PML nodesets are presented: – X : The GILA problem state at some iteration T (note: iteration T is assumed to be for any iteration 1 < T < [total # of iterations]) – P : An accepted set of psteps to apply to the GILA problem state at iteration T – X’ : A new GILA problem state generated based on X and P

4. To be added later … PML Diagrams for: – Handling sources of conflict information and setting of conflict priorities.