Module 5 of 21
Types & Taxonomy
Current Study Module
AI - Core Terminology
Tools & Frameworks
Chapter 4Reference Encyclopedia41 Verified Terms

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.

Showing 41 of 41 technical entries

Rational Agent

Foundations
f : P* → A

An 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.

Production Exemplar: An automated market maker optimizing order book bids/asks or an autonomous rover planning terrain routes.

PEAS Framework

Foundations
PEAS = (P, E, A, S)

The formal engineering specification of an intelligent agent: Performance measure (utility to maximize), Environment (external context), Actuators (action tools), and Sensors (perceptual inputs).

Production Exemplar: In autonomous driving: P=Safety/Speed, E=Roads/Traffic, A=Steering/Brakes, S=LiDAR/Cameras.

Markov Decision Process (MDP)

Foundations
MDP = (S, A, P, R, γ)

A 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.

Production Exemplar: Reinforcement learning navigation where the agent transitions across grid states with discount factor γ.

Bellman Optimality Equation

Foundations
V*(s) = max_a [ R(s, a) + γ ∑ P(s'|s,a) V*(s') ]

A 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.

Production Exemplar: Core mathematical backbone of Q-learning, Value Iteration, and Deep Q-Networks (DQN).

State Space & Heuristic Search

Foundations
f(n) = g(n) + h(n)

The 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.

Production Exemplar: GPS route planning using Euclidean straight-line distance as an admissible heuristic.

Turing Test & Imitation Game

Foundations
P(Human | Text Interaction) ≥ 0.5

An 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.

Production Exemplar: Evaluating conversational fluency, semantic recall, and logical reasoning via blind text channels.

Chinese Room Argument

Foundations
Syntax ≠ Semantics

John 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.

Production Exemplar: Philosophical rebuttal against claims that Large Language Models possess subjective consciousness.

Supervised Learning

Machine Learning
min_θ ∑ L( f_θ(x_i), y_i )

A 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.

Production Exemplar: Predicting house prices via Linear Regression or classifying medical imaging scans via Logistic Regression.

Unsupervised Learning

Machine Learning
P(X) | argmin ∑ ||x - μ_k||²

Discovering latent patterns, geometric clusters, or probability distributions from unlabeled empirical data without explicit human supervision.

Production Exemplar: Customer segmentation via K-Means clustering or dimensionality reduction via Principal Component Analysis (PCA).

Reinforcement Learning (RL)

Machine Learning
J(π) = E_π [ ∑ γ^t R_t ]

A 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.

Production Exemplar: Training robotic quadrupeds to sprint across uneven terrain or training AlphaGo to master board games.

Bias-Variance Tradeoff

Machine Learning
MSE = Bias² + Variance + Irreducible Error

The central dilemma in statistical modeling: High bias causes underfitting (oversimplifying patterns), while high variance causes overfitting (capturing random training noise).

Production Exemplar: A low-degree polynomial underfits non-linear data; a 20th-degree polynomial overfits and fails on test sets.

Overfitting & Underfitting

Machine Learning
Loss_train << Loss_val (Overfitting)

Overfitting 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.

Production Exemplar: Overfitting: 99.9% training accuracy but 61% validation accuracy.

Regularization (L1 Lasso & L2 Ridge)

Machine Learning
L_reg = L + λ₁ ||W||₁ + λ₂ ||W||₂²

Mathematical penalties added to the loss function to constrain weight magnitude, discouraging complexity and preventing overfitting. L1 promotes feature sparsity; L2 penalizes large outlier weights.

Production Exemplar: Weight decay in deep neural network optimizers (AdamW) implementing L2 regularization.

Gradient Descent & SGD

Machine Learning
θ ← θ - η ∇_θ L(θ; x_B)

An 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.

Production Exemplar: Updating millions of neural weights over mini-batches of size 64 with learning rate η = 0.001.

Confusion Matrix & Evaluation Metrics

Machine Learning
F1 = 2 · (Precision · Recall) / (Precision + Recall)

A 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.

Production Exemplar: In cancer screening, high Recall is prioritized over Precision to eliminate deadly False Negatives.

ROC Curve & AUC

Machine Learning
AUC = ∫ TPR(FPR) d(FPR)

Receiver 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.

Production Exemplar: An AUC of 0.95 indicates superior discriminatory capability between fraud and non-fraud transactions.

Artificial Neural Network (ANN)

Deep Learning
a = σ( W · x + b )

A biologically inspired computational model composed of interconnected artificial nodes (neurons) organized in layers, performing non-linear affine transformations.

Production Exemplar: A 3-layer Multilayer Perceptron (MLP) mapping sensor signals to equipment failure probabilities.

