广西师范大学学报（自然科学版）
廣西師範大學學報（自然科學版）
엄서사범대학학보（자연과학판）
JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2008年
1期
150-153
,共4页
林运国%陈晓云%胡山立%陈莉
林運國%陳曉雲%鬍山立%陳莉
림운국%진효운%호산립%진리
多Agent系统%信念逻辑%Kripke语义%广义Aumann语义%模糊概率
多Agent繫統%信唸邏輯%Kripke語義%廣義Aumann語義%模糊概率
다Agent계통%신념라집%Kripke어의%엄의Aumann어의%모호개솔
在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}.基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1].在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑.在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性.
在經典信唸形式化研究中,信唸在某一可能世界中的真值取值範圍是{0,1}.基于新模糊集閤論給齣信唸真值的模糊真值計算方法,將信唸的真值取值範圍推廣到[0,1].在這樣模糊邏輯框架下,將廣義概率Aumann語義推廣到廣義模糊概率Aumann語義,從而建立多Agent模糊概率信唸邏輯.在該邏輯中,給齣多Agent模糊概率信唸邏輯的語法和語義,併且證明瞭該邏輯繫統的可靠性.
재경전신념형식화연구중,신념재모일가능세계중적진치취치범위시{0,1}.기우신모호집합론급출신념진치적모호진치계산방법,장신념적진치취치범위추엄도[0,1].재저양모호라집광가하,장엄의개솔Aumann어의추엄도엄의모호개솔Aumann어의,종이건립다Agent모호개솔신념라집.재해라집중,급출다Agent모호개솔신념라집적어법화어의,병차증명료해라집계통적가고성.
