發(fā)布時間：2017-12-11 18:14

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

  更多相關(guān)文章： 時間 行動 意圖 知識 覺知

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

【相似文獻】

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

1 ;超級酷玩站[J];時代教育;2005年07期

2 趙國輝;摘帽子行動[J];章回小說;2000年11期

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

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

5 亦言;心動與行動[J];珠江水運;1998年02期

6 劉沙沙;讓“行動”提速[J];思想政治課教學;2003年04期

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

8 劉榮升;惠而不費[J];w，

本文編號：1279444