/// <summary>
/// Main function of the program. Discovers if a given cgm, that is, a root goal of aa tree of goal nodes (goal or tasks)
/// can be achievable given a set of persona contexts.
/// </summary>
/// <param name="cgm"></param>
/// <param name="currentPersona"></param>
/// <returns></returns>
public Plan IsAchievable(CGM cgm, Context currentPersona)
{
Goal root = this;
if (!root.IsApplicable(currentPersona))
{
return(null);
}
if (root.MyType() == GoalTypes.TASK)
{
return(new Plan(root));
}
Plan complete = null;
var deps = root.GetRefinements();
foreach (var d in deps)
{
Plan p = d.IsAchievable(cgm, currentPersona);
if (p != null)
{
if (root.IsOrDecomposition())
{
return(p);
}
if (root.IsAndDecomposition())
{
complete = AddPlanToPlan(p, complete);
}
}
else if (root.IsAndDecomposition())
{
if (root == cgm.GetRoot())
{
return(new Plan(d));
}
return(null);
}
}
return(complete);
}
static void Main(string[] args)
{
//Initialazing Tasks
var T1 = new Goal("T1", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T2 = new Goal("T2", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T3 = new Goal("T3", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T4 = new Goal("T4", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T5 = new Goal("T5", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T6 = new Goal("T6", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new HomeAssistanceContext(DecompositionTypes.OR), new PhysicalActivityContext(DecompositionTypes.OR)
});
var T7 = new Goal("T7", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new TecnologyAversionContext(DecompositionTypes.AND, false), new MeansOfCommunication(DecompositionTypes.AND)
});
var T8 = new Goal("T8", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new TecnologyAversionContext(DecompositionTypes.AND, false), new MeansOfCommunication(DecompositionTypes.AND)
});
var T9 = new Goal("T9", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new TecnologyAversionContext(DecompositionTypes.OR, false), new HomeAssistanceContext(DecompositionTypes.OR), new MeansOfInformation(DecompositionTypes.AND)
});
var T10 = new Goal("T10", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new TecnologyAversionContext(DecompositionTypes.OR, false), new HomeAssistanceContext(DecompositionTypes.OR), new MeansOfInformation(DecompositionTypes.AND)
});
var T11 = new Goal("T11", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new HomeAssistanceContext(DecompositionTypes.AND), new TecnologyAversionContext(DecompositionTypes.AND, false), new MeansOfCommunication(DecompositionTypes.AND)
});
var T12 = new Goal("T12", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T13 = new Goal("T13", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T14 = new Goal("T14", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T15 = new Goal("T15", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T16 = new Goal("T16", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new MobilityIssue(DecompositionTypes.AND)
});
var T17 = new Goal("T17", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new MobilityIssue(DecompositionTypes.OR), new HomeAssistanceContext(DecompositionTypes.OR), new TecnologyAversionContext(DecompositionTypes.OR)
});
var T18 = new Goal("T18", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new MobilityIssue(DecompositionTypes.OR), new TecnologyAversionContext(DecompositionTypes.OR, false)
});
var T19 = new Goal("T19", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>()
{
new MobilityIssue(DecompositionTypes.OR), new TecnologyAversionContext(DecompositionTypes.OR, false)
});
var T20 = new Goal("T20", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
var T21 = new Goal("T21", GoalTypes.TASK, DecompositionTypes.LEAF, new List <Goal>(), new List <WorldContext>());
//Initialazing Goals
var G18 = new Goal("G18", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
T20
}, new List <WorldContext>());
var G17 = new Goal("G17", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
T16, T17, T18, T19
}, new List <WorldContext>());
var G16 = new Goal("G16", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
T15
}, new List <WorldContext>()
{
new HomeAssistanceContext(DecompositionTypes.AND), new TecnologyAversionContext(DecompositionTypes.AND, false), new MeansOfCommunication(DecompositionTypes.AND)
});
var G15 = new Goal("G15", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
T14
}, new List <WorldContext>());
var G14 = new Goal("G14", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
G17, G18
}, new List <WorldContext>());
var G13 = new Goal("G13", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
T12, T13
}, new List <WorldContext>()
{
new HealthRiskContext(DecompositionTypes.OR), new PhysicalActivityContext(DecompositionTypes.OR)
});
var G12 = new Goal("G12", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
T11, G16
}, new List <WorldContext>()
{
});
var G11 = new Goal("G11", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
T9, T10
}, new List <WorldContext>()
{
});
var G10 = new Goal("G10", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
T21
}, new List <WorldContext>()
{
new HealthRiskContext(DecompositionTypes.AND), new MeansOfHelping(DecompositionTypes.AND)
});
var G9 = new Goal("G9", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
G14, G15
}, new List <WorldContext>());
var G8 = new Goal("G8", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
T7, T8
}, new List <WorldContext>());
var G7 = new Goal("G7", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
T5, T6, G13
}, new List <WorldContext>());
var G6 = new Goal("G6", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
G11, G12
}, new List <WorldContext>());
var G5 = new Goal("G5", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
G10
}, new List <WorldContext>());
var G4 = new Goal("G4", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
G8, G9
}, new List <WorldContext>());
var G3 = new Goal("G3", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
T1, T2, T3, T4
}, new List <WorldContext>());
var G2 = new Goal("G2", GoalTypes.GOAL, DecompositionTypes.OR, new List <Goal>()
{
G6, G7
}, new List <WorldContext>());
var G1 = new Goal("G1", GoalTypes.GOAL, DecompositionTypes.AND, new List <Goal>()
{
G2, G3, G4, G5
}, new List <WorldContext>());
//Initialazing CGM
CGM cgm = new CGM(new List <Goal>()
{
G1, G2, G3, G4, G5, G6, G7, G8, G9, G10, G11, G12, G13, G14, G15, G16, G17, G18
});
//Initialazing Persona Contexts
Context mary = new Context(
new List <FactTypes>()
{
FactTypes.HasDiabetes,
FactTypes.ProneToFalling,
FactTypes.HasOsteoporosis,
FactTypes.WantsToAvoidFrustatingExperiencesWithTecnoloies,
FactTypes.HasAnAssistedLivingDevice
},
PersonaType.PATIENT);
Context jennifer = new Context(
new List <FactTypes>()
{
FactTypes.HasDiabetes,
FactTypes.LivesWithHisOrHersChildrens,
FactTypes.HasAnAssistedLivingDevice,
FactTypes.WalksOrRunsAsAPhysicalActivity
},
PersonaType.PATIENT);
Context dorothy = new Context(
new List <FactTypes>()
{
FactTypes.HasDiabetes,
FactTypes.HasHBP,
FactTypes.Cardiac,
FactTypes.ProneToFalling,
FactTypes.LivesWithHisOrHersChildrens,
FactTypes.HasAnAssistedLivingDevice,
FactTypes.DifficultyInWalking,
},
PersonaType.PATIENT);
Context paul = new Context(
new List <FactTypes>()
{
FactTypes.HasInternet,
FactTypes.HasCellPhone,
FactTypes.HasAmbulanceAccess
},
PersonaType.DOCTOR);
var plan = cgm.GetRoot().IsAchievable(cgm, mary);;
//Startgin Text
//Mary Case
Console.WriteLine("Start. MARY");
var watch = System.Diagnostics.Stopwatch.StartNew();
plan = cgm.GetRoot().IsAchievable(cgm, mary);
watch.Stop();
var elapsedMs = watch.Elapsed;
if (plan != null && plan.GoalSequence.Count > 1)
{
Console.WriteLine("The main goal is achievable.");
Console.WriteLine("The plan is:");
foreach (var goal in plan.GoalSequence)
{
Console.WriteLine(goal.Name);
}
}
else
{
Console.WriteLine("The main goal is NOT achievable.");
Console.WriteLine("Failed Goal: " + plan.GoalSequence[0].Name);
}
Console.WriteLine("Execution Time: " + elapsedMs + ".");
Console.WriteLine("End.");
//Jennifer Case
Console.WriteLine("Start. Jennifer");
watch = System.Diagnostics.Stopwatch.StartNew();
plan = cgm.GetRoot().IsAchievable(cgm, jennifer);
watch.Stop();
elapsedMs = watch.Elapsed;
if (plan != null && plan.GoalSequence.Count > 1)
{
Console.WriteLine("The main goal is achievable.");
Console.WriteLine("The plan is:");
foreach (var goal in plan.GoalSequence)
{
Console.WriteLine(goal.Name);
}
}
else
{
Console.WriteLine("The main goal is NOT achievable.");
Console.WriteLine("Failed Goal: " + plan.GoalSequence[0].Name);
}
Console.WriteLine("Execution Time: " + elapsedMs + ".");
Console.WriteLine("End.");
//Dorothy Case
Console.WriteLine("Start DOROTHY.");
watch = System.Diagnostics.Stopwatch.StartNew();
plan = cgm.GetRoot().IsAchievable(cgm, dorothy);
watch.Stop();
elapsedMs = watch.Elapsed;
if (plan != null && plan.GoalSequence.Count > 1)
{
Console.WriteLine("The main goal is achievable.");
Console.WriteLine("The plan is:");
foreach (var goal in plan.GoalSequence)
{
Console.WriteLine(goal.Name);
}
}
else
{
Console.WriteLine("The main goal is NOT achievable.");
Console.WriteLine("Failed Goal: " + plan.GoalSequence[0].Name);
}
Console.WriteLine("Execution Time: " + elapsedMs + ".");
Console.WriteLine("End.");
//Paul Case
Console.WriteLine("Start PAUL.");
watch = System.Diagnostics.Stopwatch.StartNew();
plan = cgm.GetRoot().IsAchievable(cgm, paul);
watch.Stop();
elapsedMs = watch.Elapsed;
if (plan != null && plan.GoalSequence.Count > 1)
{
Console.WriteLine("The main goal is achievable.");
Console.WriteLine("The plan is:");
foreach (var goal in plan.GoalSequence)
{
Console.WriteLine(goal.Name);
}
}
else
{
Console.WriteLine("The main goal is NOT achievable.");
Console.WriteLine("Failed Goal: " + plan.GoalSequence[0].Name);
}
Console.WriteLine("Execution Time: " + elapsedMs + ".");
Console.WriteLine("End.");
Console.WriteLine("Press any key to quit.");
Console.ReadKey();
}
