Definition: The study and design of intelligent agents, where an intelligent agent is a system that perceives its environment and takes actions that maximize its chances of success.
Agent and environment:
Rational agent: The agent which selects the action that maximizes its performance measure given its inputs or perceptions and built-in knowledge.
PEAS: Performance, Environment, Actuators and Sensors
Types of Environment:
- Fully vs partially observable:
- Deterministic( vs stochastic): The next state of the environment is completely determined by the current state.
- Episodic vs sequential: Each perception-action pair can be considered as an episode.
- static vs dynamic:
- discrete vs continuous:
- single-agent vs multi-agent:
- known vs unknown:
Types of Agents in the order of increasing generality:
- Simple reflex agents: based on current state only. Look up the table of percepts and actions.
- Model-based reflex agents: based on percept history, maintains a model of the world, condition-action rules decide the action of the agent.
- Goal-based agents: contains goal information additional to Model-based agents.Goals decide the actions of the agent.
- Utility-based agents: Utility function is the agent’s performance measure. try to increase the happiness.
- Learning agents:
- Atomic representation: Consider each state as a black box.
- Factored representation: Each state has attribute value properties.
- Structured representation: Relationship between objects inside a state.
General example problems from AI textbook:
- Travelling salesman problem.
- Route finding problem
- Robot navigation
- protein design
State space, search space and search tree.
- Completeness: Can the algorithm find a solution when there exists one?
- Optimality: Can the algorithm find the least cost path to the solution?
- Time complexity: How long does it take to complete the search.
- Space complexity: How much memory is needed to complete the search.
Two types of search:
- Uninformed: No information about the domain.
- Breadth-first: FIFO
- Applications: computing shortest path when all the edge lengths are same.
- Depth first: LIFO
- Depth limited is not optimal because it might return us a high-cost path on the left sub-tree without considering other low-cost paths in the right subtree.
- Applications: Topological ordering of directed acyclic graphs.
- Depth limited: Depth first with depth limit
- Iterative deepening: Depth limited with increasing limit, combines benefits of depth first and breadth first. First do depth first search to a depth limit n and then increase the depth and do depth first search again. diff of BFS and IDS
- Uniform cost: Expand least cost node first, FIFO
- Dijkstra’s algorithm is a variant of ucs, except that ucs finds shortest path from start node to goal node, whereas Dijkstra finds shortest path from start node to every other node.ucs and Djikshtra.Computing shortest path when edge lengths are different. Use heap data structure for speed.
- I doubt Google uses UCS for it’s route finding in maps. Cost between the nodes can be a mix of distance, traffic, weather etc.Maps algorithm
- Informed: Some information about the domain and goals.
- Heuristics search (h(n)): Determine how close we are to the goal based on a heuristic function. Admissible heuristic thinks that the cost to the solution is less than the actual cost.
- Greedy search expands the node that appears to be closest to the goal. uses a heuristic function that has the information of cost from a particular node to the target node.
- A* search: Consider both the heuristic that says about the cost from a node to the target node and cost to reach that node. A* search will revise it’s decision, whereas greedy search would not. This property makes greedy incomplete and A* complete.
- Local search: iterative improvement algorithms by an optimization/fitness function.
- Hill climbing (steepest descent/ascent,greedy local search):some variants of this are:
- sideways moves – escape flat lines.
- Random restart – to overcome local maxima.
- Stochastic –
- Simulated annealing : from statistical physics.
- Local beam search – k states instead of single state.
- Genetic algorithms: from evolutionary biology
Adversarial search and games:
Multiagent environment, uncontrollable opponent.
Not a sequence of actions, but a strategy or policy.
Approximation is the key ingredient in the face of combinatorial explosion.
(perfect information, deterministic) – Zero sum games.
At any stage, one agent will try to pick the move with maximum utility out of all legal moves and the opponent will pick the move with minimum utility.
Embedded thinking or backward reasoning:
Thinking through the consequences and potential actions of the opponent before making the decision.
Minimax : Two opponents playing optimally, one trying to maximize and other trying to minimize the utility.
When the agent that is trying to find Max utility of it’s children, you start with an alpha as (-infinity), and update alpha if you find any child nodes with utility better than present alpha. During this process, if you come across any 2nd gen childs with utility less than alpha, then you don’t need look for utilities of other 2nd gen childs of that particular 1st child. Why? because that 1st gen child is trying to find minimum, once you go down below alpha, that 1st gen child is out context at the zeroth generation which is trying to find max has found that this 1st gen child can no longer contribute to me. In this context, ordering of child nodes matters a lot. Right ordering can save you from exploring lot of unnecessary childs/paths.
A chance/random element involved.
Data collection -> Data preparation -> Exploratory Data analysis(picture the data using different graphs and charts) -> Machine learning techniques -> Visualization -> Decision
- Decision trees:
- Rule induction:
- Neural networks:
- Clustering method
- Gaussian mixtures
- Hierarchical clustering
- Spectral clustering.
- Association rules
- Feature selection
- Graphical models
- Genetic algorithm
- Hypothesis testing
- Experimental design
- Linear regression
- Logistic regression:
- It is a linear classifier, why?
- Because the decision boundary where the probability=0.5 is linear.
Definition of Machine learning:
A computer program is said to learn from experience E with respect to some class of tasks T and performance P, if its performance at tasks in T , as measured by P, improves with experience E.
BY it’s very definition, Machine learning algorithms are generally subdued to a particular class of tasks and not generic enough for general intelligence.
O(n*d) – n is the number of training examples and d is the number of features.
K is usually chosen as odd value.
z-scaling – Each feature has a mean of 0 and a standard deviation of 1.
Recommender systems (collaborative filtering).
Breast cancer diagnosis
Handwritten character classification
To Avoid over fitting:
Reduce number of features manually or do feature selection.
Do a model selection
Use regularization (keep the features but reduce their importance by setting small parameter values)
Do a cross validation to estimate the test error.
Training set used for learning the model.
Validation set is used to tune the parameters, usually to control overfitting.
- Linear regression.
- Using least square loss
- Linear classification:
- Perceptron: Data has to be linearly separable.
Classification: Logistic regression
Decision Trees: Tree classifiers
Start with a set of all our examples at the top root node.
Create branches considering a splitting criteria and repeat this for creating other branches as you go down.
write the final decision at the bottom of the tree based on training examples and used this tree to classify any new test data.
First, we calculate entropy at a node and then compare info gains for extending that node for different dimensions. Then we choose to extend based on the category of high info gain.
Pruning strategies to escape overfitting:
- Stop growing the tree earlier.
- Grow a complex tree and then prune it back. Remove a subtree and check it against a validation set, if the performance doesn’t degrade, remove the subtree from original.
Another method to build a decision tree.
- Adopt same greedy, top-down algorithm.
- Binary splits instead of multiway splits.
- Uses Gini index instead of information entropy.
p-proportion of positive examples
P-proportion of negative examples.
Idea: Model p(y/x), conditional distribution of y given x.
Find a decision boundary that separates positive from negative example.
Naive Bayes assumes that feature values are conditionally independent given the label.
Naive Bayes classifier is linear.
An Ensemble method combines the predictions of many individual classifiers by majority voting.
Such individual classifiers, called weak learners, are required to perform slightly better than random.
- Majority voting:
- Condorcet’s Jury theorem:
- Each individual makes the right choice with a probability p.
- The votes are independent.
- If p>0.5, then adding more voters increases the probability that the majority decision is correct. If p<0.5, then adding more voters makes things worse.
- One of the most popular Machine learning methods.
- AdaBoost.M1-popular algorithm.
- Weak learners can be trees, perceptrons, decision stumps etc.
- The predictions of all weak learners are combined with a weighted majority voting.
- Idea : Train the weak learners on weighted training examples.
- AdaBoost with Decision stumps lead to a form of feature selection.
- Bootstrapping is a resampling technique for training weak learners from m samples of original training data.
- Bagging on trees works better than building a big tree on whole data.
- Random forests: Make lot of decision trees with each tree trained on random subset of training data and random subset of all features considered. use the majority votes of different decision trees to determine the final outcome for random forest. This is relying on the principle that majority of decision trees will compensate for some wrongly classifying decision trees at different instances.
- Quora uses random forests for determining whether two questions are duplicates.
A practical guide to apply Support Vector Classification:
- Clustering of the population by their demographics.
- Audio signal separation.
- Image segmentation.
- Clustering of geographic objects
- Clustering of stars.
K-means fails for:
Solution for How to select K.
How to evaluate?
internal evaluation: High intra-cluster similarity, Low inter-cluster similarity.
External evaluation: Mutual information, entropy, adjusted random index.
Other clustering methods:
- Special clustering
Though this looks like a valid measure, it doesn’t take into account P(C).
interest(R)=1 then A and C are independent.
interest(R)>1 then A and C are positively dependent.
Collaborative filtering, customer behavior analysis, web organization, affinity promotion, cross-selling
Read more about Quantitative Association rules as well.
CONSTRAINT SATISFACTION PROBLEMS:
Care about goal rather than the path.
- A set of variables.
- A set of domains for each variable.
- A set of constraints that specify allowable combinations of values.
Types of consistency:
- Node consistency – unary constraints
- Arc-consistency (Constraint propagation)- binary constraints – For every value that can be assigned to X, if there exists a value that can be assigned to Y, then X->Y is arc consistent. AC-3 is the algorithm that makes a CSP arc consistent. O(n^2*d^3)
- Path-consistency – n-ary constraints
Forward checking propagates the information from assigned to unassigned variables only and does not check the interaction between unassigned variables. Arc consistency checks for all arcs and keep doing it whenever the domain of a variable is reduced. In this sense, AC is more general and an improvement of FC.
Two types of CSPs:
- Search based
Choose the one with minimum remaining values to fill first.
Fill with least constraining value first – the one that rules out fewest values in remaining variables.
Can work on independent subproblems separately based on the problem structure.
d-size of domain, n-number of variables.
Learning behaviour or actions based on the rewards/feedback from environment.
Science of sequential decision making.
- Markov decision process – Formal model for sequential decision making.
- Markov property – Future is independent of the past given the current state.
- Applying reinforcement framework to Markov process.
- Theorem – Due to the Markov property, A discounted MDP always has the stationary optimal policy (pi).
- A policy is better than another policy if it’s value is greater than the other one calculated from all starting states.
- One useful fact is there always exist an optimal policy which is better than all other policies.
- Bellman equations.
- No closed form solution to Bellman equations to solve for optimal policy.
- other iterative solution approaches are
- Policy iteration.
- Value iteration.
- Think of different policies to traverse through MDP. Calculate value of each policy.
- Q-value iteration.
- Epsilon greedy exploration – with probability epsilon, take random action, with probability (1-epsilon) , take greedy action.
Logical agents or knowledge-based agents:
Mainly based on knowledge representation(domain specific) and inference(domain independent).
- Using propositional logic.
- Using First – Order Logic – used in personalized assistants.
pros and cons of Logical agents:
- Doesn’t handle uncertainty, probability does.
- Rule-based doesn’t use data, ML does.
- It is hard to model every aspect of the world.
- Models are encoded explicitly.
Natural Language Processing:
Text classification (spam filtering)- Naive Bayes classifier.
Naive bayes classifier – Assumes features are independent.
Classifies the new example based on the probabilities of different classes given the features of that particular example.
m-estimate of the probability:
- Augment the sample size by m virtual examples, distributed according to prior p.
Chain rule of probability:
- To estimate joint probability
N-gram model: Look N-1 words in the past to predict next word.
Bigrams capture synctactic dependencies such as noun comes after eat and verb comes after to etc.
3-grams and 4-grams are common in practice.
Perplexity – Hiigher the conditional probability, lower the perplexity.
Tagged text – which word is what type – noun, adjective,verb
Name entity recognition – yesterday(time), I(person), five (quantity)
Parsing – Exhibit the grammatical structure of a sentence.
Sentiment analysis – Does it identify sarcasm?
work in progress:
Dialog systems: Siri, echo etc.
Deep learning :
- Less or no feature engineering required.
- Need to choose number of layers in the stack and number of nodes in each layer.
- Needs to be sensitive to minute details to distinguish between two breeds of a dog and at the same time, it should be invariant to large irrevelant variations like background, lighting and pose etc.
- ReLU usually learns much faster in networks with many layers compared to sigmoid.
- Pre-training was only needed for small data sets with the revival of deep learning.
- Convnet combined with recurrent net to generate image captions. Vision to language interface.
- Handwritten characters, spoken words, faces were most succesfull applications.
- Theorem: No more than 2 hidden layers can represent any arbitrary region (assuming sufficient number of neurons or units).
- The number of neurons in each hidden layer are found by cross validation.
- The Mammalian visual cortex is hierarchical with 5-10 levels just for the visual system.
- Examples of Deep neural networks – Restricted Boltzmann machines, convolutional NN, autoencoders etc.
- Software for Deep learning:
- Tensorflow – Python
- Theano – Python
- Torch – LUA
- Caffe – Suited for vision
- Visibility graph: VGRAPH – A-star search through the nodes between obstacles. guaranteed to give shortest path in 2d. Doesn’t scale well to 3d. Path close to obstacles (nodes at vertices).
- Voronoi path planning:
- Potential field path planning: Consider both robot and obstacles as positive charges repelling each other and Goal as negative charge attracting the robot. Take a Random walk in case you reach a local minimum.
- Probabilistic roadmap planner: First needs to sample the space entirely and detect some collision free nodes. connect k nearest neighbor nodes. then do graph search to go from start to goal with these connected nodes. Can’t be sure that all nodes will be connected.
- Discriminative models learn the (hard or soft) boundary between classes
- Generative models model the distribution of individual class.
- Confusion matrix.
- ply – each move by one of the players.
- policy – State to action mapping
- stationary policy -Particular action for a particular state all the time.
- Representation learning – automatically discovers representations required to classify or predict, Not much feature engineering required. Ex: Deep learning.
- Saddle points/ minimax point – where derivative of the function is zero, but because of max in one ax and min in other axes. In the shape of the saddle on the horse.
- Unsupervised pre-training – Making features before feeding into the learning network.
- Configuration space(C – space): Set of parameters that completely describe the robot’s state. Proprioception.
CREDITS: Columbia University