index.wiki (13004B)
1 = Intelligent Systems = 2 3 core topics: 4 * search & heuristics 5 * knowledge 6 * adaptivity 7 8 {{file:img/decision-making.png|Decision making diagram}} 9 10 Table of contents: 11 * [[/assessment-info|Assessment information]] 12 * [[/state-space-repr-intro#State Space Representations Intro|State Space Representations Intro]] 13 * [[/state-space-search#State space search|State space search]] 14 * [[/state-space-search#State space search#Uninformed search strategies|Uninformed search strategies]] 15 * [[/state-space-search#State space search#Uninformed search strategies#Breadth-first (BF) search|Breadth-first (BF) search]] 16 * [[/state-space-search#State space search#Uninformed search strategies#Depth-first (DF) search|Depth-first (DF) search]] 17 * [[/state-space-search#State space search#Uninformed search strategies#Depth-limited search|Depth-limited search]] 18 * [[/state-space-search#State space search#Uninformed search strategies#Iterative deepening search|Iterative deepening search]] 19 * [[/state-space-search#State space search#Informed search (heuristics)|Informed search (heuristics)]] 20 * [[/state-space-search#State space search#Informed search (heuristics)#A Search|A Search]] 21 * [[/state-space-search#State space search#Informed search (heuristics)#A* Search|A* Search]] 22 * [[/state-space-search#State space search#Adversarial search|Adversarial search]] 23 * [[/state-space-search#State space search#Adversarial search#Minimax|Minimax]] 24 * [[/state-space-search#State space search#Adversarial search#Minimax#Setup|Setup]] 25 * [[/state-space-search#State space search#Adversarial search#Minimax#Optimal strategies|Optimal strategies]] 26 * [[/state-space-search#State space search#Adversarial search#Minimax#Evaluation|Evaluation]] 27 * [[/state-space-search#State space search#Adversarial search#Reducing problems of complexity with Minimax|Reducing problems of complexity with Minimax]] 28 * [[/state-space-search#State space search#Adversarial search#Reducing problems of complexity with Minimax#Cutting off search:|Cutting off search:]] 29 * [[/state-space-search#State space search#Adversarial search#Reducing problems of complexity with Minimax#Alpha-Beta pruning (efficient Minimax)|Alpha-Beta pruning (efficient Minimax)]] 30 * [[/state-space-search#State space search#Adversarial search#Search with no or partial information|Search with no or partial information]] 31 * [[/state-space-search#State space search#Adversarial search#Search with no or partial information#Perfect information Monte Carlo sampling (rdeep)|Perfect information Monte Carlo sampling (rdeep)]] 32 * [[/state-space-search#State space search#Adversarial search#Games with chance|Games with chance]] 33 * [[/state-space-search#State space search#Summary (Schnapsen)|Summary (Schnapsen)]] 34 * [[/state-space-search#State space search#Search direction|Search direction]] 35 * [[/rational-agents#Rational agents|Rational agents]] 36 * [[/rational-agents#Rational agents#Agents|Agents]] 37 * [[/rational-agents#Rational agents#Rationality|Rationality]] 38 * [[/rational-agents#Rational agents#Task environments|Task environments]] 39 * [[/rational-agents#Rational agents#Agent types|Agent types]] 40 * [[/rational-agents#Rational agents#Agent types#Simple Reflex|Simple Reflex]] 41 * [[/rational-agents#Rational agents#Agent types#Reflex & State|Reflex & State]] 42 * [[/rational-agents#Rational agents#Agent types#Goal-Based|Goal-Based]] 43 * [[/rational-agents#Rational agents#Agent types#Learning|Learning]] 44 * [[/logical-agents#Logical agents|Logical agents]] 45 * [[/logical-agents#Logical agents#What is logic|What is logic]] 46 * [[/logical-agents#Logical agents#Syntax|Syntax]] 47 * [[/logical-agents#Logical agents#Syntax#Propositional logic (PL)|Propositional logic (PL)]] 48 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)|First order logic (FOL)]] 49 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Basic elements:|Basic elements:]] 50 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Sentences|Sentences]] 51 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Quantification|Quantification]] 52 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Quantification#Universal quantification|Universal quantification]] 53 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Quantification#Existential quantification|Existential quantification]] 54 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Quantification#Quantifier Duality|Quantifier Duality]] 55 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Decidability vs undecidability|Decidability vs undecidability]] 56 * [[/logical-agents#Logical agents#Syntax#First order logic (FOL)#Knowledge engineering in FOL|Knowledge engineering in FOL]] 57 * [[/logical-agents#Logical agents#Syntax#Choice of formalisms|Choice of formalisms]] 58 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL|Propositionalising FOL]] 59 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Reduction to propositional inference|Reduction to propositional inference]] 60 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Universal instantiation (UI):|Universal instantiation (UI):]] 61 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Existential instantiation (EI):|Existential instantiation (EI):]] 62 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Applying in Schnapsen - Strategies (examples)|Applying in Schnapsen - Strategies (examples)]] 63 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Applying in Schnapsen - Strategies (examples)#Play Jack|Play Jack]] 64 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Applying in Schnapsen - Strategies (examples)#Play cheap|Play cheap]] 65 * [[/logical-agents#Logical agents#Syntax#Propositionalising FOL#Applying in Schnapsen - Strategies (examples)#Play trump marriage|Play trump marriage]] 66 * [[/logical-agents#Logical agents#Semantics|Semantics]] 67 * [[/logical-agents#Logical agents#Semantics#Interpretations & Models|Interpretations & Models]] 68 * [[/logical-agents#Logical agents#Semantics#Entailment|Entailment]] 69 * [[/logical-agents#Logical agents#Semantics#Truth|Truth]] 70 * [[/logical-agents#Logical agents#Semantics#Validity|Validity]] 71 * [[/logical-agents#Logical agents#Semantics#Satisfiability|Satisfiability]] 72 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)|Calculus (algorithms for inference)]] 73 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Properties of inference|Properties of inference]] 74 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods|Proof methods]] 75 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search|Model checking & search]] 76 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search#Truth Tables for inference|Truth Tables for inference]] 77 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search#Effective proofs by model checking|Effective proofs by model checking]] 78 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search#Clause Normal Form (CNF)|Clause Normal Form (CNF)]] 79 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search#DPLL algorithm|DPLL algorithm]] 80 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search#DPLL algorithm#Heuristic search in DPLL|Heuristic search in DPLL]] 81 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Model checking & search#Satisfiability modulo theory|Satisfiability modulo theory]] 82 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Rule-based reasoning|Rule-based reasoning]] 83 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Rule-based reasoning#Inference rules|Inference rules]] 84 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Rule-based reasoning#Searching for proofs|Searching for proofs]] 85 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Rule-based reasoning#Forward and backward chaining|Forward and backward chaining]] 86 * [[/logical-agents#Logical agents#Calculus (algorithms for inference)#Proof methods#Rule-based reasoning#Resolution|Resolution]] 87 * [[/probability-uncertainty#Probability and Uncertainty|Probability and Uncertainty]] 88 * [[/probability-uncertainty#Probability and Uncertainty#Vagueness: Fuzzy Set Theory|Vagueness: Fuzzy Set Theory]] 89 * [[/probability-uncertainty#Probability and Uncertainty#Vagueness: Fuzzy Set Theory#Fuzzy sets|Fuzzy sets]] 90 * [[/probability-uncertainty#Probability and Uncertainty#Vagueness: Fuzzy Set Theory#Fuzzy relations|Fuzzy relations]] 91 * [[/probability-uncertainty#Probability and Uncertainty#Vagueness: Fuzzy Set Theory#Evaluation|Evaluation]] 92 * [[/probability-uncertainty#Probability and Uncertainty#Uncertainties: Probability Theory|Uncertainties: Probability Theory]] 93 * [[/probability-uncertainty#Probability and Uncertainty#Uncertainties: Probability Theory#General|General]] 94 * [[/probability-uncertainty#Probability and Uncertainty#Uncertainties: Probability Theory#Axioms of probability|Axioms of probability]] 95 * [[/probability-uncertainty#Probability and Uncertainty#Uncertainties: Probability Theory#Joint probability distributions|Joint probability distributions]] 96 * [[/probability-uncertainty#Probability and Uncertainty#Uncertainties: Probability Theory#Bayesian networks|Bayesian networks]] 97 * [[/probability-uncertainty#Probability and Uncertainty#Uncertainties: Probability Theory#Evaluation of probabilities|Evaluation of probabilities]] 98 - [[/machine-learning#Machine Learning|Machine Learning]] 99 - [[/machine-learning#Machine Learning#Learning problems|Learning problems]] 100 - [[/machine-learning#Machine Learning#Methodology|Methodology]] 101 - [[/machine-learning#Machine Learning#Methodology#Data|Data]] 102 - [[/machine-learning#Machine Learning#Methodology#Experimentation|Experimentation]] 103 - [[/machine-learning#Machine Learning#Methodology#Evaluation|Evaluation]] 104 - [[/machine-learning#Machine Learning#Machine Learning Steps:|Machine Learning Steps:]] 105 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the features|Choose the features]] 106 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the features#Inductive learning method|Inductive learning method]] 107 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the features#Classifying with naive Bayes|Classifying with naive Bayes]] 108 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the features#Clustering with K-nearest neighbor|Clustering with K-nearest neighbor]] 109 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the features#Linear classifier|Linear classifier]] 110 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the features#Support vector machine|Support vector machine]] 111 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the model (model search)|Choose the model (model search)]] 112 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the model (model search)#Regression|Regression]] 113 - [[/machine-learning#Machine Learning#Machine Learning Steps:#Choose the model (model search)#Gradient descent|Gradient descent]] 114 - [[/machine-learning#Machine Learning#Neural Networks|Neural Networks]] 115 - [[/machine-learning#Machine Learning#Neural Networks#Overview|Overview]] 116 - [[/machine-learning#Machine Learning#Neural Networks#Training neural networks|Training neural networks]] 117 - [[/machine-learning#Machine Learning#Neural Networks#Autoencoders: a NN architecture|Autoencoders: a NN architecture]] 118 - [[/machine-learning#Machine Learning#Neural Networks#Trying it out|Trying it out]] 119 - [[/machine-learning#Machine Learning#The promise of depth|The promise of depth]] 120 * [[/ethics#Ethics of AI|Ethics of AI]] 121 * [[/ethics#Ethics of AI#Sci-fi ethics (problems down the road)|Sci-fi ethics (problems down the road)]] 122 * [[/ethics#Ethics of AI#Today's problems|Today's problems]] 123 * [[/philosophy#Philosophy of AI|Philosophy of AI]]