“再說行為決策(behaviordecision)。”
陳默的聲音聽起來居然有一種冰冷的邏輯美感。
“車輛在瞬息萬變的交通流中,何時跟車?
何時變道?
無保護左轉時如何博弈?
這些決策過程,本質是什么?
是有限狀態機(fiateae,fs)或行為樹(behaviortree)的建模!”
“每一個駕駛場景,都可以被抽象成一系列離散的狀態(state)和觸發狀態遷移的事件(event)以及遷移的動作(a)。
跟車狀態、換道狀態、路口通行狀態...
狀態間的轉換條件,就是嚴密的邏輯判斷!
這難道不是離散數學中邏輯學(logic)和自動機理論(autoatatheory)最直接的應用場嗎?”
他微微一頓,語氣帶上了一絲冷峻:
“尤其在涉及人車交互的復雜博弈場景,比如無保護左轉,兩輛車的駕駛員意圖相互試探、影響。
這需要用博弈論(gatheory)來建模。
分析納什均衡(nashequilibriu),預測對方可能的策略,從而做出自身的最優響應決策。
沒有扎實的博弈論基礎和邏輯建模能力,如何讓機器理解并處理這種充滿不確定性的‘人性’博弈?”
“嘶...”一聲輕微的吸氣聲響起。
是卞金鱗!
他臉上的興奮已經變成了震撼,眼睛死死盯著陳默在茶臺上虛劃的手指,仿佛那指尖流淌出的不是空氣,而是精妙絕倫的決策樹和博弈矩陣。
蔣雨宏雖然依舊沉穩,但端著茶杯的手指也幾不可察地收緊了些許,鏡片后的目光銳利地聚焦在陳默身上,帶著更深層次的審視和探究。
顧南舟更是感到頭皮一陣發麻。
有限狀態機、行為樹、博弈論...
這些正是他離散數學研究中涉及的強項。
尤其是博弈論在多智能體系統中的復雜均衡分析,更是他研究過的一個小分支。
陳默竟然將智能駕駛中最難啃的“行為決策”硬骨頭,如此清晰地解剖開,并精準地指向了這些離散數學工具。
這已經不僅僅是懂行了,這簡直是...洞若觀火!
顧南舟看著陳默一臉淡定的樣子越發覺得離譜,這他媽到底你是離散數學的博士還是我是啊???
陳默仿佛沒看到他們的震動,繼續向下剖析,指尖指向虛空,仿佛那里有無形的傳感器在交織數據。
“然后是感知融合(sensorfion)。”他的語氣變得如同精密儀器般冷靜,“攝像頭、激光雷達、毫米波雷達...多源異構傳感器,各自輸出帶噪聲、帶不確定性的數據。如何將它們統一起來,得到一個對周圍環境最可靠、最一致的認知?”
“核心是概率圖模型(probabilisticgraphicalodels)!”陳默的聲音斬釘截鐵。