nodegraphsearch
graphsearch 时间:2021-05-25 阅读:()
CS347–IntroductiontoArtificialIntelligenceDr.
DanielTauritz(Dr.
T)DepartmentofComputerSciencetauritzd@mst.
eduhttp://web.
mst.
edu/~tauritzd/CS347coursewebsite:http://web.
mst.
edu/~tauritzd/courses/cs347/WhatisAISystemsthat…actlikehumans(TuringTest)thinklikehumansthinkrationallyactrationallyPlayUltimatumGameKeyhistoricaleventsforAI4thcenturyBCAristotlepropositionallogic1600'sDescartesmind-bodyconnection1805FirstprogrammablemachineMid1800'sCharlesBabbage's"differenceengine"&"analyticalengine"LadyLovelace'sObjection1847GeorgeBoolepropositionallogic1879GottlobFregepredicatelogicKeyhistoricaleventsforAI1931KurtGodel:IncompletenessTheoremInanylanguageexpressiveenoughtodescribenaturalnumberproperties,thereareundecidable(incomputable)truestatements1943McCulloch&Pitts:NeuralComputation1956Term"AI"coined1976Newell&Simon's"PhysicalSymbolSystemHypothesis"Aphysicalsymbolsystemhasthenecessaryandsufficientmeansforgeneralintelligentaction.
HowdifficultisittoachieveAIThreeSistersPuzzleRationalAgentsEnvironmentSensors(percepts)Actuators(actions)AgentFunctionAgentProgramPerformanceMeasuresRationalBehaviorDependson:Agent'sperformancemeasureAgent'spriorknowledgePossibleperceptsandactionsAgent'sperceptsequenceRationalAgentDefinition"Foreachpossibleperceptsequence,arationalagentselectsanactionthatisexpectedtomaximizeitsperformancemeasure,giventheevidenceprovidedbytheperceptsequenceandanypriorknowledgetheagenthas.
"TaskEnvironmentsPEASdescription&properties:Fully/PartiallyObservableDeterministic,Stochastic,StrategicEpisodic,SequentialStatic,Dynamic,Semi-dynamicDiscrete,ContinuousSingleagent,MultiagentCompetitive,CooperativeProblem-solvingagentsAdefinition:Problem-solvingagentsaregoalbasedagentsthatdecidewhattodobasedonanactionsequenceleadingtoagoalstate.
Problem-solvingstepsProblem-formulation(actions&states)Goal-formulation(states)Search(actionsequences)ExecutesolutionWell-definedproblemsInitialstateActionsetTransitionmodel:RESULT(s,a)GoaltestPathcostSolution/optimalsolutionExampleproblemsVacuumworldTic-tac-toe8-puzzle8-queensproblemSearchtreesRootcorrespondswithinitialstateVacuumstatespacevs.
searchtreeSearchalgorithmsiteratethroughgoaltestingandexpandingastateuntilgoalfoundOrderofstateexpansioniscritical!
Searchnodedatastructuren.
STATEn.
PARENT-NODEn.
ACTIONn.
PATH-COSTStatesareNOTsearchnodes!
FrontierFrontier=SetofleafnodesImplementedasaqueuewithops:EMPTY(queue)POP(queue)INSERT(element,queue)Queuetypes:FIFO,LIFO(stack),andpriorityqueueProblem-solvingperformanceCompletenessOptimalityTimecomplexitySpacecomplexityComplexityinAIb–branchingfactord–depthofshallowestgoalnodem–maxpathlengthinstatespaceTimecomplexity:#generatednodesSpacecomplexity:max#nodesstoredSearchcost:time+spacecomplexityTotalcost:search+pathcostTreeSearchBreadthFirstTreeSearch(BFTS)UniformCostTreeSearch(UCTS)Depth-FirstTreeSearch(DFTS)Depth-LimitedTreeSearch(DLTS)Iterative-DeepeningDepth-FirstTreeSearch(ID-DFTS)Examplestatespace#1BreadthFirstTreeSearch(BFTS)Frontier:FIFOqueueComplete:ifbanddarefiniteOptimal:ifpath-costisnon-decreasingfunctionofdepthTimecomplexity:O(b^d)Spacecomplexity:O(b^d)UniformCostTreeSearch(UCTS)Frontier:priorityqueueorderedbyg(n)DepthFirstTreeSearch(DFTS)Frontier:LIFOqueue(a.
k.
a.
stack)Complete:noOptimal:noTimecomplexity:O(bm)Spacecomplexity:O(bm)BacktrackingversionofDFTShasaspacecomplexityof:O(m)Depth-LimitedTreeSearch(DLTS)Frontier:LIFOqueue(a.
k.
a.
stack)Complete:notwhenl=βPruneiffail-lowforMin-playerPruneiffail-highforMax-playerDLMw/Alpha-BetaPruningTimeComplexityWorst-case:O(bd)Best-case:O(bd/2)[Knuth&Moore,1975]Average-case:O(b3d/4)MoveOrderingHeuristicsKnowledgebasedKillerMove:thelastmoveatagivendepththatcausedAB-pruningorhadbestminimaxvalueHistoryTableExamplegametreeExamplegametreeSearchDepthHeuristicsTimebased/StatebasedHorizonEffect:thephenomenonofdecidingonanon-optimalprincipalvariantbecauseanultimatelyunavoidabledamagingmoveseemstobeavoidedbyblockingittillpassedthesearchdepthSingularExtensions/QuiescenceSearchTimePerMoveConstantPercentageofremainingtimeStatedependentHybridQuiescenceSearchWhensearchdepthreached,computequiescencestateevaluationheuristicIfstatequiescent,thenproceedasusual;otherwiseincreasesearchdepthifquiescencesearchdepthnotyetreachedCallformat:QSDLM(root,depth,QSdepth),QSABDLM(root,depth,QSdepth,α,β),etc.
QSgametreeEx.
1QSgametreeEx.
2ForwardpruningBeamSearch(nbestmoves)ProbCut(forwardpruningversionofalpha-betapruning)TranspositionTables(1)HashtableofpreviouslycalculatedstateevaluationheuristicvaluesSpeedupisparticularlyhugeforiterativedeepeningsearchalgorithms!
GoodforchessbecauseoftenrepeatedstatesinsamesearchTranspositionTables(2)Datastructure:HashtableindexedbypositionElement:StateevaluationheuristicvalueSearchdepthofstoredvalueHashkeyofposition(toeliminatecollisions)(optional)BestmovefrompositionTranspositionTables(3)ZobristhashkeyGenerate3d-arrayofrandom64-bitnumbers(piecetype,locationandcolor)Startwitha64-bithashkeyinitializedto0Loopthroughcurrentposition,XOR'inghashkeywithZobristvalueofeachpiecefound(note:onceakeyhasbeenfound,useanincrementalapporachthatXOR'sthe"from"locationandthe"to"locationtomoveapiece)MTD(f)MTDf(root,guess,depth){lower=-∞;upper=∞;do{beta=guess+(guess==lower);guess=ABMaxV(root,depth,beta-1,beta);if(guessExtendedFutilityPruningRazoringState-SpaceSearchComplete-stateformulationObjectivefunctionGlobaloptimaLocaloptima(don'tusetextbook'sdefinition!
)Ridges,plateaus,andshouldersRandomsearchandlocalsearchSteepest-AscentHill-ClimbingGreedyAlgorithm-makeslocallyoptimalchoicesExample8queensproblemhas88≈17MstatesSAHCfindsglobaloptimumfor14%ofinstancesinonaverage4steps(3stepswhenstuck)SAHCw/upto100consecutivesidewaysmoves,findsglobaloptimumfor94%ofinstancesinonaverage21steps(64stepswhenstuck)StochasticHill-ClimbingChoosesatrandomfromamonguphillmovesProbabilityofselectioncanvarywiththesteepnessoftheuphillmoveOnaverageslowerconvergence,butalsolesschanceofprematureconvergenceMoreLocalSearchAlgorithmsFirst-choicehill-climbingRandom-restarthill-climbingSimulatedAnnealingPopulationBasedLocalSearchDeterministiclocalbeamsearchStochasticlocalbeamsearchEvolutionaryAlgorithmsParticleSwarmOptimizationAntColonyOptimizationParticleSwarmOptimizationPSOisastochasticpopulation-basedoptimizationtechniquewhichassignsvelocitiestopopulationmembersencodingtrialsolutionsPSOupdaterules:PSOdemo:http://www.
borgelt.
net//psopt.
htmlAntColonyOptimizationPopulationbasedPheromonetrailandstigmergeticcommunicationShortestpathsearchingStochasticmovesOnlineSearchOfflinesearchvs.
onlinesearchInterleavingcomputation&actionExplorationproblems,safelyexplorableAgentshaveaccessto:ACTIONS(s)c(s,a,s')GOAL-TEST(s)OnlineSearchOptimalityCR–CompetitiveRatioTAPC–TotalActualPathCostC*-OptimalPathCostBestcase:CR=1Worstcase:CR=∞OnlineSearchAlgorithmsOnline-DFS-AgentRandomWalkLearningReal-TimeA*(LRTA*)OnlineSearchExampleGraph1OnlineSearchExampleGraph2OnlineSearchExampleGraph3AIcoursesatS&TCS345ComputationalRoboticManipulation(SP2012)CS347IntroductiontoArtificialIntelligence(SP2012)CS348EvolutionaryComputing(FS2011)CS434DataMining&KnowledgeDiscovery(FS2011)CS447AdvancedTopicsinAI(SP2013)CS448AdvancedEvolutionaryComputing(SP2012)CpE358ComputationalIntelligence(FS2011)SysEng378IntrotoNeuralNetworks&Applications
DanielTauritz(Dr.
T)DepartmentofComputerSciencetauritzd@mst.
eduhttp://web.
mst.
edu/~tauritzd/CS347coursewebsite:http://web.
mst.
edu/~tauritzd/courses/cs347/WhatisAISystemsthat…actlikehumans(TuringTest)thinklikehumansthinkrationallyactrationallyPlayUltimatumGameKeyhistoricaleventsforAI4thcenturyBCAristotlepropositionallogic1600'sDescartesmind-bodyconnection1805FirstprogrammablemachineMid1800'sCharlesBabbage's"differenceengine"&"analyticalengine"LadyLovelace'sObjection1847GeorgeBoolepropositionallogic1879GottlobFregepredicatelogicKeyhistoricaleventsforAI1931KurtGodel:IncompletenessTheoremInanylanguageexpressiveenoughtodescribenaturalnumberproperties,thereareundecidable(incomputable)truestatements1943McCulloch&Pitts:NeuralComputation1956Term"AI"coined1976Newell&Simon's"PhysicalSymbolSystemHypothesis"Aphysicalsymbolsystemhasthenecessaryandsufficientmeansforgeneralintelligentaction.
HowdifficultisittoachieveAIThreeSistersPuzzleRationalAgentsEnvironmentSensors(percepts)Actuators(actions)AgentFunctionAgentProgramPerformanceMeasuresRationalBehaviorDependson:Agent'sperformancemeasureAgent'spriorknowledgePossibleperceptsandactionsAgent'sperceptsequenceRationalAgentDefinition"Foreachpossibleperceptsequence,arationalagentselectsanactionthatisexpectedtomaximizeitsperformancemeasure,giventheevidenceprovidedbytheperceptsequenceandanypriorknowledgetheagenthas.
"TaskEnvironmentsPEASdescription&properties:Fully/PartiallyObservableDeterministic,Stochastic,StrategicEpisodic,SequentialStatic,Dynamic,Semi-dynamicDiscrete,ContinuousSingleagent,MultiagentCompetitive,CooperativeProblem-solvingagentsAdefinition:Problem-solvingagentsaregoalbasedagentsthatdecidewhattodobasedonanactionsequenceleadingtoagoalstate.
Problem-solvingstepsProblem-formulation(actions&states)Goal-formulation(states)Search(actionsequences)ExecutesolutionWell-definedproblemsInitialstateActionsetTransitionmodel:RESULT(s,a)GoaltestPathcostSolution/optimalsolutionExampleproblemsVacuumworldTic-tac-toe8-puzzle8-queensproblemSearchtreesRootcorrespondswithinitialstateVacuumstatespacevs.
searchtreeSearchalgorithmsiteratethroughgoaltestingandexpandingastateuntilgoalfoundOrderofstateexpansioniscritical!
Searchnodedatastructuren.
STATEn.
PARENT-NODEn.
ACTIONn.
PATH-COSTStatesareNOTsearchnodes!
FrontierFrontier=SetofleafnodesImplementedasaqueuewithops:EMPTY(queue)POP(queue)INSERT(element,queue)Queuetypes:FIFO,LIFO(stack),andpriorityqueueProblem-solvingperformanceCompletenessOptimalityTimecomplexitySpacecomplexityComplexityinAIb–branchingfactord–depthofshallowestgoalnodem–maxpathlengthinstatespaceTimecomplexity:#generatednodesSpacecomplexity:max#nodesstoredSearchcost:time+spacecomplexityTotalcost:search+pathcostTreeSearchBreadthFirstTreeSearch(BFTS)UniformCostTreeSearch(UCTS)Depth-FirstTreeSearch(DFTS)Depth-LimitedTreeSearch(DLTS)Iterative-DeepeningDepth-FirstTreeSearch(ID-DFTS)Examplestatespace#1BreadthFirstTreeSearch(BFTS)Frontier:FIFOqueueComplete:ifbanddarefiniteOptimal:ifpath-costisnon-decreasingfunctionofdepthTimecomplexity:O(b^d)Spacecomplexity:O(b^d)UniformCostTreeSearch(UCTS)Frontier:priorityqueueorderedbyg(n)DepthFirstTreeSearch(DFTS)Frontier:LIFOqueue(a.
k.
a.
stack)Complete:noOptimal:noTimecomplexity:O(bm)Spacecomplexity:O(bm)BacktrackingversionofDFTShasaspacecomplexityof:O(m)Depth-LimitedTreeSearch(DLTS)Frontier:LIFOqueue(a.
k.
a.
stack)Complete:notwhenl=βPruneiffail-lowforMin-playerPruneiffail-highforMax-playerDLMw/Alpha-BetaPruningTimeComplexityWorst-case:O(bd)Best-case:O(bd/2)[Knuth&Moore,1975]Average-case:O(b3d/4)MoveOrderingHeuristicsKnowledgebasedKillerMove:thelastmoveatagivendepththatcausedAB-pruningorhadbestminimaxvalueHistoryTableExamplegametreeExamplegametreeSearchDepthHeuristicsTimebased/StatebasedHorizonEffect:thephenomenonofdecidingonanon-optimalprincipalvariantbecauseanultimatelyunavoidabledamagingmoveseemstobeavoidedbyblockingittillpassedthesearchdepthSingularExtensions/QuiescenceSearchTimePerMoveConstantPercentageofremainingtimeStatedependentHybridQuiescenceSearchWhensearchdepthreached,computequiescencestateevaluationheuristicIfstatequiescent,thenproceedasusual;otherwiseincreasesearchdepthifquiescencesearchdepthnotyetreachedCallformat:QSDLM(root,depth,QSdepth),QSABDLM(root,depth,QSdepth,α,β),etc.
QSgametreeEx.
1QSgametreeEx.
2ForwardpruningBeamSearch(nbestmoves)ProbCut(forwardpruningversionofalpha-betapruning)TranspositionTables(1)HashtableofpreviouslycalculatedstateevaluationheuristicvaluesSpeedupisparticularlyhugeforiterativedeepeningsearchalgorithms!
GoodforchessbecauseoftenrepeatedstatesinsamesearchTranspositionTables(2)Datastructure:HashtableindexedbypositionElement:StateevaluationheuristicvalueSearchdepthofstoredvalueHashkeyofposition(toeliminatecollisions)(optional)BestmovefrompositionTranspositionTables(3)ZobristhashkeyGenerate3d-arrayofrandom64-bitnumbers(piecetype,locationandcolor)Startwitha64-bithashkeyinitializedto0Loopthroughcurrentposition,XOR'inghashkeywithZobristvalueofeachpiecefound(note:onceakeyhasbeenfound,useanincrementalapporachthatXOR'sthe"from"locationandthe"to"locationtomoveapiece)MTD(f)MTDf(root,guess,depth){lower=-∞;upper=∞;do{beta=guess+(guess==lower);guess=ABMaxV(root,depth,beta-1,beta);if(guess
)Ridges,plateaus,andshouldersRandomsearchandlocalsearchSteepest-AscentHill-ClimbingGreedyAlgorithm-makeslocallyoptimalchoicesExample8queensproblemhas88≈17MstatesSAHCfindsglobaloptimumfor14%ofinstancesinonaverage4steps(3stepswhenstuck)SAHCw/upto100consecutivesidewaysmoves,findsglobaloptimumfor94%ofinstancesinonaverage21steps(64stepswhenstuck)StochasticHill-ClimbingChoosesatrandomfromamonguphillmovesProbabilityofselectioncanvarywiththesteepnessoftheuphillmoveOnaverageslowerconvergence,butalsolesschanceofprematureconvergenceMoreLocalSearchAlgorithmsFirst-choicehill-climbingRandom-restarthill-climbingSimulatedAnnealingPopulationBasedLocalSearchDeterministiclocalbeamsearchStochasticlocalbeamsearchEvolutionaryAlgorithmsParticleSwarmOptimizationAntColonyOptimizationParticleSwarmOptimizationPSOisastochasticpopulation-basedoptimizationtechniquewhichassignsvelocitiestopopulationmembersencodingtrialsolutionsPSOupdaterules:PSOdemo:http://www.
borgelt.
net//psopt.
htmlAntColonyOptimizationPopulationbasedPheromonetrailandstigmergeticcommunicationShortestpathsearchingStochasticmovesOnlineSearchOfflinesearchvs.
onlinesearchInterleavingcomputation&actionExplorationproblems,safelyexplorableAgentshaveaccessto:ACTIONS(s)c(s,a,s')GOAL-TEST(s)OnlineSearchOptimalityCR–CompetitiveRatioTAPC–TotalActualPathCostC*-OptimalPathCostBestcase:CR=1Worstcase:CR=∞OnlineSearchAlgorithmsOnline-DFS-AgentRandomWalkLearningReal-TimeA*(LRTA*)OnlineSearchExampleGraph1OnlineSearchExampleGraph2OnlineSearchExampleGraph3AIcoursesatS&TCS345ComputationalRoboticManipulation(SP2012)CS347IntroductiontoArtificialIntelligence(SP2012)CS348EvolutionaryComputing(FS2011)CS434DataMining&KnowledgeDiscovery(FS2011)CS447AdvancedTopicsinAI(SP2013)CS448AdvancedEvolutionaryComputing(SP2012)CpE358ComputationalIntelligence(FS2011)SysEng378IntrotoNeuralNetworks&Applications
- nodegraphsearch相关文档
- resultsgraphsearch
- reciprocatedgraphsearch
- memorygraphsearch
- graphgraphsearch
- swappedgraphsearch
- annotategraphsearch
sharktech：洛杉矶/丹佛/荷兰高防服务器;1G独享$70/10G共享$240/10G独享$800
sharktech怎么样?sharktech (鲨鱼机房)是一家成立于 2003 年的知名美国老牌主机商，又称鲨鱼机房或者SK 机房，一直主打高防系列产品，提供独立服务器租用业务和 VPS 主机，自营机房在美国洛杉矶、丹佛、芝加哥和荷兰阿姆斯特丹，所有产品均提供 DDoS 防护。不知道大家是否注意到sharktech的所有服务器的带宽价格全部跳楼跳水，降幅简直不忍直视了，还没有见过这么便宜的独立服...
digital-vm：VPS低至$4/月，服务器$80/月，10Gbps超大带宽，不限流量，机房可选：日本新加坡美国英国西班牙荷兰挪威丹麦
digital-vm，这家注册在罗马尼亚的公司在国内应该有不少人比较熟悉了，主要提供VPS业务，最高10Gbps带宽，还不限制流量，而且还有日本、新加坡、美国洛杉矶、英国、西班牙、荷兰、挪威、丹麦这些可选数据中心。2020年，digital-vm新增了“独立服务器”业务，暂时只限“日本”、“新加坡”机房，最高也是支持10Gbps带宽... 官方网站：https://digital-vm.co...
HostYun：联通AS9929线路,最低月付18元起,最高500Mbps带宽,洛杉矶机房
最近AS9929线路比较火，联通A网，对标电信CN2，HostYun也推出了走联通AS9929线路的VPS主机，基于KVM架构，开设在洛杉矶机房，采用SSD硬盘，分为入门和高带宽型，最高提供500Mbps带宽，可使用9折优惠码，最低每月仅18元起。这是一家成立于2008年的VPS主机品牌，原主机分享组织(hostshare.cn)，商家以提供低端廉价VPS产品而广为人知，是小成本投入学习练手首选。...
graphsearch为你推荐
-
巧摄专业版使用指南Vater壶腹癌是壶腹周围恶性肿瘤中第二常见的疾导致卡巴斯基支持ipad水土保持ios8支持ipad齐鲁工业大学高水平学科建设专项《个人收入的分配过关检测》ipad连不上wifi苹果ipad突然连不上网了，是怎么回事？网络是好的，手机能上网。iexplore.exe应用程序错误iexplore.exe---应用程序错误.是什么意思?