Multi-Agent · Lifecycle
Modeling the Conflict-Resolution Lifecycle
maPO formalizes the full causal chain from conflict detection to resolution — every step grounded in PROV-O for traceability.
1 · Detect
CollisionEvent
What / where / when / who — conflictLocation, occursAtTime, involved agents.
→
2 · Alert
ConflictAlert
Targets an agent for a conflict; records the selectionRationale.
→
3 · Strategy
ReplanningStrategy
The agent's response — modeled as a PROV activity.
→
4 · Resolve
ResolvedSubPlan
New plan, prov:wasDerivedFrom the OriginalSubPlan.
OriginalSubPlaninitial, conflict-unaware
— wasDerivedFrom →
ResolvedSubPlanafter replanning
— composedOf →
JointPlanhasGlobalMakespan