Table 5 Infrastructure-operation action... | Emerald Publishing

Table 5

Infrastructure-operation action schema

Action	Preconditions		Effects		Duration
Action	ann.	predicate	ann.	predicate	Duration
Turnout (n, $n_{1}, n_{2}$ )	Start	junction_point(n) turnout_alternatives(n, $n_{1}, n_{2}$ ) connected(n, $n_{1})$ $\neg$ connected(n, $n_{2})$	Start	$\neg$ connected(n, $n_{2}$ ) $\neg$ connected( $n_{2}, n$ )	$θ$
Turnout (n, $n_{1}, n_{2}$ )	Start		End	connected(n, $n_{2}$ ) connected( $n_{2}$ , n)	$θ$

Action	Preconditions		Effects		Duration
Action	ann.	predicate	ann.	predicate	Duration
Turnout (n, $n_{1}, n_{2}$ )	Start	junction_point(n) turnout_alternatives(n, $n_{1}, n_{2}$ ) connected(n, $n_{1})$ $\neg$ connected(n, $n_{2})$	Start	$\neg$ connected(n, $n_{2}$ ) $\neg$ connected( $n_{2}, n$ )	$θ$
Turnout (n, $n_{1}, n_{2}$ )	Start		End	connected(n, $n_{2}$ ) connected( $n_{2}$ , n)	$θ$

Note(s): $n_{1}$ , $n_{2}$ denote the alternative continuation points of the turnout at junction $n$ ⁠, while the switching is in progress, neither alternative is connected