本文關(guān)鍵詞：基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)—意圖邏輯

  更多相關(guān)文章： 時(shí)間 行動(dòng) 意圖 知識(shí) 覺(jué)知

【摘要】： 解釋對(duì)主體理性行為產(chǎn)生影響的心理因素(信念、愿望、意圖等)的基本框架稱為BDI(belief-desire-intention)結(jié)構(gòu)。BDI邏輯是研究BDI結(jié)構(gòu)中諸因素的特征和相互關(guān)系的邏輯的統(tǒng)稱。自上個(gè)世紀(jì)八十年代起,對(duì)BDI結(jié)構(gòu)的研究一直是計(jì)算機(jī)科學(xué)和人工智能研究中的一個(gè)重點(diǎn)和熱點(diǎn)。BDI邏輯作為人工智能研究對(duì)邏輯提出的理論要求,是在這個(gè)背景下產(chǎn)生的。 本文旨在建立一個(gè)具有一般性的BDI結(jié)構(gòu)特征的邏輯:基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)-意圖邏輯。這個(gè)邏輯需要將時(shí)態(tài)邏輯、動(dòng)態(tài)邏輯和認(rèn)知邏輯三者有機(jī)地融合起來(lái),邏輯地描述BDI結(jié)構(gòu)中知識(shí)和意圖的特征及其相互關(guān)系,解決BDI邏輯中存在的基本問(wèn)題。 為實(shí)現(xiàn)這一目標(biāo),本文做了以下工作: 首先,在第2章建立了一個(gè)時(shí)態(tài)邏輯PTL。這個(gè)邏輯是在[1]和[2]提出的自然數(shù)時(shí)間邏輯(natural number logic)基礎(chǔ)上,增加了表達(dá)自返性、持續(xù)性、傳遞性和離散性的公理而建立的。本章證明了PTL具有可靠性和完全性。 其次,第3章用[3]提出的加標(biāo)轉(zhuǎn)換系統(tǒng)結(jié)合第2章的邏輯,建立了一個(gè)能夠表達(dá)行動(dòng)的時(shí)態(tài)行動(dòng)邏輯APTL,并證明了這個(gè)邏輯的可靠性和完全性。這個(gè)邏輯的建立使得建立表達(dá)意圖特征的邏輯成為可能。 再次,第4章建立了一個(gè)表達(dá)意圖特征的邏輯:基于時(shí)間和行動(dòng)規(guī)劃的意圖邏輯I_(APTL)。這個(gè)邏輯是本文的主要?jiǎng)?chuàng)新性工作之一。在I_(APTL)中,意圖的語(yǔ)義定義是在一般的模態(tài)語(yǔ)義基礎(chǔ)上增加了時(shí)間和動(dòng)作因素,這體現(xiàn)了意圖本身的復(fù)雜性。與其他的BDI邏輯不同的是,本文的意圖模型要求自返性,這樣可以表達(dá)意圖要求執(zhí)行相應(yīng)的行動(dòng)這一直觀思想。I_(APTL)成功地解決了意圖的后承問(wèn)題:意圖算子的K公理在I_(APTL)中不成立。 又次,在第5章建立了一個(gè)描述知識(shí)與意圖間相互推理關(guān)系的邏輯:基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)-意圖邏輯LI_(APTL)。這也是本文的一個(gè)主要?jiǎng)?chuàng)新點(diǎn),其表達(dá)的直觀思想是主體的意圖總是在他的認(rèn)知背景下產(chǎn)生的,因而才是理性的。本文用在模型中建立知識(shí)和意圖的相互聯(lián)系的方法來(lái)實(shí)現(xiàn)這一思想。LI_(APTL)解決了BDI邏輯中的副作用問(wèn)題。 最后,在第6章建立了基于時(shí)間和行動(dòng)規(guī)劃的廣義覺(jué)知的知識(shí)-意圖邏輯L_AI_(APTL)。這個(gè)邏輯的建立使本文基本實(shí)現(xiàn)了研究目標(biāo)。這是一個(gè)能夠解決BDI邏輯中存在的邏輯全知和意圖后承問(wèn)題的邏輯。其解決思路是用[4]所提到的廣義覺(jué)知邏輯。本文用覺(jué)知算子作用于知識(shí)算子,基本解決了邏輯全知問(wèn)題。同時(shí),在本章給出的邏輯中,增加了表達(dá)主體的意圖是主體所覺(jué)知的行為規(guī)劃的公理,使主體的意圖更加理性。至此BDI邏輯中的5個(gè)基本問(wèn)題都得到解決。 本文建立的是包含5個(gè)邏輯的系列邏輯。其中,第2章和第3章的邏輯是為后面的邏輯做準(zhǔn)備而建立的邏輯。第4章、第5章和第6章所建立的邏輯是具有一般性的表達(dá)BDI結(jié)構(gòu)特征的邏輯。
【學(xué)位授予單位】：西南大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2008
【分類號(hào)】：B812

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 ;超級(jí)酷玩站[J];時(shí)代教育;2005年07期

2 趙國(guó)輝;摘帽子行動(dòng)[J];章回小說(shuō);2000年11期

3 R·W·愛(ài)默生;真正的學(xué)者[J];領(lǐng)導(dǎo)文萃;1997年04期

4 林麟;早晨醒來(lái)你最想做什么?[J];心理世界;2000年02期

5 亦言;心動(dòng)與行動(dòng)[J];珠江水運(yùn);1998年02期

6 劉沙沙;讓“行動(dòng)”提速[J];思想政治課教學(xué);2003年04期

7 易英;行動(dòng)藝術(shù):無(wú)政府主義還是形式主義[J];世界美術(shù);1990年02期

8 劉榮升;惠而不費(fèi)[J];w，

本文編號(hào)：1279444