傾向型心態(tài)的表示和推理.pdf

1、主體理性行動(dòng)是人工智能的核心目標(biāo)之一,本文介紹和分析了已有的相關(guān)工作,然后提出了新的看待這個(gè)問題的思路。本文的工作主要分為兩個(gè)部分,提出B2D主體框架和討論有用性的刻劃并討論這兩者的應(yīng)用。
　　本文首先討論了這個(gè)問題中所涉及的相關(guān)術(shù)語的含義,然后給出了本文的基本出發(fā)點(diǎn)。在這些出發(fā)點(diǎn)下,主體如何理性行動(dòng)的問題變?yōu)檠芯恐黧w心理狀態(tài)和它們之間的關(guān)系的問題。
　　然后,本文提出了一種新的主體框架—B2D框架。B2D框架是傳統(tǒng)的BDI

2、模型的擴(kuò)展,它把主體抽象成為三種心理狀態(tài)的集合,即信念,決定型心態(tài)和傾向型心態(tài)。它們之間的相互關(guān)系和它們與時(shí)間,行動(dòng),命題等的關(guān)系體現(xiàn)在B2D主體模型中。B2D主體模型由可信集,可執(zhí)行集,時(shí)間,信念更新關(guān)系,目標(biāo)更新關(guān)系,有用關(guān)系,偏好關(guān)系7個(gè)部分組成。通過定義各種不同的主體模型,可以得到不同的B2D系統(tǒng)。在B2D框架中,主體的理性原理可以解釋為“如果一個(gè)行動(dòng)是有用且偏好的,那么選擇做它是理性的”。
　　接下來,本文討論了有用關(guān)系

3、的刻劃。首先本文在命題語言下刻劃了一些新的概念,包括部分蘊(yùn)涵,正相關(guān),聯(lián)合滿足等并詳細(xì)的討論了它們的性質(zhì),復(fù)雜性和它們之間的關(guān)系。這三個(gè)概念在某種程度上都是經(jīng)典蘊(yùn)涵在各個(gè)不同方向上的擴(kuò)展。然后本文在這些工作的基礎(chǔ)上刻劃了幾種非常重要的有用關(guān)系。
　　最后,本文把很多重要的和主體相關(guān)的工作,如反應(yīng)式主體,決策論主體,PRS系統(tǒng)和人工智能規(guī)劃等歸結(jié)成B2D系統(tǒng)。并提出了兩種新的同時(shí)具有反應(yīng)能力和慎思能力的B2D系統(tǒng)。第一種結(jié)合了反應(yīng)式