天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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| 欧美一区日韩一区日韩一区| 国产成人免费高潮激情电| 婷婷激情四射在线观看视频| 初尝人妻少妇中文字幕在线| 青青操在线视频精品视频| 日本高清不卡在线一区| 亚洲内射人妻一区二区| 欧美日韩亚洲国产精品| 黄色在线免费高清观看| 久久精品免费视看国产成人| 亚洲熟女一区二区三四区| 国产男女激情在线视频| 日韩人妻一区中文字幕| 国产欧洲亚洲日产一区二区| 翘臀少妇成人一区二区| 亚洲第一视频少妇人妻系列 | 午夜久久久精品国产精品| 日韩成人h视频在线观看| 殴美女美女大码性淫生活在线播放 | 在线观看免费无遮挡大尺度视频 | 国产精品免费不卡视频| 日本在线视频播放91| 亚洲男人的天堂久久a| 亚洲国产成人精品一区刚刚| 国产欧美日产久久婷婷| 午夜精品福利视频观看| 日韩精品毛片视频免费看| 日韩国产精品激情一区| 中文字幕日韩一区二区不卡| 国产精品涩涩成人一区二区三区| 97精品人妻一区二区三区麻豆| 中文字幕亚洲精品乱码加勒比| 五月婷日韩中文字幕四虎| 欧美同性视频免费观看| 亚洲精品中文字幕无限乱码| 麻豆印象传媒在线观看| 99久久精品午夜一区二| 老司机精品一区二区三区| 国产成人亚洲综合色就色| 亚洲中文字幕视频在线观看|