南京大学学报（自然科学版）
南京大學學報（自然科學版）
남경대학학보（자연과학판）
JOURNAL OF NANJING UNIVERSITY(NATURAL SCIENCES)
2008年
2期
171-178
,共8页
交互时态逻辑%并发博弈结构%模型检测%知识%信念
交互時態邏輯%併髮博弈結構%模型檢測%知識%信唸
교호시태라집%병발박혁결구%모형검측%지식%신념
交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
交互時態認知邏輯(ATEL)是對交互時態邏輯(ATL)的擴展,但是它隻刻畫瞭知識,沒有探討信唸的刻畫問題.給齣廣義併髮博弈結構,以模態算子的形式在ATL的語法層麵給齣瞭三種信唸算子,在廣義併髮博弈結構下給齣其語義,建立瞭交互時態信唸邏輯(ATBL).給齣一箇多項式時間模型檢測算法,併證明瞭ATBL的模型檢測複雜度為PTIME-complete;給齣併證明瞭ATBL的若榦良好性質,比較瞭相關工作.對Agent認知形式化作瞭進一步探索,為多Agent繫統研究提供瞭一箇較好的形式化工具.
교호시태인지라집(ATEL)시대교호시태라집(ATL)적확전,단시타지각화료지식,몰유탐토신념적각화문제.급출엄의병발박혁결구,이모태산자적형식재ATL적어법층면급출료삼충신념산자,재엄의병발박혁결구하급출기어의,건립료교호시태신념라집(ATBL).급출일개다항식시간모형검측산법,병증명료ATBL적모형검측복잡도위PTIME-complete;급출병증명료ATBL적약간량호성질,비교료상관공작.대Agent인지형식화작료진일보탐색,위다Agent계통연구제공료일개교호적형식화공구.
