基于符號(hào)模型檢測(cè)方法的應(yīng)對(duì)規(guī)劃系統(tǒng).pdf

1、學(xué)校代碼：幽分類號(hào)：!盥研究生學(xué)號(hào)：密級(jí)：⑨東北埽冠大莩碩士學(xué)位論文!星Z圣圣Q圣Q壘Z玉Y887307ALdversarialPlanningViaSymbolicModelChecking作者：張新梅指導(dǎo)教師：谷文祥教授學(xué)科專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)研究方向：智能規(guī)劃與規(guī)劃識(shí)別學(xué)位類型：學(xué)歷碩士東北師范大學(xué)學(xué)位評(píng)定委員會(huì)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