淺論智能主體的信念認(rèn)知時態(tài)子結(jié)構(gòu)邏輯模型

1、淺論智能主體的信心認(rèn)知時態(tài)子布局邏輯模子摘要:智能主體獵取信心的途徑重要有兩種:一種為他省,通過外界交互,從其他主體獵取信息;另一種為自省,通過本身的汗青數(shù)據(jù)庫獵取相干知識。對付主體信心的形貌與描畫,兩種途徑缺一不成,但當(dāng)前的bdi理論模子中較多地為他省體系,沒有做到兩者相結(jié)合。其次,在當(dāng)前的很多理論模子中,通常利用的是二值邏輯、經(jīng)典模態(tài)邏輯或其變形體系,使得相應(yīng)的邏輯體系普及存在邏輯全知和粗精度描畫等題目。針對上述題目舉行了相干研究,接納了認(rèn)知時態(tài)子布局邏輯建模的要領(lǐng),表達(dá)了智能主體得到“雙時信心的方法,針對其創(chuàng)立了相應(yīng)的邏輯體系bset。關(guān)鍵詞:智能主體;信心;自省;他省;認(rèn)知時態(tài)子布局邏

2、輯substruturallgifepisteiandtepralityinbelieffagent(1.shlfputer,guangdnguniversityftehnlgy,guangzhu510006,hina;2.shlfputer,suthhinanraluniversity,guangzhu510631,hina)keyrds:agent;belief;intrspetiveness;extrspetiveness;substruturallgifepisteiandteprality0弁言為順應(yīng)情況變革和協(xié)作求解,智能主體(agent)必需利用知識修改內(nèi)部狀態(tài),即心智狀態(tài)(en

3、talstate)。主體的心智狀態(tài)為主體怎樣舉措提供了一種說明,也就是說主體的舉措是由主體的心智狀態(tài)驅(qū)動的,如認(rèn)知、情緒、意向等。邏輯是形貌主體心智狀態(tài)的緊張東西1。1990年,re2利用情勢邏輯對主體舉行了建模,并重要研究了主體擁有的知識與實(shí)現(xiàn)的舉措之間的干系;隨后hen等人3體系地研究了信心、目的、連續(xù)目的、意圖和理性的邏輯表達(dá)和演算題目,他們的事情基于線性時態(tài)邏輯,在語義上那么以kripke大概天下語義學(xué)為底子,并給出了bdi情勢模子;厥后,ra等人4提出了抱負(fù)agent的bdi模子,利用了三個根本的模態(tài)算符:信心(belief)、愿望(desire)和意圖(intentin)創(chuàng)立了主體

4、的bdi模子;jia等人5針對主體是在歷程級運(yùn)行的步伐,運(yùn)用演算形貌了主體的理性和舉動意圖,利用演算這種描畫通訊體系的歷程演算表現(xiàn)出主體間的交互;胡山立等人6,7在真假子集語義底子上通過對模子的代數(shù)布局施加一定的束縛,開拓了雙子集語義革新模子,制止了基于正范圍態(tài)邏輯表現(xiàn)的邏輯全知題目以及由此帶來的副作用等題目。別的,knlige等人813也做了相干值得必定的事情,普及bdi理論研究與應(yīng)用的多個范疇。只管bdi或類bdi模子已成為研究智能主體理論模子的重要東西,但這些模子仍普及存鄙人述的一些題目:a)主體理論模子中普及存在邏輯全知(lginisiene)1。b)器重主體間知識交互,而不放在眼里主

5、體內(nèi)部知識或狀態(tài)。)由經(jīng)典模態(tài)邏輯或二值邏輯引起的理論模子對真實(shí)天下的描畫粗精度。基于此,本文針對上述題目舉行了相干研究,并將研究事情聚焦于智能主體的信心,針對其作出了相干邏輯模子。思量到對付愿望和意圖,差異的應(yīng)用和應(yīng)用不雅對其有差異的見解和界說,因此本文并未舉行深化研究,只側(cè)重描畫了認(rèn)知和決議的關(guān)鍵,即信心。1智能主體信心的形成與表現(xiàn)1.1智能主體信心的形成及其題目無論是bdi模子照舊其他的智能主體的理論模子,對付信心的形成與表現(xiàn)都是建模的基矗但是在當(dāng)前的很多理論模子中,對信心的形成存在一定的題目。比方,作為經(jīng)典的模子,在ra等人4的模子中,在建模時雖利用到時態(tài)邏輯模子及其本領(lǐng),但僅思量到體

