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

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

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

【學位級別】：碩士

【部分圖文】：

①2.2pAL與ETL之間的關系


本文編號：3388427