CompSci 370 - Spring 2021
Introduction to Artificial Intelligence
Major Topics Covered
Algorithms and representations for artificial intelligence
- Search
- Uninformed search
- Informed search
- Constraint Satisfaction
- Game Playing
- Minimax
- alpha-beta search
- Introduction to game theory
- Logic and Knowledge Representation
- Propositional logic
- First order logic
- Theorem Proving
- Reasoning under uncertainty
- Probability
- Bayes nets
- Hidden Markov models and tracking
- Planning
- Classical planning
- Decision theory
- Stochastic planning (MDPs)
- Introduction to machine learning
- Introduction to robotics