广西师范大学学报（自然科学版）
廣西師範大學學報（自然科學版）
엄서사범대학학보（자연과학판）
JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2008年
1期
154-157
,共4页
王秀丽%宁正元%胡山立%赖贤伟
王秀麗%寧正元%鬍山立%賴賢偉
왕수려%저정원%호산립%뢰현위
交互时态逻辑%并发博弈结构%已映射模糊并发博弈结构%可能性分布%表达力
交互時態邏輯%併髮博弈結構%已映射模糊併髮博弈結構%可能性分佈%錶達力
교호시태라집%병발박혁결구%이영사모호병발박혁결구%가능성분포%표체력
Alur等人建立的交互时态逻辑(ATL,*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL *)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画.通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL *),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL * 的表达力比ATL *强.
Alur等人建立的交互時態邏輯(ATL,*)是一種重要的多Agent閤作邏輯,它對計算樹邏輯(CTL *)進行瞭閤作算子拓展,然而它缺乏對不確定時態信息的刻畫.通過攷察模糊時態事件和模糊時態狀態、描述相對時間來改進併髮博弈結構,併給齣模糊併髮博弈結構;把模糊併髮博弈結構的若榦要件從相對時間域到絕對時間域進行映射,給齣已映射模糊併髮博弈結構;建立瞭模糊交互時態邏輯(FATL *),給齣其語法,在已映射模糊併髮博弈結構下給齣其語義;闡述瞭FATL * 的錶達力比ATL *彊.
Alur등인건립적교호시태라집(ATL,*)시일충중요적다Agent합작라집,타대계산수라집(CTL *)진행료합작산자탁전,연이타결핍대불학정시태신식적각화.통과고찰모호시태사건화모호시태상태、묘술상대시간래개진병발박혁결구,병급출모호병발박혁결구;파모호병발박혁결구적약간요건종상대시간역도절대시간역진행영사,급출이영사모호병발박혁결구;건립료모호교호시태라집(FATL *),급출기어법,재이영사모호병발박혁결구하급출기어의;천술료FATL * 적표체력비ATL *강.
