海南师范大学学报（自然科学版）
海南師範大學學報（自然科學版）
해남사범대학학보（자연과학판）
JOURNAL OF HAINAN NORMAL UNIVERSITY(NATURAL SCIENCE)
2008年
4期
385-388
,共4页
赖贤伟%胡山立%宁正元%王秀丽
賴賢偉%鬍山立%寧正元%王秀麗
뢰현위%호산립%저정원%왕수려
交互时态逻辑%并发博弈结构%信念
交互時態邏輯%併髮博弈結構%信唸
교호시태라집%병발박혁결구%신념
前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
前期工作交互時態信唸邏輯ATBL僅在二值語義下刻畫瞭三種信唸算子,沒有探?討它們的模糊語義問題.利用可信度函數給齣模糊併髮博弈結構,以模態算子的形式在ATL的語法層麵給齣瞭三種模糊信唸算子,在模糊併髮博弈結構下給齣其語義,建立瞭模糊交互時態信唸邏輯FATBL,使得ATBL成為FATBL的特殊情況.對Agent認知形式化作瞭進一步探索,為多Agent繫統研究提供瞭一箇較好的形式化工具.
전기공작교호시태신념라집ATBL부재이치어의하각화료삼충신념산자,몰유탐?토타문적모호어의문제.이용가신도함수급출모호병발박혁결구,이모태산자적형식재ATL적어법층면급출료삼충모호신념산자,재모호병발박혁결구하급출기어의,건립료모호교호시태신념라집FATBL,사득ATBL성위FATBL적특수정황.대Agent인지형식화작료진일보탐색,위다Agent계통연구제공료일개교호적형식화공구.
