Table 6 Planning problem for the...

Table 6

Planning problem for the representative nominal instance of Figure 1, instantiating the objects, initial state (⁠ $I_{R}$ ⁠) and goal (⁠ $G_{R}$ ⁠)

Category		Predicates/values
Objects	Track points	A, B, C, D, E, F
	Trains	$t_{1}$ (broad_gauge), $t_{2}$ (meter_gauge)
	Stations	$s_{1}$
Initial state (⁠ $I_{R})$	Deployment	train_at( $t_{1}, A), t r a i n_a t (t_{2}$ , F)
	Topology	connected(A, B), connected(B, C), connected(B, D)
	Topology	connected(C, E), connected(D, E), connected(E, F)
	Junctions	junction_point(B), turnout_alternatives(B, C, D)
	Junctions	junction_point(E), turnout_alternatives(E, C, D)
	Gauges	train_gauge( $t_{1}, b r o a d), t r a i n_g a u g e (t_{2}$ , meter)
	Gauges	track_gauge(A, B, broad), …., track_gauge(E,F, meter)
	Services	platform_at(C, $s_{1}$ ), platform_at(D, $s_{1}),$
	Services	boarding_point( $t_{1}, D), b o a r d i n g_p o i n t (t_{2}$ , C)
	Static values	d(A, B) = 60, d(B, C) = d(B, D) = 10, d(C, E) = d(D, E) = 15
		d(E, F) = 40, v( $t_{1}) = 1.0, v (t_{2}$ ) = 1.1, $β (t_{1}, s_{1})$ = 2
		$β (t_{2}, s_{1})$ = 3, $θ = 1$
Goal (⁠ $G_{R})$	Destinations	train_at( $t_{1}, F), t r a i n_a t (t_{2}$ , A)
Goal (⁠ $G_{R})$	Services	passengers_boarded( $t_{1}, D), p a s s e n g e r s_b o a r d e d (t_{2}$ , C)
Metric		Minimize total-time (makespan)

Category		Predicates/values
Objects	Track points	A, B, C, D, E, F
	Trains	$t_{1}$ (broad_gauge), $t_{2}$ (meter_gauge)
	Stations	$s_{1}$
Initial state ( $I_{R})$	Deployment	train_at( $t_{1}, A), t r a i n_a t (t_{2}$ , F)
	Topology	connected(A, B), connected(B, C), connected(B, D)
	Topology	connected(C, E), connected(D, E), connected(E, F)
	Junctions	junction_point(B), turnout_alternatives(B, C, D)
	Junctions	junction_point(E), turnout_alternatives(E, C, D)
	Gauges	train_gauge( $t_{1}, b r o a d), t r a i n_g a u g e (t_{2}$ , meter)
	Gauges	track_gauge(A, B, broad), …., track_gauge(E,F, meter)
	Services	platform_at(C, $s_{1}$ ), platform_at(D, $s_{1}),$
	Services	boarding_point( $t_{1}, D), b o a r d i n g_p o i n t (t_{2}$ , C)
	Static values	d(A, B) = 60, d(B, C) = d(B, D) = 10, d(C, E) = d(D, E) = 15
		d(E, F) = 40, v( $t_{1}) = 1.0, v (t_{2}$ ) = 1.1, $β (t_{1}, s_{1})$ = 2
		$β (t_{2}, s_{1})$ = 3, $θ = 1$
Goal ( $G_{R})$	Destinations	train_at( $t_{1}, F), t r a i n_a t (t_{2}$ , A)
Goal ( $G_{R})$	Services	passengers_boarded( $t_{1}, D), p a s s e n g e r s_b o a r d e d (t_{2}$ , C)
Metric		Minimize total-time (makespan)

Note(s): Symmetric $c o n n e c t e d$ ⁠, $t r a c k_a c c e s s i b l e$ and $t r a c k_g a u g e$ facts

Sharing Unavailable