← all subjects

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.

FIG_002
4MAX2MIN4MIN352974
Minimax: leaf values back up as min and max to pick the best move.

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.

FIG_003
ABCDE
A constraint problem: color the map so no two neighbors match.

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.

FIG_001
G
Search: expand the frontier node by node until a path to the goal appears.
FIG_004
BurglaryQuakeAlarmCall
A Bayesian network: evidence enters and belief flows down the edges.

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.

FIG_005
PQP \lor Q
¬PR\lnot P \lor R
¬Q\lnot Q
¬R\lnot R
QRQ \lor R
RR
\square
Resolution: clauses combine and cancel down to the empty clause — a proof.

Contents.

·
Progress.░░░░░░░░░░░░░░░░░░
Articles done:0 / 54
Complete:0%
Notes written:0
Highlights:0