天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

時(shí)態(tài)公開宣告邏輯初探

發(fā)布時(shí)間:2021-09-06 23:50
  在描述多主體間相互作用的過程中,公開宣告邏輯關(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í)別】:碩士

【部分圖文】:

時(shí)態(tài)公開宣告邏輯初探


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


本文編號(hào):3388427

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/3388427.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶e4380***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
亚洲专区中文字幕视频| 国产伦精品一区二区三区精品视频| 国产免费自拍黄片免费看| 精品高清美女精品国产区| 日韩国产亚洲欧美另类| 欧美极品欧美精品欧美| 国产一区一一一区麻豆| 日韩精品少妇人妻一区二区| 中文字幕人妻日本一区二区 | 国产成人精品午夜福利av免费| 色婷婷激情五月天丁香| 五月婷日韩中文字幕四虎| 丝袜诱惑一区二区三区| 欧美六区视频在线观看| 五月婷婷六月丁香在线观看| 精品欧美国产一二三区| 都市激情小说在线一区二区三区| 欧美日韩国产一级91| 亚洲欧美黑人一区二区| 国产又粗又猛又黄又爽视频免费| 最新69国产精品视频| 国产日韩欧美在线播放| 99久久精品视频一区二区| 精品国产亚洲区久久露脸| 国产亚洲精品久久99| 高清亚洲精品中文字幕乱码| 91天堂素人精品系列全集| 亚洲国产av精品一区二区| 夫妻性生活真人动作视频 | 国产成人综合亚洲欧美日韩| 伊人天堂午夜精品草草网| 国产一级内片内射免费看| 久久亚洲精品中文字幕| 亚洲午夜福利不卡片在线| 成人精品亚洲欧美日韩| 久久精品久久久精品久久| 久久精品国产一区久久久| 欧美字幕一区二区三区| 精品久久综合日本欧美| 欧美二区视频在线观看| 国产亚洲精品一二三区|