Table 2 Movement-operation action...

Table 2

Movement-operation action schemas

Action	Preconditions		Effects		Duration
Action	ann.	predicate	ann.	predicate	Duration
DriveTrain (t, $n_{i}, n_{j}$ , g)	Start	train_at(t, $n_{i}$ ) train_gauge(t, g) track_gauge( $n_{i}$ , $n_{j}$ , g) $\neg$ train_blocked(t, $n_{i}$ ) $\neg$ engine_damaged(t, $n_{i}) t r a c k_c l e a r (n_{i}$ , $n_{j}$ ) track_accessible( $n_{i}$ , $n_{j}$ )	Start	$\neg$ train_at(t, $n_{i}) f r e e (n_{i}$ ) $\neg$ track_accessible( $n_{i}, n_{j}$ $\neg$ track_accessible( $n_{j}, n_{i}$ )	$τ_{v (t)} (n_{i}, n_{j})$
	Over-all	connected( $n_{i}$ , $n_{j}$ ) free( $n_{j}$ )	End	train_at(t, $n_{i}$ ) $\neg$ free(n_j) $t r a c k_a c c e s s i b l e (n_{i}$ , $n_{j}$ ) track_accessible( $n_{j}$ , $n_{i}$ )
	End	free( $n_{j}$ )	End
DriveEngine (e, $n_{i}, n_{j}$ , g)	Start	engine_at(e, $n_{i}$ ) engine_free(e) engine_gauge(e, g) track_gauge( $n_{i}$ , $n_{j}$ , g) track_clear( $n_{i}$ , $n_{j}$ ) track_accessible( $n_{i}$ , $n_{j}$ )	Start	$\neg$ engine_at(e, $n_{i}) f r e e (n_{i}$ ) $\neg$ track_accessible( $n_{i}, n_{j}$ ) $\neg$ track_accessible( $n_{j}, n_{i}$ )	$τ_{v_{a} (e)} (n_{i}, n_{j})$
	Over-all	connected( $n_{i}$ , $n_{j}$ ) free( $n_{j}$ )	End	engine_at(e, $n_{i}$ ) $\neg$ free(n_j) $t r a c k_a c c e s s i b l e (n_{i}$ , $n_{j}$ ) track_accessible( $n_{j}$ , $n_{i}$ )
	End	free( $n_{j}$ )	End

Action	Preconditions		Effects		Duration
Action	ann.	predicate	ann.	predicate	Duration
DriveTrain (t, $n_{i}, n_{j}$ , g)	Start	train_at(t, $n_{i}$ ) train_gauge(t, g) track_gauge( $n_{i}$ , $n_{j}$ , g) $\neg$ train_blocked(t, $n_{i}$ ) $\neg$ engine_damaged(t, $n_{i}) t r a c k_c l e a r (n_{i}$ , $n_{j}$ ) track_accessible( $n_{i}$ , $n_{j}$ )	Start	$\neg$ train_at(t, $n_{i}) f r e e (n_{i}$ ) $\neg$ track_accessible( $n_{i}, n_{j}$ $\neg$ track_accessible( $n_{j}, n_{i}$ )	$τ_{v (t)} (n_{i}, n_{j})$
	Over-all	connected( $n_{i}$ , $n_{j}$ ) free( $n_{j}$ )	End	train_at(t, $n_{i}$ ) $\neg$ free(n_j) $t r a c k_a c c e s s i b l e (n_{i}$ , $n_{j}$ ) track_accessible( $n_{j}$ , $n_{i}$ )
	End	free( $n_{j}$ )	End
DriveEngine (e, $n_{i}, n_{j}$ , g)	Start	engine_at(e, $n_{i}$ ) engine_free(e) engine_gauge(e, g) track_gauge( $n_{i}$ , $n_{j}$ , g) track_clear( $n_{i}$ , $n_{j}$ ) track_accessible( $n_{i}$ , $n_{j}$ )	Start	$\neg$ engine_at(e, $n_{i}) f r e e (n_{i}$ ) $\neg$ track_accessible( $n_{i}, n_{j}$ ) $\neg$ track_accessible( $n_{j}, n_{i}$ )	$τ_{v_{a} (e)} (n_{i}, n_{j})$
	Over-all	connected( $n_{i}$ , $n_{j}$ ) free( $n_{j}$ )	End	engine_at(e, $n_{i}$ ) $\neg$ free(n_j) $t r a c k_a c c e s s i b l e (n_{i}$ , $n_{j}$ ) track_accessible( $n_{j}$ , $n_{i}$ )
	End	free( $n_{j}$ )	End

Note(s): Parameter shorthands: ‘t’ a train, ‘e’ an auxiliary engine; $n_{i}$ ⁠, $n_{j}$ track points, $‘ g ’$ a gauge type. $τ_{u} (n_{i}, n_{j})$ denotes the traversal time of segment $(n_{i}, n_{j})$ at speed $‘ u ’$ (Eq. 1)

[ViewLarge]

Sharing Unavailable