Artificial Intelligence Technical Terminology & Mathematical Glossary
An authoritative, cross-disciplinary technical glossary defining the essential mathematical formulations, architectural abstractions, and operational mechanisms underpinning modern AI, Machine Learning, Deep Learning, Transformers, and AI Safety.
Rational Agent
FoundationsAn autonomous computational entity that perceives its environment through sensors and executes actions via actuators to maximize its expected performance metric based on its perceptual history.
PEAS Framework
FoundationsThe formal engineering specification of an intelligent agent: Performance measure (utility to maximize), Environment (external context), Actuators (action tools), and Sensors (perceptual inputs).
Markov Decision Process (MDP)
FoundationsA mathematical framework for modeling decision-making in environments where outcomes are partly random and partly under the control of a decision-maker, satisfying the Markov memoryless property.
Bellman Optimality Equation
FoundationsA fundamental recursive equation expressing that the value of an optimal state equals the immediate reward plus the discounted expected value of the best successor state.
State Space & Heuristic Search
FoundationsThe discrete or continuous graph of all reachable problem states. Heuristic search (e.g. A* search) uses an evaluation function combining path cost g(n) with estimated distance to goal h(n) to avoid combinatorial explosion.
Turing Test & Imitation Game
FoundationsAn operational test of machine intelligence proposed by Alan Turing (1950). A computer passes if an interrogator cannot reliably distinguish its natural-language responses from those of a human.
Chinese Room Argument
FoundationsJohn Searle's 1980 thought experiment demonstrating that formal syntactic rule execution (e.g. lookup tables or program code) does not inherently generate genuine semantic understanding or conscious intentionality.
Supervised Learning
Machine LearningA machine learning paradigm where an algorithm learns a mapping function from input features x to target labels y using a ground-truth labeled training dataset.
Unsupervised Learning
Machine LearningDiscovering latent patterns, geometric clusters, or probability distributions from unlabeled empirical data without explicit human supervision.
Reinforcement Learning (RL)
Machine LearningA goal-oriented framework where an agent learns an optimal behavioral policy through trial-and-error interactions with a dynamic environment, receiving scalar rewards or penalties.
Bias-Variance Tradeoff
Machine LearningThe central dilemma in statistical modeling: High bias causes underfitting (oversimplifying patterns), while high variance causes overfitting (capturing random training noise).
Overfitting & Underfitting
Machine LearningOverfitting occurs when a model memorizes idiosyncrasies in the training set and fails to generalize to validation data. Underfitting occurs when the model is too simple to capture the underlying data manifold.
Regularization (L1 Lasso & L2 Ridge)
Machine LearningMathematical penalties added to the loss function to constrain weight magnitude, discouraging complexity and preventing overfitting. L1 promotes feature sparsity; L2 penalizes large outlier weights.
Gradient Descent & SGD
Machine LearningAn iterative first-order optimization algorithm that calculates the gradient vector of the loss function with respect to model parameters and steps in the direction of steepest descent. Stochastic Gradient Descent (SGD) uses mini-batches.
Confusion Matrix & Evaluation Metrics
Machine LearningA contingency table recording True Positives (TP), False Positives (FP), True Negatives (TN), and False Negatives (FN). Precision = TP/(TP+FP); Recall = TP/(TP+FN); F1 is their harmonic mean.
ROC Curve & AUC
Machine LearningReceiver Operating Characteristic plotting True Positive Rate vs False Positive Rate across all classification decision thresholds. Area Under the Curve (AUC) measures aggregate threshold-independent separability.
Artificial Neural Network (ANN)
Deep LearningA biologically inspired computational model composed of interconnected artificial nodes (neurons) organized in layers, performing non-linear affine transformations.
Activation Functions (ReLU, GELU, Softmax)
Deep LearningMathematical non-linearities applied to weighted sums, enabling neural networks to approximate arbitrary non-linear functions (Universal Approximation Theorem).
Backpropagation
Deep LearningAn algorithmic implementation of the multivariable calculus chain rule that computes the partial derivative of the loss function with respect to every weight in reverse order from output to input.
Vanishing & Exploding Gradients
Deep LearningIn deep networks, backpropagating gradients through many layers can exponentially decay to zero (halting learning) or compound to infinity (causing numeric overflow).
Convolutional Neural Network (CNN)
Deep LearningA neural architecture tailored for grid-like topology (images) utilizing parameterized convolutional kernels that slide over inputs, providing spatial translation invariance and parameter sharing.
Dropout & Normalization (LayerNorm / RMSNorm)
Deep LearningDropout randomly deactivates a fraction of neurons during training to prevent co-adaptation. Normalization stabilizes internal covariate shifts across layer distributions, accelerating training convergence.
Latent Space & Vector Embeddings
Deep LearningA compressed, high-dimensional geometric vector space where semantically similar entities (words, images, concepts) are positioned close together according to distance metrics.
Self-Attention Mechanism
Transformers & LLMsA computational mechanism mapping Query (Q), Key (K), and Value (V) projections to dynamic pairwise attention scores between all tokens in a sequence, eliminating sequential recurrent bottlenecks.
Multi-Head Attention
Transformers & LLMsProjecting Q, K, and V into multiple lower-dimensional representation subspaces in parallel, allowing the model to simultaneously attend to syntax, semantics, and long-range dependencies.
Autoregressive Causal Decoding
Transformers & LLMsA sequential generation strategy where each output token is predicted based solely on preceding tokens, enforced during training using lower-triangular causal attention masking.
Tokenization (BPE & WordPiece)
Transformers & LLMsThe algorithmic conversion of raw text strings into discrete integer indices using subword algorithms such as Byte-Pair Encoding (BPE), resolving vocabulary bloat and out-of-vocabulary terms.
Hallucination
Transformers & LLMsThe generation of factually incorrect, unverifiable, or nonsensical assertions presented with authoritative linguistic confidence by an autoregressive model due to statistical probability sampling.
Retrieval-Augmented Generation (RAG)
Transformers & LLMsAn enterprise AI architecture that queries an external vector database for verified reference documents matching a user prompt and injects the retrieved context into the model's prompt.
LoRA & QLoRA (Parameter-Efficient Fine-Tuning)
Transformers & LLMsLow-Rank Adaptation freezes pre-trained model weights W_0 and injects trainable rank decomposition matrices (A and B). QLoRA quantizes the base model to 4-bit NormalFloat (NF4) for low-VRAM GPUs.
Reinforcement Learning from Human Feedback (RLHF)
Transformers & LLMsA fine-tuning pipeline where a reward model is trained on human preference ratings, and the generative policy is optimized via Proximal Policy Optimization (PPO) or Direct Preference Optimization (DPO).
KV Cache (Key-Value Caching)
Transformers & LLMsAn inference optimization technique that stores computed Key and Value tensor projections of historical tokens in GPU memory, avoiding redundant matrix multiplications during next-token decoding.
Mixture-of-Experts (MoE)
Transformers & LLMsA sparse neural architecture where a gating router network dynamically activates only a small subset of total parameters (experts) for each individual token.
Object Detection & Bounding Boxes
Computer VisionSimultaneously predicting the categorical label and spatial localization coordinates (bounding box) of multiple distinct foreground objects within a 2D image or 3D point cloud.
Semantic vs Instance Segmentation
Computer VisionSemantic segmentation assigns a categorical label to every pixel without distinguishing separate objects. Instance segmentation delineates individual object boundaries as distinct entities.
Intersection over Union (IoU)
Computer VisionAn evaluation metric quantifying the spatial overlap accuracy between a predicted bounding box and the ground-truth annotation. An IoU ≥ 0.5 is typically considered a True Positive.
Sim-to-Real Transfer & Domain Randomization
RoboticsTraining robotic control policies inside ultra-fast physics simulation engines while aggressively randomizing physical parameters (mass, friction, lighting) so the policy generalizes to reality.
AI Alignment Problem
AI EthicsThe fundamental engineering challenge of ensuring autonomous AI systems pursue objectives and terminal goals that are strictly aligned with human values, ethics, and intended outcomes.
Explainable AI (XAI) & SHAP / LIME
AI EthicsMethodologies providing human-interpretable explanations of black-box model decisions. SHAP calculates Shapley values from cooperative game theory to quantify the exact contribution of each feature.
Constitutional AI
AI EthicsAn automated safety alignment framework pioneered by Anthropic where AI systems use a list of explicit constitutional principles to critique, revise, and align their own responses without human labeling.
European Union AI Act (Risk Tiers)
AI EthicsGlobal benchmark legislation classifying AI systems into four risk tiers: Unacceptable risk (banned social scoring), High risk (strict audits for medical/employment AI), and Minimal risk.
Master Technical Reference Table
| Concept | Domain Category | Core Mathematical / Architectural Formulation |
|---|---|---|
| Rational Agent | Foundations | f : P* → A |
| PEAS Framework | Foundations | PEAS = (P, E, A, S) |
| Markov Decision Process (MDP) | Foundations | MDP = (S, A, P, R, γ) |
| Bellman Optimality Equation | Foundations | V*(s) = max_a [ R(s, a) + γ ∑ P(s'|s,a) V*(s') ] |
| State Space & Heuristic Search | Foundations | f(n) = g(n) + h(n) |
| Turing Test & Imitation Game | Foundations | P(Human | Text Interaction) ≥ 0.5 |
| Chinese Room Argument | Foundations | Syntax ≠ Semantics |
| Supervised Learning | Machine Learning | min_θ ∑ L( f_θ(x_i), y_i ) |
| Unsupervised Learning | Machine Learning | P(X) | argmin ∑ ||x - μ_k||² |
| Reinforcement Learning (RL) | Machine Learning | J(π) = E_π [ ∑ γ^t R_t ] |
| Bias-Variance Tradeoff | Machine Learning | MSE = Bias² + Variance + Irreducible Error |
| Overfitting & Underfitting | Machine Learning | Loss_train << Loss_val (Overfitting) |
| Regularization (L1 Lasso & L2 Ridge) | Machine Learning | L_reg = L + λ₁ ||W||₁ + λ₂ ||W||₂² |
| Gradient Descent & SGD | Machine Learning | θ ← θ - η ∇_θ L(θ; x_B) |
| Confusion Matrix & Evaluation Metrics | Machine Learning | F1 = 2 · (Precision · Recall) / (Precision + Recall) |
* Interactive table displaying selected foundational terms. Use the search tool above to filter all 41 entries.
