在描述多主體間相互作用的過程中,公開宣告邏輯關(guān)注于在公開宣告發(fā)生后主體的認(rèn)知狀態(tài)如何改變;認(rèn)知時(shí)態(tài)邏輯關(guān)注于在主體的相互作用中能夠發(fā)生哪些信息事件。本文旨在討論一個(gè)能刻畫這兩個(gè)方面的時(shí)態(tài)公開宣告邏輯系統(tǒng)TPAL,TPAL是結(jié)合公開宣告邏輯和認(rèn)知時(shí)態(tài)邏輯而形成的邏輯系統(tǒng)。第一部分:首先討論了公開宣告邏輯系統(tǒng)PAL,該系統(tǒng)是動(dòng)態(tài)認(rèn)知邏輯系統(tǒng)DEL的一種特殊情況,它能夠刻畫在公開宣告這種行為發(fā)生之后主體知識(shí)的變化。接著,討論了認(rèn)知時(shí)態(tài)邏輯系統(tǒng)ETL,該系統(tǒng)能夠描述在一些信息化的過程中知識(shí)在時(shí)間進(jìn)程上如何發(fā)展,能夠?qū)Σ煌榫爸械南嚓P(guān)交流限制給出刻畫。第二部分:首先在這部分討論了如何從PAL生成ETL-模型,并給出實(shí)例予以說明。接著,討論了PAL與ETL之間的關(guān)系,PAL協(xié)議并不能生成所有的認(rèn)知模型。實(shí)際上,這種ETL模型具有一些特殊的性質(zhì),并得出一個(gè)典型的定理。第三部分:結(jié)合公開宣告邏輯系統(tǒng)和認(rèn)知時(shí)態(tài)邏輯系統(tǒng),將認(rèn)知模型中的認(rèn)知狀態(tài)指派為公開宣告序列集,以討論時(shí)態(tài)公開宣告邏輯系統(tǒng)TPAL。但是,TPAL并不能歸約到PAL中,因此采用Henkin方法證明該系統(tǒng)是完全的。TPAL與PAL之間的關(guān)系... 

【文章來源】：西南大學(xué)重慶市 211工程院校 教育部直屬院校

【文章頁數(shù)】：32 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

①2.2pAL與ETL之間的關(guān)系


本文編號(hào)：3388427