6、系的將來狀態(tài),而不存眷已往的認(rèn)知?，F(xiàn)實(shí)上,造成雷同的題目重要在于其對信心(知識)的獵取僅思量與外部主體舉行交互,而不放在眼里了主體在已往的知識。思量到主體理論模子中普及存在邏輯全知的題目,這也重要是由于相干模子利用了經(jīng)典模態(tài)邏輯(或相干變形體系)、二值邏輯導(dǎo)致的效果。邏輯全知題目重要包羅兩個方面:a)一個主體假設(shè)知道一個命題,那么它知道它所知道的命題的全部邏輯后承。b)一個主體知道全部的真理(重言式)。造成題目a)是由于理論模子接納了形如經(jīng)典模態(tài)邏輯中的k正義式的內(nèi)定理。造成題目b)的重要緣故原由有兩點(diǎn):第一點(diǎn)是由于理論模子接納了形如經(jīng)典模態(tài)邏輯中的rn規(guī)矩式的規(guī)矩造成;第二點(diǎn)是在盤算科學(xué),尤

7、其是在機(jī)群協(xié)同事情下的智能主體的認(rèn)知?dú)v程不該存在所謂的“重言式形式的內(nèi)定理,全部公式的創(chuàng)立與否都應(yīng)接納布局性證實(shí)舉行論證,而非傳統(tǒng)的二值邏輯情勢及其粗精度描畫。1.2“雙時智能主體的信心表現(xiàn)基于上述題目,本文提出了相應(yīng)的辦理要領(lǐng)。起首,主體的信心必需與他省和自省相結(jié)合。詳細(xì)表如今不但器重交互,并且器重汗青數(shù)據(jù)。由此在表意上,可以利用bel(k)=kh表現(xiàn)主體k在當(dāng)前時候具有信心。此中:k表現(xiàn)“知道算子,表現(xiàn)了他省;h仍利用時態(tài)邏輯中的標(biāo)識表記標(biāo)幟意義,表現(xiàn)“在此之前不停(不包羅當(dāng)前時間),表現(xiàn)了自省,只有當(dāng)他省和自省都為“一定時,知識才氣成為信心。其次,要辦理邏輯全知與非布局性語義的粗精度描畫

8、題目,一種可行的方法是利用子布局邏輯(substruturallgis)。按照子布局邏輯的布局性證實(shí),能有用制止上述題目,并可通過布局規(guī)矩的增刪,修改傳統(tǒng)hilbert氣勢氣派的邏輯演算所固留的諸如單調(diào)性、緊縮性等弊病,以增長體系的可盤算性。據(jù)此,可創(chuàng)立相應(yīng)的認(rèn)知時態(tài)子布局邏輯體系。鑒于其表現(xiàn)了智能主體的信心,同時接納的是認(rèn)知邏輯、時態(tài)邏輯和子布局演算的綜合辦理要領(lǐng),本文將新的體系稱為bset體系,意為substruturallgifepisteiandtepralityinbelief。鄙人一部門,將對體系作詳細(xì)先容。2bset及其gentzen體系2.1大概天下與可達(dá)干系起首思量到體系必要

9、做到他省和自省,必需對認(rèn)知的大概天下與可達(dá)干系作出界說,這種界說是針對框架的(frae)。假定差異軸的同一時候的時間點(diǎn)之間的可達(dá)干系與時間軸之間的可達(dá)干系是同等的,據(jù)界說1和2,可以將兩個框架歸并。其表示如圖1所示。2.2gentzen體系據(jù)上,本文將對他省和自省框架布局子布局演算體系,為表現(xiàn)子布局演算特點(diǎn),在此用gentzen氣勢氣派的演算體系(由德國人gentzen1934年在其博士結(jié)業(yè)論文中提出的一種邏輯演算,海內(nèi)也翻譯為相繼式演算,但更多直譯為gentzen演算,在該演算中分為布局規(guī)矩和運(yùn)算規(guī)矩,運(yùn)算規(guī)矩又分為左規(guī)矩和右規(guī)矩,是有別于hilbert氣勢氣派的天然演繹要領(lǐng)的布局性邏輯演算

10、要領(lǐng),重要用于證實(shí)論)來布局bset,體系如下:布局規(guī)矩:xay,a,zby,x,zb(ut)運(yùn)算規(guī)矩:x,a,yx,ab,y(l)x,b,yx,ab,y(l)xaxbxab(r)x,a,yx,b,yx,ab,y(l)xaxab(r)xbxab(r)x,a,y,b,zy,x,ab,z(l)x,abxb(r)留意到,這是一個典范的“直覺主義邏輯體系,是基于布局性證實(shí)的。同時由于雷同k正義和rn規(guī)矩的內(nèi)定理不存在于bset的布局規(guī)矩中,也有用制止了邏輯全知題目。值得一提的是,由于“l(fā)規(guī)矩的存在,體系現(xiàn)實(shí)保存了eakening規(guī)矩,即該體系的推理仍舊是單調(diào)的。同時由于punark“,的無序性,互換律

