模糊推理及態(tài)勢評估研究.pdf

1、模糊推理和態(tài)勢評估分別是模糊控制和高層次信息融合的核心內(nèi)容,也是人工智能研究的關(guān)鍵理論和技術(shù).本文對戰(zhàn)術(shù)態(tài)勢評估的理論和模型以及模糊邏輯系統(tǒng)的構(gòu)造及其完備性進(jìn)行了研究,主要工作概括如下:第二章介紹了Endsley的態(tài)勢覺察模型,提出了用模糊推理對其中的態(tài)勢理解部分進(jìn)行建模的思想,通過建立飛行員評估飛行姿態(tài)的模糊推理模型,說明了用模糊推理建立態(tài)勢理解模型的典型過程,最后給出了一些演示性結(jié)果.第三章介紹了貝葉斯網(wǎng)絡(luò)的思想、算法和應(yīng)用,研究了

2、空-地戰(zhàn)中用于態(tài)勢評估的貝葉斯網(wǎng)絡(luò)模型,并運(yùn)用所建立的網(wǎng)絡(luò)動(dòng)態(tài)演示了在空-地戰(zhàn)中態(tài)勢評估的內(nèi)容和結(jié)果,最后討論了運(yùn)用貝葉斯網(wǎng)絡(luò)建立戰(zhàn)術(shù)態(tài)勢評估模型的若干問題.第四章討論了戰(zhàn)術(shù)態(tài)勢評估與計(jì)劃識(shí)別的關(guān)系,介紹了STRIPS系統(tǒng)中的知識(shí)表示和推理機(jī)制,提出一種集成了智能規(guī)劃器的戰(zhàn)術(shù)計(jì)劃識(shí)別模型,并給出了一個(gè)詳細(xì)的戰(zhàn)術(shù)計(jì)劃識(shí)別的實(shí)例.第五章基于智能路徑規(guī)劃理論建立了一種戰(zhàn)術(shù)計(jì)劃識(shí)別模型.通過在規(guī)劃敵軍的行軍路線前假設(shè)出敵軍對我情的判斷情況,該模

3、型能夠判斷敵軍的作戰(zhàn)企圖,識(shí)別敵軍的行軍路線,估測敵軍的弱點(diǎn),并能向指揮員提示克敵制勝的建議.第六章引入一種F.Esteva和L.Godo的IMTL系統(tǒng)的模式擴(kuò)張NML.基于S.Jenei提出的一類左連續(xù)但不連續(xù)的三角模,給出了NML的標(biāo)準(zhǔn)語義并證明了它的標(biāo)準(zhǔn)完備性定理.最后指出在NML和NM中的取大和取小算子可以用否定和蘊(yùn)含算子表示出來,這一結(jié)果改進(jìn)了F.Esteva和LGodo的NM系統(tǒng).第七章引入一種新的模糊邏輯系統(tǒng)NMG并證明了

4、它的命題系統(tǒng)和謂詞系統(tǒng)都具有標(biāo)準(zhǔn)完備性.在所有基于剩余格的模糊邏輯系統(tǒng)中,目前命題和謂詞演算都具有標(biāo)準(zhǔn)完備性的只有NM,NMG,G<'..>odel以及MTL等系統(tǒng).第八章通過在n維單位區(qū)間[0,1]<'n>上引入一種新的分劃方法,解決了修正的Kleene系統(tǒng)中模糊邏輯函數(shù)的特征刻畫問題并給出了該函數(shù)類的范式.這一結(jié)果為許多有關(guān)修正的Kleene系統(tǒng)的理論和應(yīng)用問題的研究奠定了基礎(chǔ),比如模糊自動(dòng)推理,公式可滿足性的判定,完備性定理的幾何