基于符號模型檢測方法的應(yīng)對規(guī)劃系統(tǒng).pdf

1、學校代碼：幽分類號：!盥研究生學號：密級：⑨東北埽冠大莩碩士學位論文!星Z圣圣Q圣Q壘Z玉Y887307ALdversarialPlanningViaSymbolicModelChecking作者：張新梅指導教師：谷文祥教授學科專業(yè)：計算機應(yīng)用技術(shù)研究方向：智能規(guī)劃與規(guī)劃識別學位類型：學歷碩士東北師范大學學位評定委員會2006年5月AbstractIntelligentplanIlingisanimponaIltfieldinAJhlc

2、IassicalplaIuling，theplanningproblemsmustsatisfythefollowillgass姍ptions：theinitialstateiscompletelyspecified，theef!I’ectsoftheactionaredeterministicandeIⅣimnmentalchangesarecOmpletelypredictableandwenknown，whichmaketlles

3、copeoftheprobIemshandledbytheresultingdassicalplannersVerylimitedTbsolVerealproblems，nowadays，peOplehaVeanachedimpOnancetotheresearchonincompleteiIlf0衄ationanduncertaineffectsThe姍narkablefmitshavebeenmade：theiInprov鋤ents

4、oⅡGraphplaⅡiⅡdudingCGP，SGP，thedifferentdass0funiverSalplanViamodelcheckingMOdelcheckingisafbnnalVerificationbyexhaustiVesearchto血itest砒eautomataAndefficientsearchtechniqueshavebeendevelopedinmodelchcckingPlanningproblems

5、canbetranslatedasfinitestateautomataSoitisnaturalandreaSonablet0applymodelchecl【ingtoplanningproblemDueto1argestatespaceofrealworld，themethodofmodelcheckinghasbmu班tstateexplosionproblemOrderedBiIlaryDecisionDia掣鋤hasbeena

6、ppliedtor印resentf抽itestateautomata，whichisacompactrepresentatiOnOfpropositionalfbmula111isr印resentationcarlsavelargespace，bywllichlargestatespaceproblemscanbes01VedsuccessfullyInthispaper，thetheoryofplanniⅡgViaoBDDbaseds

7、ymb01icmodelcheckingisemployedAndthecontributions盯einthefollowing：AnadversariaIplaⅡningaIgorimmbaSedOnsymbolicmodelcheckingispmposed，whichcombinesbjll—climbinga11dweakuniverSalplanllingalgorithminmodelcheckin舀andsensesth

8、ebehaviorofeⅡviro砌entagentsbymeallsofsensingactionsAnadversarialplallningsystemhasbeendevelopedbasedonUMOP，inwrhichheuristicsearchstrategyis叩pliedtOspeeduptheproblemsolVing；NADLd帆ailldescriptioⅡIanguageisapplied，whichhas

9、powerfIllexpressivenessandcanhandleⅡondeterⅡlinisticandmultiagentdomains；thesystemcansolvecomplexadVersarialplaIlllillgprOblems，hence，ithaswideapplicationinrealityKeywOrds：IIltclligentPlanning，ModelCheckmg，AdversarialPla