溫葉人半縮在羽絨服中，忽然感受到方年看過來的目光。
有一個瞬間的茫然。
接著腦子里面亂七八糟的念頭猛地一頓。
聽方年語氣從容的說：“不試試怎么知道。”
溫葉迅速就捕捉到了關鍵信息。
溫葉伸手撥開散落下來的幾縷頭發，不動聲色的道。
“程學長，方年同學，你們討論的是什么研究，可以跟我說說嗎？”
說完，溫葉余光不經意的看向方年，觀察著方年的神色。
見方年低垂眼簾，不再看向自己，心里邊悄悄松了口氣。
迎著溫葉好奇的目光，程潛推了下眼鏡，面露笑容：“哲學分類里認知哲學的一個大的問題，我的導師帶著我跟一些同學成立了項目團隊……”
溫葉帶著點感興趣的神色，用討教的口吻追問：“那，具體是什么大問題？”
程潛笑了下：“溫學妹也對哲學問題感興趣了？”
頓了頓，回答道：“這個問題仔細解釋很復雜，是一整套系統性的理論。”
溫葉就抿嘴一笑：“簡單解釋解釋唄，我看你們聊得很投入，有點好奇。”
程潛也跟著笑了，看了眼溫葉，自嘲的道：“今天你們怎么回事，都對這些不合時宜的研究感興趣起來。”
接著補充一句：“方年同學還好，他一早就對認知哲學比較感興趣，對前沿問題也感興趣；
我記得溫學妹你是讀行政管理的，不管是認知論，還是哲學，還是框架問題，都是毫不相關才對。”
溫葉沒急著開口。
果然，程潛自顧接著說了下去。
“這樣，我隨便舉個例子說明一下，我得先聲明，這并不是個聽起來簡單的例子，而且有點繞。”
溫葉連忙點頭：“沒關系。”
程潛目光掃了眼室內，接著說道：“比方說，那邊有個蘋果，它是紅色的。”
“如果我們把這當成命題，人類的思路是再找一個蘋果，看它是不是紅色，以此類推，如果沒出現反例，我們會越發確信這個命題正確。”
“假如說我們驗證了100個蘋果，里面99個都是紅色的，我們會進行默認的推理，即：
有人告訴你某個東西是蘋果，你會立刻聯想到它是紅色的，這是人的認知過程：歸納——驗證——應用。
或者說是判斷——驗證——應用。”
頓了頓，程潛接著說下去：“但機器的驗證思路不這樣。
它要先找出這個命題的所有等價形式，然后才開始驗證，需要用到大量的識別案例，最終以等價形式來判斷，若是識別的案例越多，會很容易產生：
‘某個不是紅色的東西不是蘋果’，進而支持‘不是紅色的東西都不是蘋果’，而這等價于‘蘋果都是紅色的。’
而且這在機器邏輯上沒問題。
回到我們剛才的人類思維，如果有人告訴我們，某個東西是蘋果，我們會聯想到它是紅色；
但，我們人類不會認為所有不是紅色的東西都不是蘋果……”
最后，程潛歸納道：“我們現在的研究方向是通過實驗，讓機器的驗證思路擬人化。”
“也算是一種人工智能的研究方向，我們的團隊和導師都認為，這個理論是有價值的，但不代表這個理論是對的，是可以有成果的。”
盡管程潛舉的例子聽起來有點繞，不那么簡單，不過溫葉理解能力沒出問題，稍加思索便明白過來，帶點激動的道。
“那，我可不可以這么理解，你們現在的項目研究方向，是智能手機，或者智能電腦的未來？”
程潛笑著搖頭：“未來這兩個字太大了，可不敢這么說。”
“只能說是探索讓機器認知更加智能化的可能性。”
溫葉似懂非懂的點頭：“我剛剛聽你們說死循環，這又是什么原因？”
程潛回答道：“項目經費問題，雖然這是認知論上的問題，但最終要通過機器實現，需要大量的實驗驗證。”