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

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

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

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