AI

• a_star - An implementation of the A* search algorithm
• connect4 - A simple Connect 4 AI
• dpll - A SAT solver for propositional logic
• mdp - Computes an optimal Markov Decision Process policy using value iteration
• pos_hmm - predicts the most likely Part of Speech (PoS) tag sequence for a sentence using HMM and conditional probabilities derived from the Brown corpus.