Table 3 The logical definitions of the... | Emerald Publishing

Table 3

The logical definitions of the example traffic rule

Semantic description	Logical definition
1. Without central isolation facilities	① $C e n t_i s o F_F l a g! = 1$
2. Without central lines	② $L i n e C o l o r! = Y e l l o w$
3. Comes in the opposite direction	③ ${\vec{v}}_{E g o} \times {\vec{v}}_{T g t} < 0$
4. Motor vehicle	④ $M o t o r V e h i c l e F l a g = 1$
5. Slow down	⑤ $v \leq v_{0}$
6. Drive to the right	⑥ $y \leq y_{0}$
7. Keep necessary safety distance	⑥ $\sqrt{{(y_{E g o} - y_{T g t})}^{2}} > 0$ $& \sqrt{{(x_{E g o} - x_{T g t})}^{2}} > 0$

Semantic description	Logical definition
1. Without central isolation facilities	① $C e n t_i s o F_F l a g! = 1$
2. Without central lines	② $L i n e C o l o r! = Y e l l o w$
3. Comes in the opposite direction	③ ${\vec{v}}_{E g o} \times {\vec{v}}_{T g t} < 0$
4. Motor vehicle	④ $M o t o r V e h i c l e F l a g = 1$
5. Slow down	⑤ $v \leq v_{0}$
6. Drive to the right	⑥ $y \leq y_{0}$
7. Keep necessary safety distance	⑥ $\sqrt{{(y_{E g o} - y_{T g t})}^{2}} > 0$ $& \sqrt{{(x_{E g o} - x_{T g t})}^{2}} > 0$