-
人類自省與機器智能，第一部分
計算邏輯有多種形式，就像其他類型的邏輯一樣。在本文中，我的重點將是計算邏輯中的溯因邏輯編程(ALP)方法。我認(rèn)為 ALP 代理框架將 ALP 集成到代理的操作周期中，代表了解釋性推理和規(guī)范性推理的一個令人信服的模型。
-
人類自省與機器智能，第二部分
可能存在多種解決方案，與一組信念 BBB 結(jié)合，使目標(biāo) GGG 和觀察結(jié)果 OOO 都有效。這些解決方案可能會產(chǎn)生不同的結(jié)果，智能代理面臨的挑戰(zhàn)是在可用資源的限制下確定最有效的解決方案。在經(jīng)典決策理論中，行動的價值取決于其結(jié)果的預(yù)期收益。同樣，在科學(xué)哲學(xué)中，解釋的價值是根據(jù)其可能性和解釋觀察的能力來評估的(它可以解釋的觀察越多越好)。
-
人類自省與機器智能，第三部分
為了解決危機，請激活警報信號按鈕以通知駕駛員。如果火車的任何一段到站，司機都會停下來。如果沒有，火車將前往下一站，在那里可以更容易地提供幫助。
-
人類自省與機器智能，第四部分
在人工智能的知識表示領(lǐng)域，人們已經(jīng)探索了各種邏輯系統(tǒng)，其中子句邏輯通常被定位為傳統(tǒng)一階邏輯(FOL)的替代方案。盡管它很簡單，但事實證明，分句邏輯是認(rèn)知過程建模的有力候選者。
