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