Activation Functions (ReLU, GELU, Softmax)

Deep Learning
ReLU(z) = max(0, z) | Softmax(z_i) = e^(z_i) / ∑ e^(z_j)

Mathematical non-linearities applied to weighted sums, enabling neural networks to approximate arbitrary non-linear functions (Universal Approximation Theorem).

Production Exemplar: GELU used in BERT and modern Transformers; Softmax used in the output layer for class probabilities.

Backpropagation

Deep Learning
∂L/∂w = (∂L/∂y) · (∂y/∂z) · (∂z/∂w)

An 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.

Production Exemplar: The fundamental engine of PyTorch's autograd and TensorFlow's computational graph optimization.

Vanishing & Exploding Gradients

Deep Learning
∏ (W_l) → 0 or → ∞ as l → ∞

In deep networks, backpropagating gradients through many layers can exponentially decay to zero (halting learning) or compound to infinity (causing numeric overflow).

Production Exemplar: Solved in modern architectures via Residual Skip Connections (ResNet), LayerNorm, and ReLU.

Convolutional Neural Network (CNN)

Deep Learning
S(i, j) = (I * K)(i, j) = ∑∑ I(i-m, j-n) K(m, n)

A neural architecture tailored for grid-like topology (images) utilizing parameterized convolutional kernels that slide over inputs, providing spatial translation invariance and parameter sharing.

Production Exemplar: ResNet-50 and YOLO detecting anatomical anomalies in medical MRI scans.

Dropout & Normalization (LayerNorm / RMSNorm)

Deep Learning
LayerNorm(x) = (x - μ) / √(σ² + ε) · γ + β

Dropout randomly deactivates a fraction of neurons during training to prevent co-adaptation. Normalization stabilizes internal covariate shifts across layer distributions, accelerating training convergence.

Production Exemplar: RMSNorm standard across frontier LLaMA architectures to reduce floating-point variance.

Latent Space & Vector Embeddings

Deep Learning
z = Encoder(x) ∈ ℝ^d

A compressed, high-dimensional geometric vector space where semantically similar entities (words, images, concepts) are positioned close together according to distance metrics.

Production Exemplar: Word2Vec vector arithmetic: Vector('King') - Vector('Man') + Vector('Woman') ≈ Vector('Queen').

Self-Attention Mechanism

Transformers & LLMs
Attention(Q, K, V) = softmax( (Q K^T) / √d_k ) · V

A 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.

Production Exemplar: Vaswani et al. (2017) 'Attention Is All You Need' foundation of all modern Large Language Models.

Multi-Head Attention

Transformers & LLMs
MHA(Q, K, V) = Concat(head_1, ..., head_h) W^O

Projecting 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.

Production Exemplar: GPT-4 employing up to 128 attention heads across each transformer block.

Autoregressive Causal Decoding

Transformers & LLMs
P(W) = ∏ P(w_t | w_1, w_2, ..., w_(t-1))

A sequential generation strategy where each output token is predicted based solely on preceding tokens, enforced during training using lower-triangular causal attention masking.

Production Exemplar: Decoder-only generative language models (GPT-4, Claude, Gemini, LLaMA-3).

Tokenization (BPE & WordPiece)

Transformers & LLMs
Text → [Token_1, Token_2, ..., Token_N]

The 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.

Production Exemplar: The word 'tokenization' divided into subword tokens: ['token', 'ization'].

Hallucination

Transformers & LLMs
P(Fabricated Statement | Context) > 0

The generation of factually incorrect, unverifiable, or nonsensical assertions presented with authoritative linguistic confidence by an autoregressive model due to statistical probability sampling.

Production Exemplar: An LLM citing nonexistent legal precedents or fabricating fictitious medical citations.

Retrieval-Augmented Generation (RAG)

Transformers & LLMs
Response = Generator( Query, Retriever(Query, VectorDB) )

An 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.

Production Exemplar: Customer service chatbots referencing corporate internal documentation without hallucination.

LoRA & QLoRA (Parameter-Efficient Fine-Tuning)

Transformers & LLMs
W = W_0 + ΔW = W_0 + B · A (where r << d)

Low-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.

Production Exemplar: Fine-tuning a 70-billion-parameter LLM on a single 24GB consumer GPU.

Reinforcement Learning from Human Feedback (RLHF)

Transformers & LLMs
max_θ E [ R_reward(x, y) ] - β D_KL( π_θ || π_ref )

A 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).

Production Exemplar: Aligning raw generative models to be helpful, honest, and harmless.

KV Cache (Key-Value Caching)

Transformers & LLMs
Memory_KV = 2 · B · L · H · d_k · S

An 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.