11、也照舊保持其有用性,但體系不具有緊縮規(guī)矩,制止了運(yùn)算資源的可重用性15。另一方面,在bset體系中,本文也沒有思量算子“,其重要緣故原由是bset體系是一個直覺主義邏輯體系,其證實(shí)為布局性證實(shí)。由此,布局一個的信心與布局一個的信心的事情是相似的。3bset體系的語義模子界說4點(diǎn)集與命題14。一個點(diǎn)集p=p,為聚集p及其上的偏序干系。p上的命題集prp(t)為p上的全部向上關(guān)閉的子集x,即假設(shè)xx且xx,那么xx。界說5可達(dá)干系。另一方面,在bset體系中,本文也沒有思量算子“,其重要緣故原由是bset體系是一個直覺主義邏輯體系,其證實(shí)為布局性證實(shí)。由此,布局一個的信心與布局一個的信心的事情是相

12、似的。3bset體系的語義模子界說4點(diǎn)集與命題14。一個點(diǎn)集p=p,為聚集p及其上的偏序干系。p上的命題集prp(t)為p上的全部向上關(guān)閉的子集x,即假設(shè)xx且xx,那么xx。界說5可達(dá)干系。界說7框架賦值。界說8衍推。由此易證得以下定理,限于篇幅證實(shí)從略,有愛好的讀者可以拜見文獻(xiàn)16。4群體信心與群眾信心基于bset體系,易得在群體認(rèn)知中的群體信心“e(everynehasthebelief)與群眾信心“(itisnbeliefthat),對付n個智能體,其界說如下:5竣事語本文針對智能主體的“雙時信心及其形成與表現(xiàn)舉行了相干研究,接納了認(rèn)知時態(tài)子布局邏輯建模的要領(lǐng),表達(dá)了智能主體得到“雙時

13、信心的方法,針對其創(chuàng)立了相應(yīng)的邏輯體系bset。由于bset體系接納的是子布局演算,有用制止了邏輯全知題目,其模子語義與布局性證實(shí)要領(lǐng)較經(jīng)典二值邏輯更細(xì)精度地描畫了信心的形成。參考文獻(xiàn):1史忠植.智能主體及其應(yīng)用.北京:科學(xué)出書社,2000:12-22.2rer.afraltheryfknledgeandatin/fraltheriesfthensenserld.s.l.:ablexpublishingrperatin,1985:319-358.3henpr,entinishieithitentj.artifiialintelligene,1990,42(2-3):

14、213-261.4raas,gergeffp.deliberatinandintentins,tehnialntes10r.s.l.:australianartifiialintelligeneinstitute,1991.5jiaen-ping,shizhng-zhi.fralizingagentsattitudesithplyadi-alulus/prfthe4thrkshpnpratialreasningandratinality.stkhl:s.n.,1999:21-27.6胡山立,石純一.agent意圖的雙子集語義革新模子j.軟件學(xué)報,2022,17(3):396-402.8knli

15、gek,pllake.arepresentatinalisttheryfintentin/prfijai93.1993:390-395.9singhp.ultiagentsystes:atheretialfraerkfrintentins,kn-h,anduniatins/leturentesinartifiialintelligene.s.l.:springer,1994.10nairvp.nextendingbdilgisd.queensland:griffithuniversity,2022.12rafaelhb,ihaelf,illev,etal.verifyingulti-agentprgrasbydelhekingj.jurnalfautnusagentsandulti-agentsystes,2022,12(2):239-256.13rafaelhb,jifh,ihael.prgraingulti-agentsystesinagentspeakusingjasn/s.l.:iley,2022.14restallg.anintrdutintsubstruturallgis.ru