Artificial Intelligence
For most of its history, artificial intelligence meant search, logic, and reasoning rather than learning from data — writing down what an agent knows and letting it deduce, plan, and decide what to do.
The organizing idea is the rational agent: something that perceives its environment and acts to maximize its expected performance. Everything else is machinery for choosing the action — searching a space of possibilities, proving a logical consequence, or computing an expected utility under uncertainty.
Search comes first: cast a problem as states and moves, and algorithms like A* find a path to the goal, guided by a heuristic that estimates the distance still to go. Add an adversary and the same idea becomes the minimax search that plays chess.
When the world is uncertain, logic gives way to probability. A Bayesian network compresses a joint distribution over many variables into a graph of local dependencies, and the same expected-utility calculus, run over time, becomes the Markov decision process that underlies planning and reinforcement learning.
These are the ideas that ran from the Logic Theorist to Deep Blue to the probabilistic robotics of self-driving cars — the foundation the modern, learning-driven era of AI was built on top of.
Contents.
1. Foundations
2. Search
- Uninformed Search
- Search Strategies Compared
- Informed Search and A*
- Heuristic Functions and Memory-Bounded Search
- Local Search and Optimization
- Population and Continuous Search
- Adversarial Search and Games
- Games of Chance and Imperfect Information
- Constraint Satisfaction Problems
- CSP Search and Structure
- Search Under Uncertainty
- Belief-State and Online Search
3. Logic and Planning
- Logical Agents and Propositional Logic
- Propositional Inference and Logical Agents
- First-Order Logic
- First-Order Logic in Use
- Inference in First-Order Logic
- First-Order Resolution
- Classical Planning
- Planning Heuristics and GraphPlan
- Planning and Acting in the Real World
- Planning Under Uncertainty
- Knowledge Representation
- Reasoning Systems and Default Logic
4. Uncertainty
- Quantifying Uncertainty
- Bayes' Rule and Naive Bayes
- Bayesian Networks
- Bayesian Networks: Inference and Relational Models
- Probabilistic Reasoning over Time
- Reasoning over Time: Tracking and Data Association
- Making Decisions: Utility Theory
- Markov Decision Processes
- Decision Analysis: Multi-Attribute Utility and Decision Networks
- Game Theory and Mechanism Design