“再说行为决策（behaviordecision）。”

陈默的声音听起来居然有一种冰冷的逻辑美感。

“车辆在瞬息万变的交通流中，何时跟车？

何时变道？

无保护左转时如何博弈？

这些决策过程，本质是什么？

是有限状态机（finitestatemachine,fsm）或行为树（behaviortree）的建模！”

“每一个驾驶场景，都可以被抽象成一系列离散的状态（state）和触发状态迁移的事件（event）以及迁移的动作（action）。

跟车状态、换道状态、路口通行状态...

状态间的转换条件，就是严密的逻辑判断！

这难道不是离散数学中逻辑学（logic）和自动机理论（automatatheory）最直接的应用场吗？”

他微微一顿，语气带上了一丝冷峻：

“尤其在涉及人车交互的复杂博弈场景，比如无保护左转，两辆车的驾驶员意图相互试探、影响。

这需要用博弈论（gametheory）来建模。

分析纳什均衡（nashequilibrium），预测对方可能的策略，从而做出自身的最优响应决策。