Production Exemplar: Powers high-throughput, low-latency generation engines such as vLLM.

Mixture-of-Experts (MoE)

Transformers & LLMs
y = ∑ G(x)_i · Expert_i(x)

A sparse neural architecture where a gating router network dynamically activates only a small subset of total parameters (experts) for each individual token.

Production Exemplar: Mixtral 8x7B activating only 2 out of 8 experts per token, delivering 45B performance at 12B latency.

Object Detection & Bounding Boxes

Computer Vision
Box = (x_center, y_center, width, height, confidence)

Simultaneously predicting the categorical label and spatial localization coordinates (bounding box) of multiple distinct foreground objects within a 2D image or 3D point cloud.

Production Exemplar: YOLOv8 executing real-time pedestrian and vehicle detection at 60 FPS in autonomous driving.

Semantic vs Instance Segmentation

Computer Vision
Pixel_Class(i, j) vs Pixel_Instance_ID(i, j)

Semantic segmentation assigns a categorical label to every pixel without distinguishing separate objects. Instance segmentation delineates individual object boundaries as distinct entities.

Production Exemplar: Mask R-CNN isolating individual biological tumor margins from healthy surrounding tissue.

Intersection over Union (IoU)

Computer Vision
IoU = Area of Overlap / Area of Union

An 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.

Production Exemplar: Benchmark threshold metric in COCO mean Average Precision (mAP) calculation.

Sim-to-Real Transfer & Domain Randomization

Robotics
Policy_sim → Physical_Robot

Training robotic control policies inside ultra-fast physics simulation engines while aggressively randomizing physical parameters (mass, friction, lighting) so the policy generalizes to reality.

Production Exemplar: NVIDIA Isaac Sim training Boston Dynamics-style quadrupeds to walk on physical terrain.

AI Alignment Problem

AI Ethics
Loss_Engineered ≠ Intended_Human_Objective

The fundamental engineering challenge of ensuring autonomous AI systems pursue objectives and terminal goals that are strictly aligned with human values, ethics, and intended outcomes.

Production Exemplar: Preventing reward hacking where an agent optimizes numeric score by gaming flaws in the reward function.

Explainable AI (XAI) & SHAP / LIME

AI Ethics
ϕ_i = ∑ [ |S|!(|F|-|S|-1)! / |F|! ] · [ f(S ∪ {i}) - f(S) ]

Methodologies 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.

Production Exemplar: Explaining why an algorithmic mortgage approval model denied a loan to satisfy fair lending laws.

Constitutional AI

AI Ethics
Self-Critique via Ethical Principles List

An 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.

Production Exemplar: Claude filtering toxic, harmful, or illegal prompt completions based on foundational rights documents.

European Union AI Act (Risk Tiers)

AI Ethics
Tiers = {Unacceptable, High, Limited, Minimal}

Global 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.

Production Exemplar: Mandating technical documentation, bias testing, and human oversight for mission-critical enterprise AI.

Master Technical Reference Table

ConceptDomain CategoryCore Mathematical / Architectural Formulation
Rational AgentFoundationsf : P* → A
PEAS FrameworkFoundationsPEAS = (P, E, A, S)
Markov Decision Process (MDP)FoundationsMDP = (S, A, P, R, γ)
Bellman Optimality EquationFoundationsV*(s) = max_a [ R(s, a) + γ ∑ P(s'|s,a) V*(s') ]
State Space & Heuristic SearchFoundationsf(n) = g(n) + h(n)
Turing Test & Imitation GameFoundationsP(Human | Text Interaction) ≥ 0.5
Chinese Room ArgumentFoundationsSyntax ≠ Semantics
Supervised LearningMachine Learningmin_θ ∑ L( f_θ(x_i), y_i )
Unsupervised LearningMachine LearningP(X) | argmin ∑ ||x - μ_k||²
Reinforcement Learning (RL)Machine LearningJ(π) = E_π [ ∑ γ^t R_t ]
Bias-Variance TradeoffMachine LearningMSE = Bias² + Variance + Irreducible Error
Overfitting & UnderfittingMachine LearningLoss_train << Loss_val (Overfitting)
Regularization (L1 Lasso & L2 Ridge)Machine LearningL_reg = L + λ₁ ||W||₁ + λ₂ ||W||₂²
Gradient Descent & SGDMachine Learningθ ← θ - η ∇_θ L(θ; x_B)
Confusion Matrix & Evaluation MetricsMachine LearningF1 = 2 · (Precision · Recall) / (Precision + Recall)

* Interactive table displaying selected foundational terms. Use the search tool above to filter all 41 entries.

Explore Related Tools

Hand-picked utilities and calculators related to this tool.

Related Tools