ALL Goals Valid Unsatisfied Goals Decisions Valid Decisions Assigments Valid Assigments Facts Constraints
SHOW Goal [Goal]* e.g. "Plan-Trip" Decision [Decision]*,e.g. "Choose-Flying" Assignment [Assignment]* e.g. "Cost-AA86" Constraint [Constraint]* e.g. "Constraint-1"
WHY / WHY NOT Optimal [Decision]* e.g. "Take-Shuttle" Satisfied [Goal]* e.g. "Ground-Transport" Valid [Decision or Goal]* e.g. "Flight-AA86" or "Ground-Transport"
RELOAD Reload Demo
*Input Slot