選擇最佳解決方案
可能存在多種解決方案,與一組信念 BBB 結合,使目標 GGG 和觀察結果 OOO 都有效。這些解決方案可能會產(chǎn)生不同的結果,智能代理面臨的挑戰(zhàn)是在可用資源的限制下確定最有效的解決方案。在經(jīng)典決策理論中,行動的價值取決于其結果的預期收益。同樣,在科學哲學中,解釋的價值是根據(jù)其可能性和解釋觀察的能力來評估的(它可以解釋的觀察越多越好)。
在 ALP 智能體中,可以應用這些相同的標準來評估潛在的行動和解釋。對于這兩種情況,候選假設都是通過預測其結果來評估的。在 ALP 代理中,尋找最優(yōu)解決方案的過程被集成到后向推理策略中,利用諸如最佳優(yōu)先搜索算法(例如,A* 或分支定界)之類的方法。這種方法類似于基于規(guī)則的系統(tǒng)中解決沖突的更簡單的任務。傳統(tǒng)的基于規(guī)則的系統(tǒng)通過將高級目標、信念和決策轉換為較低級別的啟發(fā)式和刺激響應模式來簡化決策和歸納推理。例如:
· 如果有一個洞并且我在船上,那么我會按下警報按鈕。
在 ALP 智能體中,較低級別的規(guī)則可以與較高級別的認知過程相結合,類似于雙過程理論,以利用兩種方法的優(yōu)勢。與大多數(shù) BDI 代理一次只專注于一個計劃不同,ALP 代理負責處理單獨的行動,并且可以同時執(zhí)行多個計劃以提高成功的可能性。例如,在緊急情況下,特工可能會同時激活警報并嘗試逃跑。選擇關注單個計劃還是同時關注多個計劃取決于所選擇的搜索策略。雖然深度優(yōu)先搜索一次只關注一個計劃,但其他策略可能會帶來更大的好處。
ALP 代理模型可用于創(chuàng)建人工代理,但它也可以作為理解人類決策的有用框架。在以下各節(jié)中,我將論證該模型不僅改進了傳統(tǒng)邏輯和決策理論,而且還提供了規(guī)范(或規(guī)定)方法。采用 ALP 代理模型作為高級決策理論基礎的理由是,子句邏輯提供了思想語言 (LOT) 的可行表示。我將通過比較子句邏輯與自然語言來進一步探討這個論點并展示該模型如何幫助個人進行更清晰、更有效的溝通。我將在最后一節(jié)重新討論 ALP 代理模型在增強決策方面的應用。
作為主體認知框架的子句邏輯
在語言和思想的研究中,關于語言與認知的關系存在三種主要理論:
· 認知框架理論:思想由一種私有的、類似語言的系統(tǒng)來代表,該系統(tǒng)獨立于外部的口頭語言而運行。
· 語言影響理論:思想是由公共語言塑造的,我們使用的語言會影響我們的認知過程。
· 非語言思維理論:人類思維不遵循類似語言的結構。
ALP 智能體模型與第一個理論一致,不同意第二個理論,但與第三個理論兼容。它與第二種理論不同,因為 ALP 的邏輯框架不依賴于口語的存在,而且根據(jù)人工智能標準,自然語言往往過于模糊,無法有效地模擬人類思維。然而,它支持第三種理論,因為它的聯(lián)結主義實施掩蓋了其語言本質。
在人工智能中,某種形式的邏輯代表代理的認知框架的想法與傳統(tǒng)的人工智能方法(通常稱為 GOFAI 或“好的老式人工智能”)密切相關,而傳統(tǒng)的人工智能方法在某種程度上被新的聯(lián)結主義和貝葉斯方法所掩蓋。我認為 ALP 模型提供了這些不同方法之間的潛在協(xié)調。 ALP 的子句邏輯比標準一階邏輯 (FOL) 更簡單,結合了聯(lián)結主義原理,并適應貝葉斯概率。它與標準 FOL 的關系類似于認知框架與自然語言的關系。
爭論始于相關性理論[Sperber and Wilson, 1986],該理論表明人們通過用最少的認知努力提取最多的信息來理解語言。根據(jù)這一理論,傳播內容越符合其預期含義,受眾就越容易理解它。研究認知框架本質的一種方法是檢查準確有效的理解至關重要的場景。例如,倫敦地鐵的緊急通知被設計為易于理解,因為它們被構造為顯式或隱式的邏輯條件。