版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、西南大學(xué)碩士學(xué)位論文時(shí)態(tài)公開宣告邏輯初探姓名:張麗申請學(xué)位級別:碩士專業(yè):邏輯學(xué)指導(dǎo)教師:唐曉嘉20090501兩南大學(xué)碩十學(xué)位論文 A b s 仃a c tA P r e l i m i n a r yS t u d y o n T e m p o r a l P u b l i cA n n o u n c e m e n t L o g i cM a j o r :L o g i c A u t h o r :Z h a n g
2、L iS u p e r v i s o r :P r o f e s s o r X i a o j i aT a n gA b s t r a c tI nd e s c r i b i n gm u t i - a g e n ti n t e l l i g e n t i n t e r a c t i o n ,p u b i ca n n o u n c e m e n tl o g i c ( P A L ) c o n
3、 c e r n s h o wa g e n t s ’e p i s t e m i cs t a t e sc h a n g ew h e nt r u ei n f o r m a t i o mi s p u b l i c l ya n n o u n c e d .E p i s t e m i ct e m p o r a ll o g i c ( E T L ) c o n c e r n sw h a ti n f
4、 o r m a t i o n e v e n t sc a nt a k ep l a c ei n t h ec o u r s eo f a g e n t s ’i n t e r a c t i o n .I nt h i s t h e s i s ,a l o g i c s y s t e mw i l l b ed i s c u s s e d - - - - - t e m p o r a l p u b i c
5、 a n n o u n c e m e n tl o g i c ,w h i c hC a nc a p t u r eb o t ht w o i m p o r t a n t i n g r e d i e n t sa n d m e r g e st h es e m a n t i cf r a m e w o r k o f p u b i ca n n o u n c e m e n tl o g i ca n d
6、e p i s t e m i ct e m p o r a l l o g i c .P a r to n e :P u b i ca n n o u n c e m e n tl o g i c ,t h ep r i m ee x a m p l e o fd y n a m i c e p i s t e m i cl o g i c ( D E L ) ,d e s c r i b e sh o wa g e n t s ’e
7、 p i s t e m i c s t a t e s c h a n g e w h e n t r u e i n f o r m a t i o m i s p u b l i c l y a n n o u n c e d .S e q u e n t i a l l y , e p i s t e m i c t e m p o r a l l o g i c d e s c r i b e s h o wk n o w l
8、 e d g ee v o l v e s o v e rt i m e i n s o m ei n f o r m a t i o n a l p r o c e s s a n dc a n s t r a i g h t f o r w a r d l y c a p t u r e r e l a t i v e c o m m u n i c a t i o nc o n s t r a i n t s i nv a r i
9、 o u ss i t u a t i o n s .P a r t t w o :F i r s t l y , w ei n 仃o d u c eh o w c a i lg e n e r a t e E T L —m o d e l sf r o mP A L a n ds u p p o r taf e we x a m p l e s .S e c o n d l y , w ed i s c u s st h e r e
10、l a t i o nb e t w e e nP A L a n dE T L .N o ta l l E T L m o d e l sC a nb eg e n e r a t e db y aP A Lp r o t o c 0 1 .I nf a c t ,s u c h g e n e r a t e d E T L - m o d e l sh a v ean u m b l e o fs p e c i a lp r o
11、 p e r t i e s .P a r tt h r e e :T e m p o r a l p u b i ca n n o u n c e m e n t l o g i cw h i c h m e r g e st h es e m a n t i cf r a m e w o r k o f p u b i ca n n o u n c e m e n tl o g i ca n de p i s t e m i ct
12、e m p o r a ll o g i c a n da s s i g n s t o e a c h s t a t ei n ag i v e ne p i s t e m i cm o d e l as e to fs e q u e n c e so f p u b i ca n n o u n c e m e n t s .B u t ,T P A LC a n ’tr e d u c e t oP A L .S o ,t
13、 h ep r o o f o fc o m p l e t e n e s si s av a r i a n to f t h e s t a n d a r dH e n k i nc o n s t r u c t i o n .T h er e l a t i o nb e t w e e nT P A L a n d P A Li s n o t i m m e d i a t e l y .P a r tf o u r :
14、Ic o m m e n t o n t h eT P A L ,a n d g i v e s o m e p r o b l e m sf o rf u r t h e rr e s e a r c hi nt h e f u t u r e .K e y w o r d s :p u b i c a n n o u n c e m e n t l o g i c e p i s t e m i c t e m p o r a ll
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 時(shí)態(tài)公開宣告邏輯初探.pdf
- 群體宣告邏輯研究
- 群體宣告邏輯研究.pdf
- 基于時(shí)態(tài)邏輯的象形對象的研究.pdf
- 模型檢測時(shí)態(tài)知識邏輯及其應(yīng)用.pdf
- Web服務(wù)線性時(shí)態(tài)邏輯模型檢查研究.pdf
- 動(dòng)態(tài)認(rèn)知邏輯發(fā)展初探
- 概率動(dòng)態(tài)認(rèn)知邏輯初探
- 公開更新邏輯.pdf
- 梁啟超墨家邏輯研究初探
- 基于時(shí)態(tài)邏輯的UML交互模型檢測研究.pdf
- 基于時(shí)態(tài)描述邏輯的語義物聯(lián)網(wǎng)服務(wù)驗(yàn)證
- 智能主體的信念認(rèn)知時(shí)態(tài)子結(jié)構(gòu)邏輯模型
- 時(shí)態(tài)描述邏輯DL-LiteLTL模型檢測研究.pdf
- 基于時(shí)態(tài)認(rèn)知邏輯的Web服務(wù)模型檢測.pdf
- 基于SystemC的時(shí)態(tài)邏輯屬性驗(yàn)證方法研究.pdf
- 基于描述邏輯的時(shí)態(tài)擴(kuò)充研究及應(yīng)用.pdf
- 概率時(shí)態(tài)知識邏輯的符號模型檢測研究.pdf
- 論宣告失蹤與宣告死亡制度.pdf
- 宣告失蹤與宣告死亡整合之我見
評論
0/150
提交評論