Other government agencies such as the Air Force also resolve mission schedule conflicts through manual intervention and human negotiation. Semi-autonomous agents can facilitate this process. Scheduling of medical procedures and processes (for instance surgical oncology) that depend on the same small set of limited resources can result in conflicts that can be addressed through agent negotiation. Oversubscribed resources at conferences or similar events can be allocated according to negotiations between agents that represent participants. Agents such as the ones proposed for this project could be applied to first responder or other emergency scenarios in a way that takes the pressure off scarce human resources.
Demonstrate the practical value of modeling complex scheduling problems using SAT. Significantly reduce or eliminate post-schedule conflict resolution that takes place between mission and support personnel in the NASA Ground, Space or Deep Space Network. Streamline and simplify the high level specification of mission objectives and the presentation of the current state of a schedule through phases of conflict resolution.
More »