選擇最佳解決方案

可能存在多種解決方案，與一組信念 BBB 結(jié)合，使目標(biāo) GGG 和觀察結(jié)果 OOO 都有效。這些解決方案可能會(huì)產(chǎn)生不同的結(jié)果，智能代理面臨的挑戰(zhàn)是在可用資源的限制下確定最有效的解決方案。在經(jīng)典決策理論中，行動(dòng)的價(jià)值取決于其結(jié)果的預(yù)期收益。同樣，在科學(xué)哲學(xué)中，解釋的價(jià)值是根據(jù)其可能性和解釋觀察的能力來(lái)評(píng)估的(它可以解釋的觀察越多越好)。

在 ALP 智能體中，可以應(yīng)用這些相同的標(biāo)準(zhǔn)來(lái)評(píng)估潛在的行動(dòng)和解釋。對(duì)于這兩種情況，候選假設(shè)都是通過(guò)預(yù)測(cè)其結(jié)果來(lái)評(píng)估的。在 ALP 代理中，尋找最優(yōu)解決方案的過(guò)程被集成到后向推理策略中，利用諸如最佳優(yōu)先搜索算法(例如，A* 或分支定界)之類的方法。這種方法類似于基于規(guī)則的系統(tǒng)中解決沖突的更簡(jiǎn)單的任務(wù)。傳統(tǒng)的基于規(guī)則的系統(tǒng)通過(guò)將高級(jí)目標(biāo)、信念和決策轉(zhuǎn)換為較低級(jí)別的啟發(fā)式和刺激響應(yīng)模式來(lái)簡(jiǎn)化決策和歸納推理。例如：

· 如果有一個(gè)洞并且我在船上，那么我會(huì)按下警報(bào)按鈕。

在 ALP 智能體中，較低級(jí)別的規(guī)則可以與較高級(jí)別的認(rèn)知過(guò)程相結(jié)合，類似于雙過(guò)程理論，以利用兩種方法的優(yōu)勢(shì)。與大多數(shù) BDI 代理一次只專注于一個(gè)計(jì)劃不同，ALP 代理負(fù)責(zé)處理單獨(dú)的行動(dòng)，并且可以同時(shí)執(zhí)行多個(gè)計(jì)劃以提高成功的可能性。例如，在緊急情況下，特工可能會(huì)同時(shí)激活警報(bào)并嘗試逃跑。選擇關(guān)注單個(gè)計(jì)劃還是同時(shí)關(guān)注多個(gè)計(jì)劃取決于所選擇的搜索策略。雖然深度優(yōu)先搜索一次只關(guān)注一個(gè)計(jì)劃，但其他策略可能會(huì)帶來(lái)更大的好處。

ALP 代理模型可用于創(chuàng)建人工代理，但它也可以作為理解人類決策的有用框架。在以下各節(jié)中，我將論證該模型不僅改進(jìn)了傳統(tǒng)邏輯和決策理論，而且還提供了規(guī)范(或規(guī)定)方法。采用 ALP 代理模型作為高級(jí)決策理論基礎(chǔ)的理由是，子句邏輯提供了思想語(yǔ)言 (LOT) 的可行表示。我將通過(guò)比較子句邏輯與自然語(yǔ)言來(lái)進(jìn)一步探討這個(gè)論點(diǎn)并展示該模型如何幫助個(gè)人進(jìn)行更清晰、更有效的溝通。我將在最后一節(jié)重新討論 ALP 代理模型在增強(qiáng)決策方面的應(yīng)用。

作為主體認(rèn)知框架的子句邏輯

在語(yǔ)言和思想的研究中，關(guān)于語(yǔ)言與認(rèn)知的關(guān)系存在三種主要理論：

· 認(rèn)知框架理論：思想由一種私有的、類似語(yǔ)言的系統(tǒng)來(lái)代表，該系統(tǒng)獨(dú)立于外部的口頭語(yǔ)言而運(yùn)行。

· 語(yǔ)言影響理論：思想是由公共語(yǔ)言塑造的，我們使用的語(yǔ)言會(huì)影響我們的認(rèn)知過(guò)程。

· 非語(yǔ)言思維理論：人類思維不遵循類似語(yǔ)言的結(jié)構(gòu)。

ALP 智能體模型與第一個(gè)理論一致，不同意第二個(gè)理論，但與第三個(gè)理論兼容。它與第二種理論不同，因?yàn)?ALP 的邏輯框架不依賴于口語(yǔ)的存在，而且根據(jù)人工智能標(biāo)準(zhǔn)，自然語(yǔ)言往往過(guò)于模糊，無(wú)法有效地模擬人類思維。然而，它支持第三種理論，因?yàn)樗穆?lián)結(jié)主義實(shí)施掩蓋了其語(yǔ)言本質(zhì)。

在人工智能中，某種形式的邏輯代表代理的認(rèn)知框架的想法與傳統(tǒng)的人工智能方法(通常稱為 GOFAI 或“好的老式人工智能”)密切相關(guān)，而傳統(tǒng)的人工智能方法在某種程度上被新的聯(lián)結(jié)主義和貝葉斯方法所掩蓋。我認(rèn)為 ALP 模型提供了這些不同方法之間的潛在協(xié)調(diào)。 ALP 的子句邏輯比標(biāo)準(zhǔn)一階邏輯 (FOL) 更簡(jiǎn)單，結(jié)合了聯(lián)結(jié)主義原理，并適應(yīng)貝葉斯概率。它與標(biāo)準(zhǔn) FOL 的關(guān)系類似于認(rèn)知框架與自然語(yǔ)言的關(guān)系。

爭(zhēng)論始于相關(guān)性理論[Sperber and Wilson, 1986]，該理論表明人們通過(guò)用最少的認(rèn)知努力提取最多的信息來(lái)理解語(yǔ)言。根據(jù)這一理論，傳播內(nèi)容越符合其預(yù)期含義，受眾就越容易理解它。研究認(rèn)知框架本質(zhì)的一種方法是檢查準(zhǔn)確有效的理解至關(guān)重要的場(chǎng)景。例如，倫敦地鐵的緊急通知被設(shè)計(jì)為易于理解，因?yàn)樗鼈儽粯?gòu)造為顯式或隱式的邏輯條件。