实例介绍
【实例简介】
Minimax 搜索算法 实现一个跳棋游戏 游戏由专门的借口定义，非常好的教学例子，代码也很值得学习
【实例截图】
【核心代码】
75222e78-cfe5-4574-a46e-b51afbba033d
└── Halma
├── bin
│ ├── aa
│ │ ├── Action.class
│ │ ├── HalmaGame.class
│ │ ├── HalmaMinimanSearch.class
│ │ ├── MinimaxSearch.class
│ │ ├── Point.class
│ │ └── State.class
│ └── aima
│ └── core
│ ├── agent
│ │ ├── Action.class
│ │ ├── Agent.class
│ │ ├── AgentProgram.class
│ │ ├── Environment.class
│ │ ├── EnvironmentObject.class
│ │ ├── EnvironmentState.class
│ │ ├── EnvironmentView.class
│ │ ├── EnvironmentViewNotifier.class
│ │ ├── impl
│ │ │ ├── AbstractAgent.class
│ │ │ ├── AbstractEnvironment.class
│ │ │ ├── aprog
│ │ │ │ ├── ModelBasedReflexAgentProgram.class
│ │ │ │ ├── SimpleReflexAgentProgram.class
│ │ │ │ ├── simplerule
│ │ │ │ │ ├── ANDCondition.class
│ │ │ │ │ ├── Condition.class
│ │ │ │ │ ├── EQUALCondition.class
│ │ │ │ │ ├── NOTCondition.class
│ │ │ │ │ ├── ORCondition.class
│ │ │ │ │ └── Rule.class
│ │ │ │ └── TableDrivenAgentProgram.class
│ │ │ ├── DynamicAction.class
│ │ │ ├── DynamicEnvironmentState.class
│ │ │ ├── DynamicPercept.class
│ │ │ ├── DynamicState.class
│ │ │ ├── NoOpAction.class
│ │ │ ├── ObjectWithDynamicAttributes.class
│ │ │ └── SimpleEnvironmentView.class
│ │ ├── Model.class
│ │ ├── Percept.class
│ │ └── State.class
│ ├── environment
│ │ ├── cellworld
│ │ │ ├── Cell.class
│ │ │ ├── CellWorldAction.class
│ │ │ ├── CellWorld.class
│ │ │ └── CellWorldFactory.class
│ │ ├── connectfour
│ │ │ ├── ActionValuePair.class
│ │ │ ├── ConnectFourAIPlayer.class
│ │ │ ├── ConnectFourGame.class
│ │ │ ├── ConnectFourState$WinPositionInfo.class
│ │ │ └── ConnectFourState.class
│ │ ├── eightpuzzle
│ │ │ ├── EightPuzzleBoard.class
│ │ │ ├── EightPuzzleFunctionFactory$EPActionsFunction.class
│ │ │ ├── EightPuzzleFunctionFactory$EPResultFunction.class
│ │ │ ├── EightPuzzleFunctionFactory.class
│ │ │ ├── EightPuzzleGoalTest.class
│ │ │ ├── ManhattanHeuristicFunction.class
│ │ │ └── MisplacedTilleHeuristicFunction.class
│ │ ├── map
│ │ │ ├── AdaptableHeuristicFunction.class
│ │ │ ├── BidirectionalMapProblem.class
│ │ │ ├── DynAttributeNames.class
│ │ │ ├── ExtendableMap.class
│ │ │ ├── MapAgent.class
│ │ │ ├── Map.class
│ │ │ ├── MapEnvironment.class
│ │ │ ├── MapEnvironmentState.class
│ │ │ ├── MapFunctionFactory$MapActionsFunction.class
│ │ │ ├── MapFunctionFactory$MapPerceptToStateFunction.class
│ │ │ ├── MapFunctionFactory$MapResultFunction.class
│ │ │ ├── MapFunctionFactory.class
│ │ │ ├── MapStepCostFunction.class
│ │ │ ├── MoveToAction.class
│ │ │ ├── package-info.class
│ │ │ ├── Scenario.class
│ │ │ ├── SimplifiedRoadMapOfAustralia.class
│ │ │ ├── SimplifiedRoadMapOfPartOfRomania.class
│ │ │ └── StraightLineDistanceHeuristicFunction.class
│ │ ├── nqueens
│ │ │ ├── AttackingPairsHeuristic.class
│ │ │ ├── NQueensBoard.class
│ │ │ ├── NQueensFitnessFunction.class
│ │ │ ├── NQueensFunctionFactory$NQCActionsFunction.class
│ │ │ ├── NQueensFunctionFactory$NQIActionsFunction.class
│ │ │ ├── NQueensFunctionFactory$NQResultFunction.class
│ │ │ ├── NQueensFunctionFactory.class
│ │ │ ├── NQueensGoalTest.class
│ │ │ └── QueenAction.class
│ │ ├── tictactoe
│ │ │ ├── TicTacToeGame.class
│ │ │ └── TicTacToeState.class
│ │ ├── vacuum
│ │ │ ├── ModelBasedReflexVacuumAgent$1.class
│ │ │ ├── ModelBasedReflexVacuumAgent.class
│ │ │ ├── ReflexVacuumAgent$1.class
│ │ │ ├── ReflexVacuumAgent.class
│ │ │ ├── SimpleReflexVacuumAgent.class
│ │ │ ├── TableDrivenVacuumAgent.class
│ │ │ ├── VacuumEnvironment$LocationState.class
│ │ │ ├── VacuumEnvironment.class
│ │ │ ├── VacuumEnvironmentState.class
│ │ │ └── VacuumEnvPercept.class
│ │ └── xyenv
│ │ ├── Wall.class
│ │ ├── XYEnvironment.class
│ │ └── XYEnvironmentState.class
│ ├── learning
│ │ ├── data
│ │ │ └── DataResource.class
│ │ ├── framework
│ │ │ ├── Attribute.class
│ │ │ ├── AttributeSpecification.class
│ │ │ ├── DataSet.class
│ │ │ ├── DataSetFactory.class
│ │ │ ├── DataSetSpecification.class
│ │ │ ├── Example.class
│ │ │ ├── Learner.class
│ │ │ ├── NumericAttribute.class
│ │ │ ├── NumericAttributeSpecification.class
│ │ │ ├── StringAttribute.class
│ │ │ └── StringAttributeSpecification.class
│ │ ├── inductive
│ │ │ ├── ConstantDecisonTree.class
│ │ │ ├── DecisionList.class
│ │ │ ├── DecisionTree.class
│ │ │ ├── DLTest.class
│ │ │ └── DLTestFactory.class
│ │ ├── knowledge
│ │ │ ├── CurrentBestLearning.class
│ │ │ ├── FOLDataSetDomain.class
│ │ │ ├── FOLExample.class
│ │ │ └── Hypothesis.class
│ │ ├── learners
│ │ │ ├── AdaBoostLearner.class
│ │ │ ├── CurrentBestLearner.class
│ │ │ ├── DecisionListLearner.class
│ │ │ ├── DecisionTreeLearner.class
│ │ │ ├── MajorityLearner.class
│ │ │ └── StumpLearner.class
│ │ ├── neural
│ │ │ ├── ActivationFunction.class
│ │ │ ├── BackPropLearning.class
│ │ │ ├── FeedForwardNeuralNetwork.class
│ │ │ ├── FunctionApproximator.class
│ │ │ ├── HardLimitActivationFunction.class
│ │ │ ├── IrisDataSetNumerizer.class
│ │ │ ├── IrisNNDataSet.class
│ │ │ ├── Layer.class
│ │ │ ├── LayerSensitivity.class
│ │ │ ├── LogSigActivationFunction.class
│ │ │ ├── NNConfig.class
│ │ │ ├── NNDataSet.class
│ │ │ ├── NNExample.class
│ │ │ ├── NNTrainingScheme.class
│ │ │ ├── Numerizer.class
│ │ │ ├── Perceptron.class
│ │ │ ├── PureLinearActivationFunction.class
│ │ │ └── RabbitEyeDataSet.class
│ │ └── reinforcement
│ │ ├── agent
│ │ │ ├── PassiveADPAgent$1.class
│ │ │ ├── PassiveADPAgent$2.class
│ │ │ ├── PassiveADPAgent.class
│ │ │ ├── PassiveTDAgent.class
│ │ │ ├── QLearningAgent.class
│ │ │ └── ReinforcementAgent.class
│ │ ├── example
│ │ │ ├── CellWorldEnvironment.class
│ │ │ ├── CellWorldEnvironmentState.class
│ │ │ └── CellWorldPercept.class
│ │ ├── PerceptStateReward.class
│ │ └── RewardPercept.class
│ ├── logic
│ │ ├── common
│ │ │ ├── Lexer.class
│ │ │ ├── LogicTokenTypes.class
│ │ │ ├── Parser.class
│ │ │ ├── ParseTreeNode.class
│ │ │ ├── Token.class
│ │ │ └── Visitor.class
│ │ ├── fol
│ │ │ ├── CNFConstructor$ArgData.class
│ │ │ ├── CNFConstructor.class
│ │ │ ├── CNFConverter.class
│ │ │ ├── CollectAllVariables.class
│ │ │ ├── Connectors.class
│ │ │ ├── DistributeOrOverAnd.class
│ │ │ ├── domain
│ │ │ │ ├── DomainFactory.class
│ │ │ │ ├── FOLDomainAnswerLiteralAddedEvent.class
│ │ │ │ ├── FOLDomain.class
│ │ │ │ ├── FOLDomainEvent.class
│ │ │ │ ├── FOLDomainListener.class
│ │ │ │ ├── FOLDomainSkolemConstantAddedEvent.class
│ │ │ │ └── FOLDomainSkolemFunctionAddedEvent.class
│ │ │ ├── ImplicationsOut.class
│ │ │ ├── inference
│ │ │ │ ├── AbstractModulation$IdentifyCandidateMatchingTerm.class
│ │ │ │ ├── AbstractModulation$ReplaceMatchingTerm.class
│ │ │ │ ├── AbstractModulation.class
│ │ │ │ ├── Demodulation.class
│ │ │ │ ├── FOLBCAsk$BCAskAnswerHandler.class
│ │ │ │ ├── FOLBCAsk.class
│ │ │ │ ├── FOLFCAsk$FCAskAnswerHandler.class
│ │ │ │ ├── FOLFCAsk.class
│ │ │ │ ├── FOLModelElimination$AnswerHandler.class
│ │ │ │ ├── FOLModelElimination.class
│ │ │ │ ├── FOLOTTERLikeTheoremProver$IndexedClauses.class
│ │ │ │ ├── FOLOTTERLikeTheoremProver$OTTERAnswerHandler.class
│ │ │ │ ├── FOLOTTERLikeTheoremProver.class
│ │ │ │ ├── FOLTFMResolution$TFMAnswerHandler.class
│ │ │ │ ├── FOLTFMResolution.class
│ │ │ │ ├── IndexedFarParents.class
│ │ │ │ ├── InferenceProcedure.class
│ │ │ │ ├── InferenceResult.class
│ │ │ │ ├── InferenceResultPrinter.class
│ │ │ │ ├── otter
│ │ │ │ │ ├── ClauseFilter.class
│ │ │ │ │ ├── ClauseSimplifier.class
│ │ │ │ │ ├── defaultimpl
│ │ │ │ │ │ ├── DefaultClauseFilter.class
│ │ │ │ │ │ ├── DefaultClauseSimplifier.class
│ │ │ │ │ │ ├── DefaultLightestClauseHeuristic.class
│ │ │ │ │ │ └── LightestClauseSorter.class
│ │ │ │ │ └── LightestClauseHeuristic.class
│ │ │ │ ├── Paramodulation.class
│ │ │ │ ├── proof
│ │ │ │ │ ├── AbstractProofStep.class
│ │ │ │ │ ├── Proof.class
│ │ │ │ │ ├── ProofFinal.class
│ │ │ │ │ ├── ProofPrinter.class
│ │ │ │ │ ├── ProofStepBwChGoal.class
│ │ │ │ │ ├── ProofStepChainCancellation.class
│ │ │ │ │ ├── ProofStepChainContrapositive.class
│ │ │ │ │ ├── ProofStepChainDropped.class
│ │ │ │ │ ├── ProofStepChainFromClause.class
│ │ │ │ │ ├── ProofStepChainReduction.class
│ │ │ │ │ ├── ProofStep.class
│ │ │ │ │ ├── ProofStepClauseBinaryResolvent.class
│ │ │ │ │ ├── ProofStepClauseClausifySentence.class
│ │ │ │ │ ├── ProofStepClauseDemodulation.class
│ │ │ │ │ ├── ProofStepClauseFactor.class
│ │ │ │ │ ├── ProofStepClauseParamodulation.class
│ │ │ │ │ ├── ProofStepFoChAlreadyAFact.class
│ │ │ │ │ ├── ProofStepFoChAssertFact.class
│ │ │ │ │ ├── ProofStepGoal.class
│ │ │ │ │ ├── ProofStepPremise.class
│ │ │ │ │ └── ProofStepRenaming.class
│ │ │ │ └── trace
│ │ │ │ ├── FOLModelEliminationTracer.class
│ │ │ │ └── FOLTFMResolutionTracer.class
│ │ │ ├── kb
│ │ │ │ ├── data
│ │ │ │ │ ├── Chain.class
│ │ │ │ │ ├── Clause.class
│ │ │ │ │ ├── ClauseEqualityIdentityConstructor.class
│ │ │ │ │ ├── CNF.class
│ │ │ │ │ ├── Literal.class
│ │ │ │ │ ├── LiteralsSorter.class
│ │ │ │ │ └── ReducedLiteral.class
│ │ │ │ ├── FOLKnowledgeBase.class
│ │ │ │ └── FOLKnowledgeBaseFactory.class
│ │ │ ├── NegationsIn.class
│ │ │ ├── parsing
│ │ │ │ ├── AbstractFOLVisitor.class
│ │ │ │ ├── ast
│ │ │ │ │ ├── AtomicSentence.class
│ │ │ │ │ ├── ConnectedSentence.class
│ │ │ │ │ ├── Constant.class
│ │ │ │ │ ├── FOLNode.class
│ │ │ │ │ ├── Function.class
│ │ │ │ │ ├── NotSentence.class
│ │ │ │ │ ├── Predicate.class
│ │ │ │ │ ├── QuantifiedSentence.class
│ │ │ │ │ ├── Sentence.class
│ │ │ │ │ ├── Term.class
│ │ │ │ │ ├── TermEquality.class
│ │ │ │ │ └── Variable.class
│ │ │ │ ├── FOLLexer.class
│ │ │ │ ├── FOLParser.class
│ │ │ │ └── FOLVisitor.class
│ │ │ ├── PredicateCollector.class
│ │ │ ├── Quantifiers.class
│ │ │ ├── RemoveQuantifiers.class
│ │ │ ├── StandardizeApart.class
│ │ │ ├── StandardizeApartIndexical.class
│ │ │ ├── StandardizeApartIndexicalFactory.class
│ │ │ ├── StandardizeApartIndexicalImpl.class
│ │ │ ├── StandardizeApartInPlace.class
│ │ │ ├── StandardizeApartResult.class
│ │ │ ├── StandardizeQuantiferVariables$1.class
│ │ │ ├── StandardizeQuantiferVariables.class
│ │ │ ├── SubstVisitor.class
│ │ │ ├── SubsumptionElimination.class
│ │ │ ├── Unifier.class
│ │ │ └── VariableCollector.class
│ │ └── propositional
│ │ ├── algorithms
│ │ │ ├── DPLL$SymbolValuePair.class
│ │ │ ├── DPLL.class
│ │ │ ├── KnowledgeBase.class
│ │ │ ├── LogicUtils.class
│ │ │ ├── Model.class
│ │ │ ├── PLFCEntails$HornClause.class
│ │ │ ├── PLFCEntails.class
│ │ │ ├── PLResolution$ClauseSymbols.class
│ │ │ ├── PLResolution.class
│ │ │ ├── TTEntails.class
│ │ │ └── WalkSAT.class
│ │ ├── parsing
│ │ │ ├── AbstractPLVisitor.class
│ │ │ ├── ast
│ │ │ │ ├── AtomicSentence.class
│ │ │ │ ├── BinarySentence.class
│ │ │ │ ├── ComplexSentence.class
│ │ │ │ ├── FalseSentence.class
│ │ │ │ ├── MultiSentence.class
│ │ │ │ ├── Sentence.class
│ │ │ │ ├── Symbol.class
│ │ │ │ ├── SymbolComparator.class
│ │ │ │ ├── TrueSentence.class
│ │ │ │ └── UnarySentence.class
│ │ │ ├── PELexer.class
│ │ │ ├── PEParser.class
│ │ │ └── PLVisitor.class
│ │ └── visitors
│ │ ├── AndDetector.class
│ │ ├── BasicTraverser.class
│ │ ├── CNFClauseGatherer.class
│ │ ├── CNFTransformer.class
│ │ ├── NegativeSymbolCollector.class
│ │ ├── PositiveSymbolCollector.class
│ │ ├── SymbolClassifier.class
│ │ └── SymbolCollector.class
│ ├── probability
│ │ ├── bayes
│ │ │ ├── approx
│ │ │ │ ├── BayesInferenceApproxAdapter.class
│ │ │ │ ├── BayesSampleInference.class
│ │ │ │ ├── GibbsAsk.class
│ │ │ │ ├── LikelihoodWeighting.class
│ │ │ │ ├── ParticleFiltering.class
│ │ │ │ ├── PriorSample.class
│ │ │ │ └── RejectionSampling.class
│ │ │ ├── BayesianNetwork.class
│ │ │ ├── BayesInference.class
│ │ │ ├── ConditionalProbabilityDistribution.class
│ │ │ ├── ConditionalProbabilityTable.class
│ │ │ ├── ContinuousNode.class
│ │ │ ├── DiscreteNode.class
│ │ │ ├── DynamicBayesianNetwork.class
│ │ │ ├── exact
│ │ │ │ ├── EliminationAsk.class
│ │ │ │ ├── EnumerationAsk$1.class
│ │ │ │ ├── EnumerationAsk$ObservedEvidence.class
│ │ │ │ └── EnumerationAsk.class
│ │ │ ├── FiniteNode.class
│ │ │ ├── impl
│ │ │ │ ├── AbstractNode.class
│ │ │ │ ├── BayesNet.class
│ │ │ │ ├── CPT$1.class
│ │ │ │ ├── CPT$2.class
│ │ │ │ ├── CPT$3.class
│ │ │ │ ├── CPT.class
│ │ │ │ ├── DynamicBayesNet.class
│ │ │ │ └── FullCPTNode.class
│ │ │ ├── model
│ │ │ │ ├── FiniteBayesModel$1.class
│ │ │ │ ├── FiniteBayesModel$2.class
│ │ │ │ └── FiniteBayesModel.class
│ │ │ └── Node.class
│ │ ├── CategoricalDistribution$Iterator.class
│ │ ├── CategoricalDistribution.class
│ │ ├── domain
│ │ │ ├── AbstractContinuousDomain.class
│ │ │ ├── AbstractDiscreteDomain.class
│ │ │ ├── AbstractFiniteDomain.class
│ │ │ ├── ArbitraryTokenDomain.class
│ │ │ ├── BooleanDomain.class
│ │ │ ├── ContinuousDomain.class
│ │ │ ├── DiscreteDomain.class
│ │ │ ├── Domain.class
│ │ │ ├── FiniteDomain.class
│ │ │ └── FiniteIntegerDomain.class
│ │ ├── example
│ │ │ ├── BayesNetExampleFactory.class
│ │ │ ├── DynamicBayesNetExampleFactory.class
│ │ │ ├── ExampleRV.class
│ │ │ ├── FullJointDistributionBurglaryAlarmModel.class
│ │ │ ├── FullJointDistributionMeningitisStiffNeckModel.class
│ │ │ ├── FullJointDistributionPairFairDiceModel.class
│ │ │ ├── FullJointDistributionToothacheCavityCatchModel.class
│ │ │ ├── FullJointDistributionToothacheCavityCatchWeatherModel.class
│ │ │ ├── GenericTemporalModelFactory.class
│ │ │ ├── HMMExampleFactory.class
│ │ │ ├── MDPFactory$1.class
│ │ │ ├── MDPFactory$2.class
│ │ │ ├── MDPFactory$3.class
│ │ │ └── MDPFactory.class
│ │ ├── Factor$Iterator.class
│ │ ├── Factor.class
│ │ ├── FiniteProbabilityModel.class
│ │ ├── full
│ │ │ ├── FullJointDistributionModel$1.class
│ │ │ ├── FullJointDistributionModel$2.class
│ │ │ └── FullJointDistributionModel.class
│ │ ├── hmm
│ │ │ ├── exact
│ │ │ │ ├── FixedLagSmoothing.class
│ │ │ │ ├── HMMForwardBackward.class
│ │ │ │ └── HMMForwardBackwardConstantSpace.class
│ │ │ ├── HiddenMarkovModel.class
│ │ │ └── impl
│ │ │ └── HMM.class
│ │ ├── mdp
│ │ │ ├── ActionsFunction.class
│ │ │ ├── impl
│ │ │ │ ├── LookupPolicy.class
│ │ │ │ ├── MDP.class
│ │ │ │ └── ModifiedPolicyEvaluation.class
│ │ │ ├── MarkovDecisionProcess.class
│ │ │ ├── Policy.class
│ │ │ ├── PolicyEvaluation.class
│ │ │ ├── RewardFunction.class
│ │ │ ├── search
│ │ │ │ ├── PolicyIteration.class
│ │ │ │ └── ValueIteration.class
│ │ │ └── TransitionProbabilityFunction.class
│ │ ├── ProbabilityDensity.class
│ │ ├── ProbabilityDistribution.class
│ │ ├── ProbabilityMass.class
│ │ ├── ProbabilityModel.class
│ │ ├── proposition
│ │ │ ├── AbstractDerivedProposition.class
│ │ │ ├── AbstractProposition.class
│ │ │ ├── AbstractTermProposition.class
│ │ │ ├── AssignmentProposition.class
│ │ │ ├── BinarySentenceProposition.class
│ │ │ ├── ConjunctiveProposition.class
│ │ │ ├── DerivedProposition.class
│ │ │ ├── DisjunctiveProposition.class
│ │ │ ├── EquivalentProposition.class
│ │ │ ├── IntegerSumProposition.class
│ │ │ ├── NotProposition.class
│ │ │ ├── Proposition.class
│ │ │ ├── SentenceProposition.class
│ │ │ ├── SubsetProposition.class
│ │ │ ├── TermProposition.class
│ │ │ └── UnarySentenceProposition.class
│ │ ├── RandomVariable.class
│ │ ├── temporal
│ │ │ ├── BackwardStepInference.class
│ │ │ ├── ForwardBackwardInference.class
│ │ │ ├── ForwardStepInference.class
│ │ │ └── generic
│ │ │ ├── ForwardBackward$1.class
│ │ │ ├── ForwardBackward$2.class
│ │ │ └── ForwardBackward.class
│ │ └── util
│ │ ├── ProbabilityTable$1.class
│ │ ├── ProbabilityTable$2.class
│ │ ├── ProbabilityTable$3.class
│ │ ├── ProbabilityTable$CategoricalDistributionIteratorAdapter.class
│ │ ├── ProbabilityTable$FactorIteratorAdapter.class
│ │ ├── ProbabilityTable$Iterator.class
│ │ ├── ProbabilityTable$RVInfo.class
│ │ ├── ProbabilityTable.class
│ │ ├── ProbUtil.class
│ │ └── RandVar.class
│ ├── search
│ │ ├── adversarial
│ │ │ ├── AdversarialSearch.class
│ │ │ ├── AlphaBetaSearch.class
│ │ │ ├── Game.class
│ │ │ ├── IterativeDeepeningAlphaBetaSearch.class
│ │ │ └── MinimaxSearch.class
│ │ ├── csp
│ │ │ ├── AC3Strategy.class
│ │ │ ├── Assignment.class
│ │ │ ├── BacktrackingStrategy.class
│ │ │ ├── Constraint.class
│ │ │ ├── CSP.class
│ │ │ ├── CSPStateListener.class
│ │ │ ├── Domain.class
│ │ │ ├── DomainRestoreInfo.class
│ │ │ ├── ImprovedBacktrackingStrategy$1.class
│ │ │ ├── ImprovedBacktrackingStrategy$Inference.class
│ │ │ ├── ImprovedBacktrackingStrategy$Selection.class
│ │ │ ├── ImprovedBacktrackingStrategy.class
│ │ │ ├── MapCSP.class
│ │ │ ├── MinConflictsStrategy.class
│ │ │ ├── NotEqualConstraint.class
│ │ │ ├── SolutionStrategy.class
│ │ │ └── Variable.class
│ │ ├── framework
│ │ │ ├── ActionsFunction.class
│ │ │ ├── BidirectionalProblem.class
│ │ │ ├── CutOffIndicatorAction.class
│ │ │ ├── DefaultGoalTest.class
│ │ │ ├── DefaultStepCostFunction.class
│ │ │ ├── EvaluationFunction.class
│ │ │ ├── GoalTest.class
│ │ │ ├── GraphSearch.class
│ │ │ ├── HeuristicFunction.class
│ │ │ ├── Metrics.class
│ │ │ ├── Node.class
│ │ │ ├── NodeExpander.class
│ │ │ ├── PathCostFunction.class
│ │ │ ├── PerceptToStateFunction.class
│ │ │ ├── PrioritySearch.class
│ │ │ ├── Problem.class
│ │ │ ├── QueueSearch.class
│ │ │ ├── ResultFunction.class
│ │ │ ├── SearchAgent.class
│ │ │ ├── Search.class
│ │ │ ├── SearchUtils.class
│ │ │ ├── SimpleProblemSolvingAgent.class
│ │ │ ├── SolutionChecker.class
│ │ │ ├── StepCostFunction.class
│ │ │ └── TreeSearch.class
│ │ ├── informed
│ │ │ ├── AStarEvaluationFunction.class
│ │ │ ├── AStarSearch.class
│ │ │ ├── BestFirstSearch$1.class
│ │ │ ├── BestFirstSearch.class
│ │ │ ├── GreedyBestFirstEvaluationFunction.class
│ │ │ ├── GreedyBestFirstSearch.class
│ │ │ ├── RecursiveBestFirstSearch.class
│ │ │ ├── SearchResult$SearchOutcome.class
│ │ │ └── SearchResult.class
│ │ ├── local
│ │ │ ├── FitnessFunction.class
│ │ │ ├── GeneticAlgorithm.class
│ │ │ ├── HillClimbingSearch$SearchOutcome.class
│ │ │ ├── HillClimbingSearch.class
│ │ │ ├── Scheduler.class
│ │ │ ├── SimulatedAnnealingSearch$SearchOutcome.class
│ │ │ └── SimulatedAnnealingSearch.class
│ │ ├── online
│ │ │ ├── LRTAStarAgent.class
│ │ │ ├── OnlineDFSAgent.class
│ │ │ └── OnlineSearchProblem.class
│ │ └── uninformed
│ │ ├── BidirectionalSearch$SearchOutcome.class
│ │ ├── BidirectionalSearch.class
│ │ ├── BreadthFirstSearch.class
│ │ ├── CachedStateQueue.class
│ │ ├── DepthFirstSearch.class
│ │ ├── DepthLimitedSearch.class
│ │ ├── IterativeDeepeningSearch.class
│ │ ├── UniformCostSearch$1.class
│ │ └── UniformCostSearch.class
│ └── util
│ ├── ArrayIterator.class
│ ├── CancelableThread.class
│ ├── Converter.class
│ ├── datastructure
│ │ ├── FIFOQueue.class
│ │ ├── LabeledGraph.class
│ │ ├── LIFOQueue.class
│ │ ├── Pair.class
│ │ ├── Point2D.class
│ │ ├── PriorityQueue.class
│ │ ├── Queue.class
│ │ ├── Table$Cell.class
│ │ ├── Table$Row.class
│ │ ├── Table.class
│ │ ├── Triplet.class
│ │ ├── TwoKeyHashMap.class
│ │ ├── XYLocation$Direction.class
│ │ └── XYLocation.class
│ ├── FrequencyCounter.class
│ ├── JavaRandomizer.class
│ ├── math
│ │ ├── Interval.class
│ │ ├── LUDecomposition.class
│ │ ├── Matrix.class
│ │ ├── MixedRadixNumber.class
│ │ └── Vector.class
│ ├── MockRandomizer.class
│ ├── Randomizer.class
│ ├── SetOps.class
│ └── Util.class
└── src
├── aa
│ ├── Action.java
│ ├── HalmaGame.java
│ ├── HalmaMinimanSearch.java
│ ├── MinimaxSearch.java
│ ├── Point.java
│ └── State.java
└── aima
└── core
├── agent
│ ├── Action.java
│ ├── Agent.java
│ ├── AgentProgram.java
│ ├── Environment.java
│ ├── EnvironmentObject.java
│ ├── EnvironmentState.java
│ ├── EnvironmentView.java
│ ├── EnvironmentViewNotifier.java
│ ├── impl
│ │ ├── AbstractAgent.java
│ │ ├── AbstractEnvironment.java
│ │ ├── aprog
│ │ │ ├── ModelBasedReflexAgentProgram.java
│ │ │ ├── SimpleReflexAgentProgram.java
│ │ │ ├── simplerule
│ │ │ │ ├── ANDCondition.java
│ │ │ │ ├── Condition.java
│ │ │ │ ├── EQUALCondition.java
│ │ │ │ ├── NOTCondition.java
│ │ │ │ ├── ORCondition.java
│ │ │ │ └── Rule.java
│ │ │ └── TableDrivenAgentProgram.java
│ │ ├── DynamicAction.java
│ │ ├── DynamicEnvironmentState.java
│ │ ├── DynamicPercept.java
│ │ ├── DynamicState.java
│ │ ├── NoOpAction.java
│ │ ├── ObjectWithDynamicAttributes.java
│ │ └── SimpleEnvironmentView.java
│ ├── Model.java
│ ├── Percept.java
│ └── State.java
├── environment
│ ├── cellworld
│ │ ├── Cell.java
│ │ ├── CellWorldAction.java
│ │ ├── CellWorldFactory.java
│ │ └── CellWorld.java
│ ├── connectfour
│ │ ├── ActionValuePair.java
│ │ ├── ConnectFourAIPlayer.java
│ │ ├── ConnectFourGame.java
│ │ └── ConnectFourState.java
│ ├── eightpuzzle
│ │ ├── EightPuzzleBoard.java
│ │ ├── EightPuzzleFunctionFactory.java
│ │ ├── EightPuzzleGoalTest.java
│ │ ├── ManhattanHeuristicFunction.java
│ │ └── MisplacedTilleHeuristicFunction.java
│ ├── map
│ │ ├── AdaptableHeuristicFunction.java
│ │ ├── BidirectionalMapProblem.java
│ │ ├── DynAttributeNames.java
│ │ ├── ExtendableMap.java
│ │ ├── MapAgent.java
│ │ ├── MapEnvironment.java
│ │ ├── MapEnvironmentState.java
│ │ ├── MapFunctionFactory.java
│ │ ├── Map.java
│ │ ├── MapStepCostFunction.java
│ │ ├── MoveToAction.java
│ │ ├── package-info.java
│ │ ├── Scenario.java
│ │ ├── SimplifiedRoadMapOfAustralia.java
│ │ ├── SimplifiedRoadMapOfPartOfRomania.java
│ │ └── StraightLineDistanceHeuristicFunction.java
│ ├── nqueens
│ │ ├── AttackingPairsHeuristic.java
│ │ ├── NQueensBoard.java
│ │ ├── NQueensFitnessFunction.java
│ │ ├── NQueensFunctionFactory.java
│ │ ├── NQueensGoalTest.java
│ │ └── QueenAction.java
│ ├── tictactoe
│ │ ├── TicTacToeGame.java
│ │ └── TicTacToeState.java
│ ├── vacuum
│ │ ├── ModelBasedReflexVacuumAgent.java
│ │ ├── ReflexVacuumAgent.java
│ │ ├── SimpleReflexVacuumAgent.java
│ │ ├── TableDrivenVacuumAgent.java
│ │ ├── VacuumEnvironment.java
│ │ ├── VacuumEnvironmentState.java
│ │ └── VacuumEnvPercept.java
│ └── xyenv
│ ├── Wall.java
│ └── XYEnvironment.java
├── learning
│ ├── data
│ │ └── DataResource.java
│ ├── framework
│ │ ├── Attribute.java
│ │ ├── AttributeSpecification.java
│ │ ├── DataSetFactory.java
│ │ ├── DataSet.java
│ │ ├── DataSetSpecification.java
│ │ ├── Example.java
│ │ ├── Learner.java
│ │ ├── NumericAttribute.java
│ │ ├── NumericAttributeSpecification.java
│ │ ├── StringAttribute.java
│ │ └── StringAttributeSpecification.java
│ ├── inductive
│ │ ├── ConstantDecisonTree.java
│ │ ├── DecisionList.java
│ │ ├── DecisionTree.java
│ │ ├── DLTestFactory.java
│ │ └── DLTest.java
│ ├── knowledge
│ │ ├── CurrentBestLearning.java
│ │ ├── FOLDataSetDomain.java
│ │ ├── FOLExample.java
│ │ └── Hypothesis.java
│ ├── learners
│ │ ├── AdaBoostLearner.java
│ │ ├── CurrentBestLearner.java
│ │ ├── DecisionListLearner.java
│ │ ├── DecisionTreeLearner.java
│ │ ├── MajorityLearner.java
│ │ └── StumpLearner.java
│ ├── neural
│ │ ├── ActivationFunction.java
│ │ ├── BackPropLearning.java
│ │ ├── FeedForwardNeuralNetwork.java
│ │ ├── FunctionApproximator.java
│ │ ├── HardLimitActivationFunction.java
│ │ ├── IrisDataSetNumerizer.java
│ │ ├── IrisNNDataSet.java
│ │ ├── Layer.java
│ │ ├── LayerSensitivity.java
│ │ ├── LogSigActivationFunction.java
│ │ ├── NNConfig.java
│ │ ├── NNDataSet.java
│ │ ├── NNExample.java
│ │ ├── NNTrainingScheme.java
│ │ ├── Numerizer.java
│ │ ├── Perceptron.java
│ │ ├── PureLinearActivationFunction.java
│ │ └── RabbitEyeDataSet.java
│ └── reinforcement
│ ├── agent
│ │ ├── PassiveADPAgent.java
│ │ ├── PassiveTDAgent.java
│ │ ├── QLearningAgent.java
│ │ └── ReinforcementAgent.java
│ ├── example
│ │ ├── CellWorldEnvironment.java
│ │ ├── CellWorldEnvironmentState.java
│ │ └── CellWorldPercept.java
│ ├── PerceptStateReward.java
│ └── RewardPercept.java
├── logic
│ ├── common
│ │ ├── Lexer.java
│ │ ├── LogicTokenTypes.java
│ │ ├── Parser.java
│ │ ├── ParseTreeNode.java
│ │ ├── Token.java
│ │ └── Visitor.java
│ ├── fol
│ │ ├── CNFConverter.java
│ │ ├── Connectors.java
│ │ ├── domain
│ │ │ ├── DomainFactory.java
│ │ │ ├── FOLDomainAnswerLiteralAddedEvent.java
│ │ │ ├── FOLDomainEvent.java
│ │ │ ├── FOLDomain.java
│ │ │ ├── FOLDomainListener.java
│ │ │ ├── FOLDomainSkolemConstantAddedEvent.java
│ │ │ └── FOLDomainSkolemFunctionAddedEvent.java
│ │ ├── inference
│ │ │ ├── AbstractModulation.java
│ │ │ ├── Demodulation.java
│ │ │ ├── FOLBCAsk.java
│ │ │ ├── FOLFCAsk.java
│ │ │ ├── FOLModelElimination.java
│ │ │ ├── FOLOTTERLikeTheoremProver.java
│ │ │ ├── FOLTFMResolution.java
│ │ │ ├── InferenceProcedure.java
│ │ │ ├── InferenceResult.java
│ │ │ ├── InferenceResultPrinter.java
│ │ │ ├── otter
│ │ │ │ ├── ClauseFilter.java
│ │ │ │ ├── ClauseSimplifier.java
│ │ │ │ ├── defaultimpl
│ │ │ │ │ ├── DefaultClauseFilter.java
│ │ │ │ │ ├── DefaultClauseSimplifier.java
│ │ │ │ │ └── DefaultLightestClauseHeuristic.java
│ │ │ │ └── LightestClauseHeuristic.java
│ │ │ ├── Paramodulation.java
│ │ │ ├── proof
│ │ │ │ ├── AbstractProofStep.java
│ │ │ │ ├── ProofFinal.java
│ │ │ │ ├── Proof.java
│ │ │ │ ├── ProofPrinter.java
│ │ │ │ ├── ProofStepBwChGoal.java
│ │ │ │ ├── ProofStepChainCancellation.java
│ │ │ │ ├── ProofStepChainContrapositive.java
│ │ │ │ ├── ProofStepChainDropped.java
│ │ │ │ ├── ProofStepChainFromClause.java
│ │ │ │ ├── ProofStepChainReduction.java
│ │ │ │ ├── ProofStepClauseBinaryResolvent.java
│ │ │ │ ├── ProofStepClauseClausifySentence.java
│ │ │ │ ├── ProofStepClauseDemodulation.java
│ │ │ │ ├── ProofStepClauseFactor.java
│ │ │ │ ├── ProofStepClauseParamodulation.java
│ │ │ │ ├── ProofStepFoChAlreadyAFact.java
│ │ │ │ ├── ProofStepFoChAssertFact.java
│ │ │ │ ├── ProofStepGoal.java
│ │ │ │ ├── ProofStep.java
│ │ │ │ ├── ProofStepPremise.java
│ │ │ │ └── ProofStepRenaming.java
│ │ │ └── trace
│ │ │ ├── FOLModelEliminationTracer.java
│ │ │ └── FOLTFMResolutionTracer.java
│ │ ├── kb
│ │ │ ├── data
│ │ │ │ ├── Chain.java
│ │ │ │ ├── Clause.java
│ │ │ │ ├── CNF.java
│ │ │ │ ├── Literal.java
│ │ │ │ └── ReducedLiteral.java
│ │ │ ├── FOLKnowledgeBaseFactory.java
│ │ │ └── FOLKnowledgeBase.java
│ │ ├── parsing
│ │ │ ├── AbstractFOLVisitor.java
│ │ │ ├── ast
│ │ │ │ ├── AtomicSentence.java
│ │ │ │ ├── ConnectedSentence.java
│ │ │ │ ├── Constant.java
│ │ │ │ ├── FOLNode.java
│ │ │ │ ├── Function.java
│ │ │ │ ├── NotSentence.java
│ │ │ │ ├── Predicate.java
│ │ │ │ ├── QuantifiedSentence.java
│ │ │ │ ├── Sentence.java
│ │ │ │ ├── TermEquality.java
│ │ │ │ ├── Term.java
│ │ │ │ └── Variable.java
│ │ │ ├── FOLLexer.java
│ │ │ ├── FOLParser.java
│ │ │ └── FOLVisitor.java
│ │ ├── PredicateCollector.java
│ │ ├── Quantifiers.java
│ │ ├── StandardizeApartIndexicalFactory.java
│ │ ├── StandardizeApartIndexical.java
│ │ ├── StandardizeApartInPlace.java
│ │ ├── StandardizeApart.java
│ │ ├── StandardizeApartResult.java
│ │ ├── SubstVisitor.java
│ │ ├── SubsumptionElimination.java
│ │ ├── Unifier.java
│ │ └── VariableCollector.java
│ └── propositional
│ ├── algorithms
│ │ ├── DPLL.java
│ │ ├── KnowledgeBase.java
│ │ ├── LogicUtils.java
│ │ ├── Model.java
│ │ ├── PLFCEntails.java
│ │ ├── PLResolution.java
│ │ ├── TTEntails.java
│ │ └── WalkSAT.java
│ ├── parsing
│ │ ├── AbstractPLVisitor.java
│ │ ├── ast
│ │ │ ├── AtomicSentence.java
│ │ │ ├── BinarySentence.java
│ │ │ ├── ComplexSentence.java
│ │ │ ├── FalseSentence.java
│ │ │ ├── MultiSentence.java
│ │ │ ├── Sentence.java
│ │ │ ├── SymbolComparator.java
│ │ │ ├── Symbol.java
│ │ │ ├── TrueSentence.java
│ │ │ └── UnarySentence.java
│ │ ├── PELexer.java
│ │ ├── PEParser.java
│ │ └── PLVisitor.java
│ └── visitors
│ ├── AndDetector.java
│ ├── BasicTraverser.java
│ ├── CNFClauseGatherer.java
│ ├── CNFTransformer.java
│ ├── NegativeSymbolCollector.java
│ ├── PositiveSymbolCollector.java
│ ├── SymbolClassifier.java
│ └── SymbolCollector.java
├── probability
│ ├── bayes
│ │ ├── approx
│ │ │ ├── BayesInferenceApproxAdapter.java
│ │ │ ├── BayesSampleInference.java
│ │ │ ├── GibbsAsk.java
│ │ │ ├── LikelihoodWeighting.java
│ │ │ ├── ParticleFiltering.java
│ │ │ ├── PriorSample.java
│ │ │ └── RejectionSampling.java
│ │ ├── BayesianNetwork.java
│ │ ├── BayesInference.java
│ │ ├── ConditionalProbabilityDistribution.java
│ │ ├── ConditionalProbabilityTable.java
│ │ ├── ContinuousNode.java
│ │ ├── DiscreteNode.java
│ │ ├── DynamicBayesianNetwork.java
│ │ ├── exact
│ │ │ ├── EliminationAsk.java
│ │ │ └── EnumerationAsk.java
│ │ ├── FiniteNode.java
│ │ ├── impl
│ │ │ ├── AbstractNode.java
│ │ │ ├── BayesNet.java
│ │ │ ├── CPT.java
│ │ │ ├── DynamicBayesNet.java
│ │ │ └── FullCPTNode.java
│ │ ├── model
│ │ │ └── FiniteBayesModel.java
│ │ └── Node.java
│ ├── CategoricalDistribution.java
│ ├── domain
│ │ ├── AbstractContinuousDomain.java
│ │ ├── AbstractDiscreteDomain.java
│ │ ├── AbstractFiniteDomain.java
│ │ ├── ArbitraryTokenDomain.java
│ │ ├── BooleanDomain.java
│ │ ├── ContinuousDomain.java
│ │ ├── DiscreteDomain.java
│ │ ├── Domain.java
│ │ ├── FiniteDomain.java
│ │ └── FiniteIntegerDomain.java
│ ├── example
│ │ ├── BayesNetExampleFactory.java
│ │ ├── DynamicBayesNetExampleFactory.java
│ │ ├── ExampleRV.java
│ │ ├── FullJointDistributionBurglaryAlarmModel.java
│ │ ├── FullJointDistributionMeningitisStiffNeckModel.java
│ │ ├── FullJointDistributionPairFairDiceModel.java
│ │ ├── FullJointDistributionToothacheCavityCatchModel.java
│ │ ├── FullJointDistributionToothacheCavityCatchWeatherModel.java
│ │ ├── GenericTemporalModelFactory.java
│ │ ├── HMMExampleFactory.java
│ │ └── MDPFactory.java
│ ├── Factor.java
│ ├── FiniteProbabilityModel.java
│ ├── full
│ │ └── FullJointDistributionModel.java
│ ├── hmm
│ │ ├── exact
│ │ │ ├── FixedLagSmoothing.java
│ │ │ ├── HMMForwardBackwardConstantSpace.java
│ │ │ └── HMMForwardBackward.java
│ │ ├── HiddenMarkovModel.java
│ │ └── impl
│ │ └── HMM.java
│ ├── mdp
│ │ ├── ActionsFunction.java
│ │ ├── impl
│ │ │ ├── LookupPolicy.java
│ │ │ ├── MDP.java
│ │ │ └── ModifiedPolicyEvaluation.java
│ │ ├── MarkovDecisionProcess.java
│ │ ├── PolicyEvaluation.java
│ │ ├── Policy.java
│ │ ├── RewardFunction.java
│ │ ├── search
│ │ │ ├── PolicyIteration.java
│ │ │ └── ValueIteration.java
│ │ └── TransitionProbabilityFunction.java
│ ├── ProbabilityDensity.java
│ ├── ProbabilityDistribution.java
│ ├── ProbabilityMass.java
│ ├── ProbabilityModel.java
│ ├── proposition
│ │ ├── AbstractDerivedProposition.java
│ │ ├── AbstractProposition.java
│ │ ├── AbstractTermProposition.java
│ │ ├── AssignmentProposition.java
│ │ ├── BinarySentenceProposition.java
│ │ ├── ConjunctiveProposition.java
│ │ ├── DerivedProposition.java
│ │ ├── DisjunctiveProposition.java
│ │ ├── EquivalentProposition.java
│ │ ├── IntegerSumProposition.java
│ │ ├── NotProposition.java
│ │ ├── Proposition.java
│ │ ├── SentenceProposition.java
│ │ ├── SubsetProposition.java
│ │ ├── TermProposition.java
│ │ └── UnarySentenceProposition.java
│ ├── RandomVariable.java
│ ├── temporal
│ │ ├── BackwardStepInference.java
│ │ ├── ForwardBackwardInference.java
│ │ ├── ForwardStepInference.java
│ │ └── generic
│ │ └── ForwardBackward.java
│ └── util
│ ├── ProbabilityTable.java
│ ├── ProbUtil.java
│ └── RandVar.java
├── search
│ ├── adversarial
│ │ ├── AdversarialSearch.java
│ │ ├── AlphaBetaSearch.java
│ │ ├── Game.java
│ │ ├── IterativeDeepeningAlphaBetaSearch.java
│ │ └── MinimaxSearch.java
│ ├── csp
│ │ ├── AC3Strategy.java
│ │ ├── Assignment.java
│ │ ├── BacktrackingStrategy.java
│ │ ├── Constraint.java
│ │ ├── CSP.java
│ │ ├── CSPStateListener.java
│ │ ├── Domain.java
│ │ ├── DomainRestoreInfo.java
│ │ ├── ImprovedBacktrackingStrategy.java
│ │ ├── MapCSP.java
│ │ ├── MinConflictsStrategy.java
│ │ ├── NotEqualConstraint.java
│ │ ├── SolutionStrategy.java
│ │ └── Variable.java
│ ├── framework
│ │ ├── ActionsFunction.java
│ │ ├── BidirectionalProblem.java
│ │ ├── CutOffIndicatorAction.java
│ │ ├── DefaultGoalTest.java
│ │ ├── DefaultStepCostFunction.java
│ │ ├── EvaluationFunction.java
│ │ ├── GoalTest.java
│ │ ├── GraphSearch.java
│ │ ├── HeuristicFunction.java
│ │ ├── Metrics.java
│ │ ├── NodeExpander.java
│ │ ├── Node.java
│ │ ├── PathCostFunction.java
│ │ ├── PerceptToStateFunction.java
│ │ ├── PrioritySearch.java
│ │ ├── Problem.java
│ │ ├── QueueSearch.java
│ │ ├── ResultFunction.java
│ │ ├── SearchAgent.java
│ │ ├── Search.java
│ │ ├── SearchUtils.java
│ │ ├── SimpleProblemSolvingAgent.java
│ │ ├── SolutionChecker.java
│ │ ├── StepCostFunction.java
│ │ └── TreeSearch.java
│ ├── informed
│ │ ├── AStarEvaluationFunction.java
│ │ ├── AStarSearch.java
│ │ ├── BestFirstSearch.java
│ │ ├── GreedyBestFirstEvaluationFunction.java
│ │ ├── GreedyBestFirstSearch.java
│ │ └── RecursiveBestFirstSearch.java
│ ├── local
│ │ ├── FitnessFunction.java
│ │ ├── GeneticAlgorithm.java
│ │ ├── HillClimbingSearch.java
│ │ ├── Scheduler.java
│ │ └── SimulatedAnnealingSearch.java
│ ├── online
│ │ ├── LRTAStarAgent.java
│ │ ├── OnlineDFSAgent.java
│ │ └── OnlineSearchProblem.java
│ └── uninformed
│ ├── BidirectionalSearch.java
│ ├── BreadthFirstSearch.java
│ ├── DepthFirstSearch.java
│ ├── DepthLimitedSearch.java
│ ├── IterativeDeepeningSearch.java
│ └── UniformCostSearch.java
└── util
├── ArrayIterator.java
├── CancelableThread.java
├── Converter.java
├── datastructure
│ ├── FIFOQueue.java
│ ├── LabeledGraph.java
│ ├── LIFOQueue.java
│ ├── Pair.java
│ ├── Point2D.java
│ ├── PriorityQueue.java
│ ├── Queue.java
│ ├── Table.java
│ ├── Triplet.java
│ ├── TwoKeyHashMap.java
│ └── XYLocation.java
├── FrequencyCounter.java
├── JavaRandomizer.java
├── math
│ ├── Interval.java
│ ├── LUDecomposition.java
│ ├── Matrix.java
│ ├── MixedRadixNumber.java
│ └── Vector.java
├── MockRandomizer.java
├── Randomizer.java
├── SetOps.java
└── Util.java
151 directories, 949 files
Minimax 搜索算法 实现一个跳棋游戏 游戏由专门的借口定义，非常好的教学例子，代码也很值得学习
【实例截图】
【核心代码】
75222e78-cfe5-4574-a46e-b51afbba033d
└── Halma
├── bin
│ ├── aa
│ │ ├── Action.class
│ │ ├── HalmaGame.class
│ │ ├── HalmaMinimanSearch.class
│ │ ├── MinimaxSearch.class
│ │ ├── Point.class
│ │ └── State.class
│ └── aima
│ └── core
│ ├── agent
│ │ ├── Action.class
│ │ ├── Agent.class
│ │ ├── AgentProgram.class
│ │ ├── Environment.class
│ │ ├── EnvironmentObject.class
│ │ ├── EnvironmentState.class
│ │ ├── EnvironmentView.class
│ │ ├── EnvironmentViewNotifier.class
│ │ ├── impl
│ │ │ ├── AbstractAgent.class
│ │ │ ├── AbstractEnvironment.class
│ │ │ ├── aprog
│ │ │ │ ├── ModelBasedReflexAgentProgram.class
│ │ │ │ ├── SimpleReflexAgentProgram.class
│ │ │ │ ├── simplerule
│ │ │ │ │ ├── ANDCondition.class
│ │ │ │ │ ├── Condition.class
│ │ │ │ │ ├── EQUALCondition.class
│ │ │ │ │ ├── NOTCondition.class
│ │ │ │ │ ├── ORCondition.class
│ │ │ │ │ └── Rule.class
│ │ │ │ └── TableDrivenAgentProgram.class
│ │ │ ├── DynamicAction.class
│ │ │ ├── DynamicEnvironmentState.class
│ │ │ ├── DynamicPercept.class
│ │ │ ├── DynamicState.class
│ │ │ ├── NoOpAction.class
│ │ │ ├── ObjectWithDynamicAttributes.class
│ │ │ └── SimpleEnvironmentView.class
│ │ ├── Model.class
│ │ ├── Percept.class
│ │ └── State.class
│ ├── environment
│ │ ├── cellworld
│ │ │ ├── Cell.class
│ │ │ ├── CellWorldAction.class
│ │ │ ├── CellWorld.class
│ │ │ └── CellWorldFactory.class
│ │ ├── connectfour
│ │ │ ├── ActionValuePair.class
│ │ │ ├── ConnectFourAIPlayer.class
│ │ │ ├── ConnectFourGame.class
│ │ │ ├── ConnectFourState$WinPositionInfo.class
│ │ │ └── ConnectFourState.class
│ │ ├── eightpuzzle
│ │ │ ├── EightPuzzleBoard.class
│ │ │ ├── EightPuzzleFunctionFactory$EPActionsFunction.class
│ │ │ ├── EightPuzzleFunctionFactory$EPResultFunction.class
│ │ │ ├── EightPuzzleFunctionFactory.class
│ │ │ ├── EightPuzzleGoalTest.class
│ │ │ ├── ManhattanHeuristicFunction.class
│ │ │ └── MisplacedTilleHeuristicFunction.class
│ │ ├── map
│ │ │ ├── AdaptableHeuristicFunction.class
│ │ │ ├── BidirectionalMapProblem.class
│ │ │ ├── DynAttributeNames.class
│ │ │ ├── ExtendableMap.class
│ │ │ ├── MapAgent.class
│ │ │ ├── Map.class
│ │ │ ├── MapEnvironment.class
│ │ │ ├── MapEnvironmentState.class
│ │ │ ├── MapFunctionFactory$MapActionsFunction.class
│ │ │ ├── MapFunctionFactory$MapPerceptToStateFunction.class
│ │ │ ├── MapFunctionFactory$MapResultFunction.class
│ │ │ ├── MapFunctionFactory.class
│ │ │ ├── MapStepCostFunction.class
│ │ │ ├── MoveToAction.class
│ │ │ ├── package-info.class
│ │ │ ├── Scenario.class
│ │ │ ├── SimplifiedRoadMapOfAustralia.class
│ │ │ ├── SimplifiedRoadMapOfPartOfRomania.class
│ │ │ └── StraightLineDistanceHeuristicFunction.class
│ │ ├── nqueens
│ │ │ ├── AttackingPairsHeuristic.class
│ │ │ ├── NQueensBoard.class
│ │ │ ├── NQueensFitnessFunction.class
│ │ │ ├── NQueensFunctionFactory$NQCActionsFunction.class
│ │ │ ├── NQueensFunctionFactory$NQIActionsFunction.class
│ │ │ ├── NQueensFunctionFactory$NQResultFunction.class
│ │ │ ├── NQueensFunctionFactory.class
│ │ │ ├── NQueensGoalTest.class
│ │ │ └── QueenAction.class
│ │ ├── tictactoe
│ │ │ ├── TicTacToeGame.class
│ │ │ └── TicTacToeState.class
│ │ ├── vacuum
│ │ │ ├── ModelBasedReflexVacuumAgent$1.class
│ │ │ ├── ModelBasedReflexVacuumAgent.class
│ │ │ ├── ReflexVacuumAgent$1.class
│ │ │ ├── ReflexVacuumAgent.class
│ │ │ ├── SimpleReflexVacuumAgent.class
│ │ │ ├── TableDrivenVacuumAgent.class
│ │ │ ├── VacuumEnvironment$LocationState.class
│ │ │ ├── VacuumEnvironment.class
│ │ │ ├── VacuumEnvironmentState.class
│ │ │ └── VacuumEnvPercept.class
│ │ └── xyenv
│ │ ├── Wall.class
│ │ ├── XYEnvironment.class
│ │ └── XYEnvironmentState.class
│ ├── learning
│ │ ├── data
│ │ │ └── DataResource.class
│ │ ├── framework
│ │ │ ├── Attribute.class
│ │ │ ├── AttributeSpecification.class
│ │ │ ├── DataSet.class
│ │ │ ├── DataSetFactory.class
│ │ │ ├── DataSetSpecification.class
│ │ │ ├── Example.class
│ │ │ ├── Learner.class
│ │ │ ├── NumericAttribute.class
│ │ │ ├── NumericAttributeSpecification.class
│ │ │ ├── StringAttribute.class
│ │ │ └── StringAttributeSpecification.class
│ │ ├── inductive
│ │ │ ├── ConstantDecisonTree.class
│ │ │ ├── DecisionList.class
│ │ │ ├── DecisionTree.class
│ │ │ ├── DLTest.class
│ │ │ └── DLTestFactory.class
│ │ ├── knowledge
│ │ │ ├── CurrentBestLearning.class
│ │ │ ├── FOLDataSetDomain.class
│ │ │ ├── FOLExample.class
│ │ │ └── Hypothesis.class
│ │ ├── learners
│ │ │ ├── AdaBoostLearner.class
│ │ │ ├── CurrentBestLearner.class
│ │ │ ├── DecisionListLearner.class
│ │ │ ├── DecisionTreeLearner.class
│ │ │ ├── MajorityLearner.class
│ │ │ └── StumpLearner.class
│ │ ├── neural
│ │ │ ├── ActivationFunction.class
│ │ │ ├── BackPropLearning.class
│ │ │ ├── FeedForwardNeuralNetwork.class
│ │ │ ├── FunctionApproximator.class
│ │ │ ├── HardLimitActivationFunction.class
│ │ │ ├── IrisDataSetNumerizer.class
│ │ │ ├── IrisNNDataSet.class
│ │ │ ├── Layer.class
│ │ │ ├── LayerSensitivity.class
│ │ │ ├── LogSigActivationFunction.class
│ │ │ ├── NNConfig.class
│ │ │ ├── NNDataSet.class
│ │ │ ├── NNExample.class
│ │ │ ├── NNTrainingScheme.class
│ │ │ ├── Numerizer.class
│ │ │ ├── Perceptron.class
│ │ │ ├── PureLinearActivationFunction.class
│ │ │ └── RabbitEyeDataSet.class
│ │ └── reinforcement
│ │ ├── agent
│ │ │ ├── PassiveADPAgent$1.class
│ │ │ ├── PassiveADPAgent$2.class
│ │ │ ├── PassiveADPAgent.class
│ │ │ ├── PassiveTDAgent.class
│ │ │ ├── QLearningAgent.class
│ │ │ └── ReinforcementAgent.class
│ │ ├── example
│ │ │ ├── CellWorldEnvironment.class
│ │ │ ├── CellWorldEnvironmentState.class
│ │ │ └── CellWorldPercept.class
│ │ ├── PerceptStateReward.class
│ │ └── RewardPercept.class
│ ├── logic
│ │ ├── common
│ │ │ ├── Lexer.class
│ │ │ ├── LogicTokenTypes.class
│ │ │ ├── Parser.class
│ │ │ ├── ParseTreeNode.class
│ │ │ ├── Token.class
│ │ │ └── Visitor.class
│ │ ├── fol
│ │ │ ├── CNFConstructor$ArgData.class
│ │ │ ├── CNFConstructor.class
│ │ │ ├── CNFConverter.class
│ │ │ ├── CollectAllVariables.class
│ │ │ ├── Connectors.class
│ │ │ ├── DistributeOrOverAnd.class
│ │ │ ├── domain
│ │ │ │ ├── DomainFactory.class
│ │ │ │ ├── FOLDomainAnswerLiteralAddedEvent.class
│ │ │ │ ├── FOLDomain.class
│ │ │ │ ├── FOLDomainEvent.class
│ │ │ │ ├── FOLDomainListener.class
│ │ │ │ ├── FOLDomainSkolemConstantAddedEvent.class
│ │ │ │ └── FOLDomainSkolemFunctionAddedEvent.class
│ │ │ ├── ImplicationsOut.class
│ │ │ ├── inference
│ │ │ │ ├── AbstractModulation$IdentifyCandidateMatchingTerm.class
│ │ │ │ ├── AbstractModulation$ReplaceMatchingTerm.class
│ │ │ │ ├── AbstractModulation.class
│ │ │ │ ├── Demodulation.class
│ │ │ │ ├── FOLBCAsk$BCAskAnswerHandler.class
│ │ │ │ ├── FOLBCAsk.class
│ │ │ │ ├── FOLFCAsk$FCAskAnswerHandler.class
│ │ │ │ ├── FOLFCAsk.class
│ │ │ │ ├── FOLModelElimination$AnswerHandler.class
│ │ │ │ ├── FOLModelElimination.class
│ │ │ │ ├── FOLOTTERLikeTheoremProver$IndexedClauses.class
│ │ │ │ ├── FOLOTTERLikeTheoremProver$OTTERAnswerHandler.class
│ │ │ │ ├── FOLOTTERLikeTheoremProver.class
│ │ │ │ ├── FOLTFMResolution$TFMAnswerHandler.class
│ │ │ │ ├── FOLTFMResolution.class
│ │ │ │ ├── IndexedFarParents.class
│ │ │ │ ├── InferenceProcedure.class
│ │ │ │ ├── InferenceResult.class
│ │ │ │ ├── InferenceResultPrinter.class
│ │ │ │ ├── otter
│ │ │ │ │ ├── ClauseFilter.class
│ │ │ │ │ ├── ClauseSimplifier.class
│ │ │ │ │ ├── defaultimpl
│ │ │ │ │ │ ├── DefaultClauseFilter.class
│ │ │ │ │ │ ├── DefaultClauseSimplifier.class
│ │ │ │ │ │ ├── DefaultLightestClauseHeuristic.class
│ │ │ │ │ │ └── LightestClauseSorter.class
│ │ │ │ │ └── LightestClauseHeuristic.class
│ │ │ │ ├── Paramodulation.class
│ │ │ │ ├── proof
│ │ │ │ │ ├── AbstractProofStep.class
│ │ │ │ │ ├── Proof.class
│ │ │ │ │ ├── ProofFinal.class
│ │ │ │ │ ├── ProofPrinter.class
│ │ │ │ │ ├── ProofStepBwChGoal.class
│ │ │ │ │ ├── ProofStepChainCancellation.class
│ │ │ │ │ ├── ProofStepChainContrapositive.class
│ │ │ │ │ ├── ProofStepChainDropped.class
│ │ │ │ │ ├── ProofStepChainFromClause.class
│ │ │ │ │ ├── ProofStepChainReduction.class
│ │ │ │ │ ├── ProofStep.class
│ │ │ │ │ ├── ProofStepClauseBinaryResolvent.class
│ │ │ │ │ ├── ProofStepClauseClausifySentence.class
│ │ │ │ │ ├── ProofStepClauseDemodulation.class
│ │ │ │ │ ├── ProofStepClauseFactor.class
│ │ │ │ │ ├── ProofStepClauseParamodulation.class
│ │ │ │ │ ├── ProofStepFoChAlreadyAFact.class
│ │ │ │ │ ├── ProofStepFoChAssertFact.class
│ │ │ │ │ ├── ProofStepGoal.class
│ │ │ │ │ ├── ProofStepPremise.class
│ │ │ │ │ └── ProofStepRenaming.class
│ │ │ │ └── trace
│ │ │ │ ├── FOLModelEliminationTracer.class
│ │ │ │ └── FOLTFMResolutionTracer.class
│ │ │ ├── kb
│ │ │ │ ├── data
│ │ │ │ │ ├── Chain.class
│ │ │ │ │ ├── Clause.class
│ │ │ │ │ ├── ClauseEqualityIdentityConstructor.class
│ │ │ │ │ ├── CNF.class
│ │ │ │ │ ├── Literal.class
│ │ │ │ │ ├── LiteralsSorter.class
│ │ │ │ │ └── ReducedLiteral.class
│ │ │ │ ├── FOLKnowledgeBase.class
│ │ │ │ └── FOLKnowledgeBaseFactory.class
│ │ │ ├── NegationsIn.class
│ │ │ ├── parsing
│ │ │ │ ├── AbstractFOLVisitor.class
│ │ │ │ ├── ast
│ │ │ │ │ ├── AtomicSentence.class
│ │ │ │ │ ├── ConnectedSentence.class
│ │ │ │ │ ├── Constant.class
│ │ │ │ │ ├── FOLNode.class
│ │ │ │ │ ├── Function.class
│ │ │ │ │ ├── NotSentence.class
│ │ │ │ │ ├── Predicate.class
│ │ │ │ │ ├── QuantifiedSentence.class
│ │ │ │ │ ├── Sentence.class
│ │ │ │ │ ├── Term.class
│ │ │ │ │ ├── TermEquality.class
│ │ │ │ │ └── Variable.class
│ │ │ │ ├── FOLLexer.class
│ │ │ │ ├── FOLParser.class
│ │ │ │ └── FOLVisitor.class
│ │ │ ├── PredicateCollector.class
│ │ │ ├── Quantifiers.class
│ │ │ ├── RemoveQuantifiers.class
│ │ │ ├── StandardizeApart.class
│ │ │ ├── StandardizeApartIndexical.class
│ │ │ ├── StandardizeApartIndexicalFactory.class
│ │ │ ├── StandardizeApartIndexicalImpl.class
│ │ │ ├── StandardizeApartInPlace.class
│ │ │ ├── StandardizeApartResult.class
│ │ │ ├── StandardizeQuantiferVariables$1.class
│ │ │ ├── StandardizeQuantiferVariables.class
│ │ │ ├── SubstVisitor.class
│ │ │ ├── SubsumptionElimination.class
│ │ │ ├── Unifier.class
│ │ │ └── VariableCollector.class
│ │ └── propositional
│ │ ├── algorithms
│ │ │ ├── DPLL$SymbolValuePair.class
│ │ │ ├── DPLL.class
│ │ │ ├── KnowledgeBase.class
│ │ │ ├── LogicUtils.class
│ │ │ ├── Model.class
│ │ │ ├── PLFCEntails$HornClause.class
│ │ │ ├── PLFCEntails.class
│ │ │ ├── PLResolution$ClauseSymbols.class
│ │ │ ├── PLResolution.class
│ │ │ ├── TTEntails.class
│ │ │ └── WalkSAT.class
│ │ ├── parsing
│ │ │ ├── AbstractPLVisitor.class
│ │ │ ├── ast
│ │ │ │ ├── AtomicSentence.class
│ │ │ │ ├── BinarySentence.class
│ │ │ │ ├── ComplexSentence.class
│ │ │ │ ├── FalseSentence.class
│ │ │ │ ├── MultiSentence.class
│ │ │ │ ├── Sentence.class
│ │ │ │ ├── Symbol.class
│ │ │ │ ├── SymbolComparator.class
│ │ │ │ ├── TrueSentence.class
│ │ │ │ └── UnarySentence.class
│ │ │ ├── PELexer.class
│ │ │ ├── PEParser.class
│ │ │ └── PLVisitor.class
│ │ └── visitors
│ │ ├── AndDetector.class
│ │ ├── BasicTraverser.class
│ │ ├── CNFClauseGatherer.class
│ │ ├── CNFTransformer.class
│ │ ├── NegativeSymbolCollector.class
│ │ ├── PositiveSymbolCollector.class
│ │ ├── SymbolClassifier.class
│ │ └── SymbolCollector.class
│ ├── probability
│ │ ├── bayes
│ │ │ ├── approx
│ │ │ │ ├── BayesInferenceApproxAdapter.class
│ │ │ │ ├── BayesSampleInference.class
│ │ │ │ ├── GibbsAsk.class
│ │ │ │ ├── LikelihoodWeighting.class
│ │ │ │ ├── ParticleFiltering.class
│ │ │ │ ├── PriorSample.class
│ │ │ │ └── RejectionSampling.class
│ │ │ ├── BayesianNetwork.class
│ │ │ ├── BayesInference.class
│ │ │ ├── ConditionalProbabilityDistribution.class
│ │ │ ├── ConditionalProbabilityTable.class
│ │ │ ├── ContinuousNode.class
│ │ │ ├── DiscreteNode.class
│ │ │ ├── DynamicBayesianNetwork.class
│ │ │ ├── exact
│ │ │ │ ├── EliminationAsk.class
│ │ │ │ ├── EnumerationAsk$1.class
│ │ │ │ ├── EnumerationAsk$ObservedEvidence.class
│ │ │ │ └── EnumerationAsk.class
│ │ │ ├── FiniteNode.class
│ │ │ ├── impl
│ │ │ │ ├── AbstractNode.class
│ │ │ │ ├── BayesNet.class
│ │ │ │ ├── CPT$1.class
│ │ │ │ ├── CPT$2.class
│ │ │ │ ├── CPT$3.class
│ │ │ │ ├── CPT.class
│ │ │ │ ├── DynamicBayesNet.class
│ │ │ │ └── FullCPTNode.class
│ │ │ ├── model
│ │ │ │ ├── FiniteBayesModel$1.class
│ │ │ │ ├── FiniteBayesModel$2.class
│ │ │ │ └── FiniteBayesModel.class
│ │ │ └── Node.class
│ │ ├── CategoricalDistribution$Iterator.class
│ │ ├── CategoricalDistribution.class
│ │ ├── domain
│ │ │ ├── AbstractContinuousDomain.class
│ │ │ ├── AbstractDiscreteDomain.class
│ │ │ ├── AbstractFiniteDomain.class
│ │ │ ├── ArbitraryTokenDomain.class
│ │ │ ├── BooleanDomain.class
│ │ │ ├── ContinuousDomain.class
│ │ │ ├── DiscreteDomain.class
│ │ │ ├── Domain.class
│ │ │ ├── FiniteDomain.class
│ │ │ └── FiniteIntegerDomain.class
│ │ ├── example
│ │ │ ├── BayesNetExampleFactory.class
│ │ │ ├── DynamicBayesNetExampleFactory.class
│ │ │ ├── ExampleRV.class
│ │ │ ├── FullJointDistributionBurglaryAlarmModel.class
│ │ │ ├── FullJointDistributionMeningitisStiffNeckModel.class
│ │ │ ├── FullJointDistributionPairFairDiceModel.class
│ │ │ ├── FullJointDistributionToothacheCavityCatchModel.class
│ │ │ ├── FullJointDistributionToothacheCavityCatchWeatherModel.class
│ │ │ ├── GenericTemporalModelFactory.class
│ │ │ ├── HMMExampleFactory.class
│ │ │ ├── MDPFactory$1.class
│ │ │ ├── MDPFactory$2.class
│ │ │ ├── MDPFactory$3.class
│ │ │ └── MDPFactory.class
│ │ ├── Factor$Iterator.class
│ │ ├── Factor.class
│ │ ├── FiniteProbabilityModel.class
│ │ ├── full
│ │ │ ├── FullJointDistributionModel$1.class
│ │ │ ├── FullJointDistributionModel$2.class
│ │ │ └── FullJointDistributionModel.class
│ │ ├── hmm
│ │ │ ├── exact
│ │ │ │ ├── FixedLagSmoothing.class
│ │ │ │ ├── HMMForwardBackward.class
│ │ │ │ └── HMMForwardBackwardConstantSpace.class
│ │ │ ├── HiddenMarkovModel.class
│ │ │ └── impl
│ │ │ └── HMM.class
│ │ ├── mdp
│ │ │ ├── ActionsFunction.class
│ │ │ ├── impl
│ │ │ │ ├── LookupPolicy.class
│ │ │ │ ├── MDP.class
│ │ │ │ └── ModifiedPolicyEvaluation.class
│ │ │ ├── MarkovDecisionProcess.class
│ │ │ ├── Policy.class
│ │ │ ├── PolicyEvaluation.class
│ │ │ ├── RewardFunction.class
│ │ │ ├── search
│ │ │ │ ├── PolicyIteration.class
│ │ │ │ └── ValueIteration.class
│ │ │ └── TransitionProbabilityFunction.class
│ │ ├── ProbabilityDensity.class
│ │ ├── ProbabilityDistribution.class
│ │ ├── ProbabilityMass.class
│ │ ├── ProbabilityModel.class
│ │ ├── proposition
│ │ │ ├── AbstractDerivedProposition.class
│ │ │ ├── AbstractProposition.class
│ │ │ ├── AbstractTermProposition.class
│ │ │ ├── AssignmentProposition.class
│ │ │ ├── BinarySentenceProposition.class
│ │ │ ├── ConjunctiveProposition.class
│ │ │ ├── DerivedProposition.class
│ │ │ ├── DisjunctiveProposition.class
│ │ │ ├── EquivalentProposition.class
│ │ │ ├── IntegerSumProposition.class
│ │ │ ├── NotProposition.class
│ │ │ ├── Proposition.class
│ │ │ ├── SentenceProposition.class
│ │ │ ├── SubsetProposition.class
│ │ │ ├── TermProposition.class
│ │ │ └── UnarySentenceProposition.class
│ │ ├── RandomVariable.class
│ │ ├── temporal
│ │ │ ├── BackwardStepInference.class
│ │ │ ├── ForwardBackwardInference.class
│ │ │ ├── ForwardStepInference.class
│ │ │ └── generic
│ │ │ ├── ForwardBackward$1.class
│ │ │ ├── ForwardBackward$2.class
│ │ │ └── ForwardBackward.class
│ │ └── util
│ │ ├── ProbabilityTable$1.class
│ │ ├── ProbabilityTable$2.class
│ │ ├── ProbabilityTable$3.class
│ │ ├── ProbabilityTable$CategoricalDistributionIteratorAdapter.class
│ │ ├── ProbabilityTable$FactorIteratorAdapter.class
│ │ ├── ProbabilityTable$Iterator.class
│ │ ├── ProbabilityTable$RVInfo.class
│ │ ├── ProbabilityTable.class
│ │ ├── ProbUtil.class
│ │ └── RandVar.class
│ ├── search
│ │ ├── adversarial
│ │ │ ├── AdversarialSearch.class
│ │ │ ├── AlphaBetaSearch.class
│ │ │ ├── Game.class
│ │ │ ├── IterativeDeepeningAlphaBetaSearch.class
│ │ │ └── MinimaxSearch.class
│ │ ├── csp
│ │ │ ├── AC3Strategy.class
│ │ │ ├── Assignment.class
│ │ │ ├── BacktrackingStrategy.class
│ │ │ ├── Constraint.class
│ │ │ ├── CSP.class
│ │ │ ├── CSPStateListener.class
│ │ │ ├── Domain.class
│ │ │ ├── DomainRestoreInfo.class
│ │ │ ├── ImprovedBacktrackingStrategy$1.class
│ │ │ ├── ImprovedBacktrackingStrategy$Inference.class
│ │ │ ├── ImprovedBacktrackingStrategy$Selection.class
│ │ │ ├── ImprovedBacktrackingStrategy.class
│ │ │ ├── MapCSP.class
│ │ │ ├── MinConflictsStrategy.class
│ │ │ ├── NotEqualConstraint.class
│ │ │ ├── SolutionStrategy.class
│ │ │ └── Variable.class
│ │ ├── framework
│ │ │ ├── ActionsFunction.class
│ │ │ ├── BidirectionalProblem.class
│ │ │ ├── CutOffIndicatorAction.class
│ │ │ ├── DefaultGoalTest.class
│ │ │ ├── DefaultStepCostFunction.class
│ │ │ ├── EvaluationFunction.class
│ │ │ ├── GoalTest.class
│ │ │ ├── GraphSearch.class
│ │ │ ├── HeuristicFunction.class
│ │ │ ├── Metrics.class
│ │ │ ├── Node.class
│ │ │ ├── NodeExpander.class
│ │ │ ├── PathCostFunction.class
│ │ │ ├── PerceptToStateFunction.class
│ │ │ ├── PrioritySearch.class
│ │ │ ├── Problem.class
│ │ │ ├── QueueSearch.class
│ │ │ ├── ResultFunction.class
│ │ │ ├── SearchAgent.class
│ │ │ ├── Search.class
│ │ │ ├── SearchUtils.class
│ │ │ ├── SimpleProblemSolvingAgent.class
│ │ │ ├── SolutionChecker.class
│ │ │ ├── StepCostFunction.class
│ │ │ └── TreeSearch.class
│ │ ├── informed
│ │ │ ├── AStarEvaluationFunction.class
│ │ │ ├── AStarSearch.class
│ │ │ ├── BestFirstSearch$1.class
│ │ │ ├── BestFirstSearch.class
│ │ │ ├── GreedyBestFirstEvaluationFunction.class
│ │ │ ├── GreedyBestFirstSearch.class
│ │ │ ├── RecursiveBestFirstSearch.class
│ │ │ ├── SearchResult$SearchOutcome.class
│ │ │ └── SearchResult.class
│ │ ├── local
│ │ │ ├── FitnessFunction.class
│ │ │ ├── GeneticAlgorithm.class
│ │ │ ├── HillClimbingSearch$SearchOutcome.class
│ │ │ ├── HillClimbingSearch.class
│ │ │ ├── Scheduler.class
│ │ │ ├── SimulatedAnnealingSearch$SearchOutcome.class
│ │ │ └── SimulatedAnnealingSearch.class
│ │ ├── online
│ │ │ ├── LRTAStarAgent.class
│ │ │ ├── OnlineDFSAgent.class
│ │ │ └── OnlineSearchProblem.class
│ │ └── uninformed
│ │ ├── BidirectionalSearch$SearchOutcome.class
│ │ ├── BidirectionalSearch.class
│ │ ├── BreadthFirstSearch.class
│ │ ├── CachedStateQueue.class
│ │ ├── DepthFirstSearch.class
│ │ ├── DepthLimitedSearch.class
│ │ ├── IterativeDeepeningSearch.class
│ │ ├── UniformCostSearch$1.class
│ │ └── UniformCostSearch.class
│ └── util
│ ├── ArrayIterator.class
│ ├── CancelableThread.class
│ ├── Converter.class
│ ├── datastructure
│ │ ├── FIFOQueue.class
│ │ ├── LabeledGraph.class
│ │ ├── LIFOQueue.class
│ │ ├── Pair.class
│ │ ├── Point2D.class
│ │ ├── PriorityQueue.class
│ │ ├── Queue.class
│ │ ├── Table$Cell.class
│ │ ├── Table$Row.class
│ │ ├── Table.class
│ │ ├── Triplet.class
│ │ ├── TwoKeyHashMap.class
│ │ ├── XYLocation$Direction.class
│ │ └── XYLocation.class
│ ├── FrequencyCounter.class
│ ├── JavaRandomizer.class
│ ├── math
│ │ ├── Interval.class
│ │ ├── LUDecomposition.class
│ │ ├── Matrix.class
│ │ ├── MixedRadixNumber.class
│ │ └── Vector.class
│ ├── MockRandomizer.class
│ ├── Randomizer.class
│ ├── SetOps.class
│ └── Util.class
└── src
├── aa
│ ├── Action.java
│ ├── HalmaGame.java
│ ├── HalmaMinimanSearch.java
│ ├── MinimaxSearch.java
│ ├── Point.java
│ └── State.java
└── aima
└── core
├── agent
│ ├── Action.java
│ ├── Agent.java
│ ├── AgentProgram.java
│ ├── Environment.java
│ ├── EnvironmentObject.java
│ ├── EnvironmentState.java
│ ├── EnvironmentView.java
│ ├── EnvironmentViewNotifier.java
│ ├── impl
│ │ ├── AbstractAgent.java
│ │ ├── AbstractEnvironment.java
│ │ ├── aprog
│ │ │ ├── ModelBasedReflexAgentProgram.java
│ │ │ ├── SimpleReflexAgentProgram.java
│ │ │ ├── simplerule
│ │ │ │ ├── ANDCondition.java
│ │ │ │ ├── Condition.java
│ │ │ │ ├── EQUALCondition.java
│ │ │ │ ├── NOTCondition.java
│ │ │ │ ├── ORCondition.java
│ │ │ │ └── Rule.java
│ │ │ └── TableDrivenAgentProgram.java
│ │ ├── DynamicAction.java
│ │ ├── DynamicEnvironmentState.java
│ │ ├── DynamicPercept.java
│ │ ├── DynamicState.java
│ │ ├── NoOpAction.java
│ │ ├── ObjectWithDynamicAttributes.java
│ │ └── SimpleEnvironmentView.java
│ ├── Model.java
│ ├── Percept.java
│ └── State.java
├── environment
│ ├── cellworld
│ │ ├── Cell.java
│ │ ├── CellWorldAction.java
│ │ ├── CellWorldFactory.java
│ │ └── CellWorld.java
│ ├── connectfour
│ │ ├── ActionValuePair.java
│ │ ├── ConnectFourAIPlayer.java
│ │ ├── ConnectFourGame.java
│ │ └── ConnectFourState.java
│ ├── eightpuzzle
│ │ ├── EightPuzzleBoard.java
│ │ ├── EightPuzzleFunctionFactory.java
│ │ ├── EightPuzzleGoalTest.java
│ │ ├── ManhattanHeuristicFunction.java
│ │ └── MisplacedTilleHeuristicFunction.java
│ ├── map
│ │ ├── AdaptableHeuristicFunction.java
│ │ ├── BidirectionalMapProblem.java
│ │ ├── DynAttributeNames.java
│ │ ├── ExtendableMap.java
│ │ ├── MapAgent.java
│ │ ├── MapEnvironment.java
│ │ ├── MapEnvironmentState.java
│ │ ├── MapFunctionFactory.java
│ │ ├── Map.java
│ │ ├── MapStepCostFunction.java
│ │ ├── MoveToAction.java
│ │ ├── package-info.java
│ │ ├── Scenario.java
│ │ ├── SimplifiedRoadMapOfAustralia.java
│ │ ├── SimplifiedRoadMapOfPartOfRomania.java
│ │ └── StraightLineDistanceHeuristicFunction.java
│ ├── nqueens
│ │ ├── AttackingPairsHeuristic.java
│ │ ├── NQueensBoard.java
│ │ ├── NQueensFitnessFunction.java
│ │ ├── NQueensFunctionFactory.java
│ │ ├── NQueensGoalTest.java
│ │ └── QueenAction.java
│ ├── tictactoe
│ │ ├── TicTacToeGame.java
│ │ └── TicTacToeState.java
│ ├── vacuum
│ │ ├── ModelBasedReflexVacuumAgent.java
│ │ ├── ReflexVacuumAgent.java
│ │ ├── SimpleReflexVacuumAgent.java
│ │ ├── TableDrivenVacuumAgent.java
│ │ ├── VacuumEnvironment.java
│ │ ├── VacuumEnvironmentState.java
│ │ └── VacuumEnvPercept.java
│ └── xyenv
│ ├── Wall.java
│ └── XYEnvironment.java
├── learning
│ ├── data
│ │ └── DataResource.java
│ ├── framework
│ │ ├── Attribute.java
│ │ ├── AttributeSpecification.java
│ │ ├── DataSetFactory.java
│ │ ├── DataSet.java
│ │ ├── DataSetSpecification.java
│ │ ├── Example.java
│ │ ├── Learner.java
│ │ ├── NumericAttribute.java
│ │ ├── NumericAttributeSpecification.java
│ │ ├── StringAttribute.java
│ │ └── StringAttributeSpecification.java
│ ├── inductive
│ │ ├── ConstantDecisonTree.java
│ │ ├── DecisionList.java
│ │ ├── DecisionTree.java
│ │ ├── DLTestFactory.java
│ │ └── DLTest.java
│ ├── knowledge
│ │ ├── CurrentBestLearning.java
│ │ ├── FOLDataSetDomain.java
│ │ ├── FOLExample.java
│ │ └── Hypothesis.java
│ ├── learners
│ │ ├── AdaBoostLearner.java
│ │ ├── CurrentBestLearner.java
│ │ ├── DecisionListLearner.java
│ │ ├── DecisionTreeLearner.java
│ │ ├── MajorityLearner.java
│ │ └── StumpLearner.java
│ ├── neural
│ │ ├── ActivationFunction.java
│ │ ├── BackPropLearning.java
│ │ ├── FeedForwardNeuralNetwork.java
│ │ ├── FunctionApproximator.java
│ │ ├── HardLimitActivationFunction.java
│ │ ├── IrisDataSetNumerizer.java
│ │ ├── IrisNNDataSet.java
│ │ ├── Layer.java
│ │ ├── LayerSensitivity.java
│ │ ├── LogSigActivationFunction.java
│ │ ├── NNConfig.java
│ │ ├── NNDataSet.java
│ │ ├── NNExample.java
│ │ ├── NNTrainingScheme.java
│ │ ├── Numerizer.java
│ │ ├── Perceptron.java
│ │ ├── PureLinearActivationFunction.java
│ │ └── RabbitEyeDataSet.java
│ └── reinforcement
│ ├── agent
│ │ ├── PassiveADPAgent.java
│ │ ├── PassiveTDAgent.java
│ │ ├── QLearningAgent.java
│ │ └── ReinforcementAgent.java
│ ├── example
│ │ ├── CellWorldEnvironment.java
│ │ ├── CellWorldEnvironmentState.java
│ │ └── CellWorldPercept.java
│ ├── PerceptStateReward.java
│ └── RewardPercept.java
├── logic
│ ├── common
│ │ ├── Lexer.java
│ │ ├── LogicTokenTypes.java
│ │ ├── Parser.java
│ │ ├── ParseTreeNode.java
│ │ ├── Token.java
│ │ └── Visitor.java
│ ├── fol
│ │ ├── CNFConverter.java
│ │ ├── Connectors.java
│ │ ├── domain
│ │ │ ├── DomainFactory.java
│ │ │ ├── FOLDomainAnswerLiteralAddedEvent.java
│ │ │ ├── FOLDomainEvent.java
│ │ │ ├── FOLDomain.java
│ │ │ ├── FOLDomainListener.java
│ │ │ ├── FOLDomainSkolemConstantAddedEvent.java
│ │ │ └── FOLDomainSkolemFunctionAddedEvent.java
│ │ ├── inference
│ │ │ ├── AbstractModulation.java
│ │ │ ├── Demodulation.java
│ │ │ ├── FOLBCAsk.java
│ │ │ ├── FOLFCAsk.java
│ │ │ ├── FOLModelElimination.java
│ │ │ ├── FOLOTTERLikeTheoremProver.java
│ │ │ ├── FOLTFMResolution.java
│ │ │ ├── InferenceProcedure.java
│ │ │ ├── InferenceResult.java
│ │ │ ├── InferenceResultPrinter.java
│ │ │ ├── otter
│ │ │ │ ├── ClauseFilter.java
│ │ │ │ ├── ClauseSimplifier.java
│ │ │ │ ├── defaultimpl
│ │ │ │ │ ├── DefaultClauseFilter.java
│ │ │ │ │ ├── DefaultClauseSimplifier.java
│ │ │ │ │ └── DefaultLightestClauseHeuristic.java
│ │ │ │ └── LightestClauseHeuristic.java
│ │ │ ├── Paramodulation.java
│ │ │ ├── proof
│ │ │ │ ├── AbstractProofStep.java
│ │ │ │ ├── ProofFinal.java
│ │ │ │ ├── Proof.java
│ │ │ │ ├── ProofPrinter.java
│ │ │ │ ├── ProofStepBwChGoal.java
│ │ │ │ ├── ProofStepChainCancellation.java
│ │ │ │ ├── ProofStepChainContrapositive.java
│ │ │ │ ├── ProofStepChainDropped.java
│ │ │ │ ├── ProofStepChainFromClause.java
│ │ │ │ ├── ProofStepChainReduction.java
│ │ │ │ ├── ProofStepClauseBinaryResolvent.java
│ │ │ │ ├── ProofStepClauseClausifySentence.java
│ │ │ │ ├── ProofStepClauseDemodulation.java
│ │ │ │ ├── ProofStepClauseFactor.java
│ │ │ │ ├── ProofStepClauseParamodulation.java
│ │ │ │ ├── ProofStepFoChAlreadyAFact.java
│ │ │ │ ├── ProofStepFoChAssertFact.java
│ │ │ │ ├── ProofStepGoal.java
│ │ │ │ ├── ProofStep.java
│ │ │ │ ├── ProofStepPremise.java
│ │ │ │ └── ProofStepRenaming.java
│ │ │ └── trace
│ │ │ ├── FOLModelEliminationTracer.java
│ │ │ └── FOLTFMResolutionTracer.java
│ │ ├── kb
│ │ │ ├── data
│ │ │ │ ├── Chain.java
│ │ │ │ ├── Clause.java
│ │ │ │ ├── CNF.java
│ │ │ │ ├── Literal.java
│ │ │ │ └── ReducedLiteral.java
│ │ │ ├── FOLKnowledgeBaseFactory.java
│ │ │ └── FOLKnowledgeBase.java
│ │ ├── parsing
│ │ │ ├── AbstractFOLVisitor.java
│ │ │ ├── ast
│ │ │ │ ├── AtomicSentence.java
│ │ │ │ ├── ConnectedSentence.java
│ │ │ │ ├── Constant.java
│ │ │ │ ├── FOLNode.java
│ │ │ │ ├── Function.java
│ │ │ │ ├── NotSentence.java
│ │ │ │ ├── Predicate.java
│ │ │ │ ├── QuantifiedSentence.java
│ │ │ │ ├── Sentence.java
│ │ │ │ ├── TermEquality.java
│ │ │ │ ├── Term.java
│ │ │ │ └── Variable.java
│ │ │ ├── FOLLexer.java
│ │ │ ├── FOLParser.java
│ │ │ └── FOLVisitor.java
│ │ ├── PredicateCollector.java
│ │ ├── Quantifiers.java
│ │ ├── StandardizeApartIndexicalFactory.java
│ │ ├── StandardizeApartIndexical.java
│ │ ├── StandardizeApartInPlace.java
│ │ ├── StandardizeApart.java
│ │ ├── StandardizeApartResult.java
│ │ ├── SubstVisitor.java
│ │ ├── SubsumptionElimination.java
│ │ ├── Unifier.java
│ │ └── VariableCollector.java
│ └── propositional
│ ├── algorithms
│ │ ├── DPLL.java
│ │ ├── KnowledgeBase.java
│ │ ├── LogicUtils.java
│ │ ├── Model.java
│ │ ├── PLFCEntails.java
│ │ ├── PLResolution.java
│ │ ├── TTEntails.java
│ │ └── WalkSAT.java
│ ├── parsing
│ │ ├── AbstractPLVisitor.java
│ │ ├── ast
│ │ │ ├── AtomicSentence.java
│ │ │ ├── BinarySentence.java
│ │ │ ├── ComplexSentence.java
│ │ │ ├── FalseSentence.java
│ │ │ ├── MultiSentence.java
│ │ │ ├── Sentence.java
│ │ │ ├── SymbolComparator.java
│ │ │ ├── Symbol.java
│ │ │ ├── TrueSentence.java
│ │ │ └── UnarySentence.java
│ │ ├── PELexer.java
│ │ ├── PEParser.java
│ │ └── PLVisitor.java
│ └── visitors
│ ├── AndDetector.java
│ ├── BasicTraverser.java
│ ├── CNFClauseGatherer.java
│ ├── CNFTransformer.java
│ ├── NegativeSymbolCollector.java
│ ├── PositiveSymbolCollector.java
│ ├── SymbolClassifier.java
│ └── SymbolCollector.java
├── probability
│ ├── bayes
│ │ ├── approx
│ │ │ ├── BayesInferenceApproxAdapter.java
│ │ │ ├── BayesSampleInference.java
│ │ │ ├── GibbsAsk.java
│ │ │ ├── LikelihoodWeighting.java
│ │ │ ├── ParticleFiltering.java
│ │ │ ├── PriorSample.java
│ │ │ └── RejectionSampling.java
│ │ ├── BayesianNetwork.java
│ │ ├── BayesInference.java
│ │ ├── ConditionalProbabilityDistribution.java
│ │ ├── ConditionalProbabilityTable.java
│ │ ├── ContinuousNode.java
│ │ ├── DiscreteNode.java
│ │ ├── DynamicBayesianNetwork.java
│ │ ├── exact
│ │ │ ├── EliminationAsk.java
│ │ │ └── EnumerationAsk.java
│ │ ├── FiniteNode.java
│ │ ├── impl
│ │ │ ├── AbstractNode.java
│ │ │ ├── BayesNet.java
│ │ │ ├── CPT.java
│ │ │ ├── DynamicBayesNet.java
│ │ │ └── FullCPTNode.java
│ │ ├── model
│ │ │ └── FiniteBayesModel.java
│ │ └── Node.java
│ ├── CategoricalDistribution.java
│ ├── domain
│ │ ├── AbstractContinuousDomain.java
│ │ ├── AbstractDiscreteDomain.java
│ │ ├── AbstractFiniteDomain.java
│ │ ├── ArbitraryTokenDomain.java
│ │ ├── BooleanDomain.java
│ │ ├── ContinuousDomain.java
│ │ ├── DiscreteDomain.java
│ │ ├── Domain.java
│ │ ├── FiniteDomain.java
│ │ └── FiniteIntegerDomain.java
│ ├── example
│ │ ├── BayesNetExampleFactory.java
│ │ ├── DynamicBayesNetExampleFactory.java
│ │ ├── ExampleRV.java
│ │ ├── FullJointDistributionBurglaryAlarmModel.java
│ │ ├── FullJointDistributionMeningitisStiffNeckModel.java
│ │ ├── FullJointDistributionPairFairDiceModel.java
│ │ ├── FullJointDistributionToothacheCavityCatchModel.java
│ │ ├── FullJointDistributionToothacheCavityCatchWeatherModel.java
│ │ ├── GenericTemporalModelFactory.java
│ │ ├── HMMExampleFactory.java
│ │ └── MDPFactory.java
│ ├── Factor.java
│ ├── FiniteProbabilityModel.java
│ ├── full
│ │ └── FullJointDistributionModel.java
│ ├── hmm
│ │ ├── exact
│ │ │ ├── FixedLagSmoothing.java
│ │ │ ├── HMMForwardBackwardConstantSpace.java
│ │ │ └── HMMForwardBackward.java
│ │ ├── HiddenMarkovModel.java
│ │ └── impl
│ │ └── HMM.java
│ ├── mdp
│ │ ├── ActionsFunction.java
│ │ ├── impl
│ │ │ ├── LookupPolicy.java
│ │ │ ├── MDP.java
│ │ │ └── ModifiedPolicyEvaluation.java
│ │ ├── MarkovDecisionProcess.java
│ │ ├── PolicyEvaluation.java
│ │ ├── Policy.java
│ │ ├── RewardFunction.java
│ │ ├── search
│ │ │ ├── PolicyIteration.java
│ │ │ └── ValueIteration.java
│ │ └── TransitionProbabilityFunction.java
│ ├── ProbabilityDensity.java
│ ├── ProbabilityDistribution.java
│ ├── ProbabilityMass.java
│ ├── ProbabilityModel.java
│ ├── proposition
│ │ ├── AbstractDerivedProposition.java
│ │ ├── AbstractProposition.java
│ │ ├── AbstractTermProposition.java
│ │ ├── AssignmentProposition.java
│ │ ├── BinarySentenceProposition.java
│ │ ├── ConjunctiveProposition.java
│ │ ├── DerivedProposition.java
│ │ ├── DisjunctiveProposition.java
│ │ ├── EquivalentProposition.java
│ │ ├── IntegerSumProposition.java
│ │ ├── NotProposition.java
│ │ ├── Proposition.java
│ │ ├── SentenceProposition.java
│ │ ├── SubsetProposition.java
│ │ ├── TermProposition.java
│ │ └── UnarySentenceProposition.java
│ ├── RandomVariable.java
│ ├── temporal
│ │ ├── BackwardStepInference.java
│ │ ├── ForwardBackwardInference.java
│ │ ├── ForwardStepInference.java
│ │ └── generic
│ │ └── ForwardBackward.java
│ └── util
│ ├── ProbabilityTable.java
│ ├── ProbUtil.java
│ └── RandVar.java
├── search
│ ├── adversarial
│ │ ├── AdversarialSearch.java
│ │ ├── AlphaBetaSearch.java
│ │ ├── Game.java
│ │ ├── IterativeDeepeningAlphaBetaSearch.java
│ │ └── MinimaxSearch.java
│ ├── csp
│ │ ├── AC3Strategy.java
│ │ ├── Assignment.java
│ │ ├── BacktrackingStrategy.java
│ │ ├── Constraint.java
│ │ ├── CSP.java
│ │ ├── CSPStateListener.java
│ │ ├── Domain.java
│ │ ├── DomainRestoreInfo.java
│ │ ├── ImprovedBacktrackingStrategy.java
│ │ ├── MapCSP.java
│ │ ├── MinConflictsStrategy.java
│ │ ├── NotEqualConstraint.java
│ │ ├── SolutionStrategy.java
│ │ └── Variable.java
│ ├── framework
│ │ ├── ActionsFunction.java
│ │ ├── BidirectionalProblem.java
│ │ ├── CutOffIndicatorAction.java
│ │ ├── DefaultGoalTest.java
│ │ ├── DefaultStepCostFunction.java
│ │ ├── EvaluationFunction.java
│ │ ├── GoalTest.java
│ │ ├── GraphSearch.java
│ │ ├── HeuristicFunction.java
│ │ ├── Metrics.java
│ │ ├── NodeExpander.java
│ │ ├── Node.java
│ │ ├── PathCostFunction.java
│ │ ├── PerceptToStateFunction.java
│ │ ├── PrioritySearch.java
│ │ ├── Problem.java
│ │ ├── QueueSearch.java
│ │ ├── ResultFunction.java
│ │ ├── SearchAgent.java
│ │ ├── Search.java
│ │ ├── SearchUtils.java
│ │ ├── SimpleProblemSolvingAgent.java
│ │ ├── SolutionChecker.java
│ │ ├── StepCostFunction.java
│ │ └── TreeSearch.java
│ ├── informed
│ │ ├── AStarEvaluationFunction.java
│ │ ├── AStarSearch.java
│ │ ├── BestFirstSearch.java
│ │ ├── GreedyBestFirstEvaluationFunction.java
│ │ ├── GreedyBestFirstSearch.java
│ │ └── RecursiveBestFirstSearch.java
│ ├── local
│ │ ├── FitnessFunction.java
│ │ ├── GeneticAlgorithm.java
│ │ ├── HillClimbingSearch.java
│ │ ├── Scheduler.java
│ │ └── SimulatedAnnealingSearch.java
│ ├── online
│ │ ├── LRTAStarAgent.java
│ │ ├── OnlineDFSAgent.java
│ │ └── OnlineSearchProblem.java
│ └── uninformed
│ ├── BidirectionalSearch.java
│ ├── BreadthFirstSearch.java
│ ├── DepthFirstSearch.java
│ ├── DepthLimitedSearch.java
│ ├── IterativeDeepeningSearch.java
│ └── UniformCostSearch.java
└── util
├── ArrayIterator.java
├── CancelableThread.java
├── Converter.java
├── datastructure
│ ├── FIFOQueue.java
│ ├── LabeledGraph.java
│ ├── LIFOQueue.java
│ ├── Pair.java
│ ├── Point2D.java
│ ├── PriorityQueue.java
│ ├── Queue.java
│ ├── Table.java
│ ├── Triplet.java
│ ├── TwoKeyHashMap.java
│ └── XYLocation.java
├── FrequencyCounter.java
├── JavaRandomizer.java
├── math
│ ├── Interval.java
│ ├── LUDecomposition.java
│ ├── Matrix.java
│ ├── MixedRadixNumber.java
│ └── Vector.java
├── MockRandomizer.java
├── Randomizer.java
├── SetOps.java
└── Util.java
151 directories, 949 files
标签：
好例子网口号：伸出你的我的手 — 分享！
相关软件
小贴士
感谢您为本站写下的评论，您的评论对其它用户来说具有重要的参考价值，所以请认真填写。
- 类似“顶”、“沙发”之类没有营养的文字，对勤劳贡献的楼主来说是令人沮丧的反馈信息。
- 相信您也不想看到一排文字/表情墙，所以请不要反馈意义不大的重复字符，也请尽量不要纯表情的回复。
- 提问之前请再仔细看一遍楼主的说明，或许是您遗漏了。
- 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦，又没人会搭理，于人于己都无利。
关于好例子网
本站旨在为广大IT学习爱好者提供一个非营利性互相学习交流分享平台。本站所有资源都可以被免费获取学习研究。本站资源来自网友分享，对搜索内容的合法性不具有预见性、识别性、控制性，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，平台无法对用户传输的作品、信息、内容的权属或合法性、安全性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论平台是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二与二十三条之规定，若资源存在侵权或相关问题请联系本站客服人员，点此联系我们。关于更多版权及免责申明参见 版权及免责申明
网友评论
我要评论