SoK: Agentic Retrieval-Augmented Generation (RAG): Taxonomy, Architectures, Evaluation, and Research Directions
Organizations: University of North Dakota · Youngstown State University · University of Toledo · University of Missouri ·
Abstract
Retrieval-Augmented Generation (RAG) systems are increasingly evolving into agentic architectures where large language models autonomously coordinate multi-step reasoning, dynamic memory management, and iterative retrieval strategies. Despite rapid industrial adoption, current research lacks a systematic understanding of Agentic RAG as a sequential decision-making system, leading to highly fragmented architectures, inconsistent evaluation methodologies, and unresolved reliability risks. This Systematization of Knowledge (SoK) paper provides the first unified framework for understanding these autonomous systems. We formalize agentic retrieval-generation loops as finite-horizon partially observable Markov decision processes, explicitly modeling their control policies and state transitions. Building upon this formalization, we develop a comprehensive taxonomy and modular architectural decomposition that categorizes systems by their planning mechanisms, retrieval orchestration, memory paradigms, and tool-invocation behaviors. We further analyze the critical limitations of traditional static evaluation practices and identify severe systemic risks inherent to autonomous loops, including compounding hallucination propagation, memory poisoning, retrieval misalignment, and cascading tool-execution vulnerabilities. Finally, we outline key doctoral-scale research directions spanning stable adaptive retrieval, cost-aware orchestration, formal trajectory evaluation, and oversight mechanisms, providing a definitive roadmap for building reliable, controllable, and scalable agentic retrieval systems.
Figures & tables
| Agentic Property | POMDP Component | Operational Interpretation |
|---|---|---|
| Iterative Control | Stochastic Policy | Non-deterministic action selection governing the loop |
| Dynamic Retrieval | Action Space | Query generation treated as a discrete runtime action |
| Tool Mediation | Observation Model | External API interaction returning state context |
| State Persistence | Belief State | Memory acts as a tractable approximation of hidden state |
| Termination | Finite Horizon | Constrained loop depth to prevent infinite execution |
| Feature | Active RAG | Agentic RAG |
|---|---|---|
| Trigger Mechanism | Log-probability thresholds or token heuristics | Policy-driven reasoning and explicit tool-calling |
| Control Flow | Single-pass, forward-generating | Iterative, multi-step planning loops |
| Planning Explicitness | Implicit during generation | Explicit deliberative phase |
| Context Management | Append-only (accumulates fetched text) | Read/Write/Prune capabilities over working memory |
| Failure Handling | Cannot self-correct prior token generation | Can discard poor retrieval and explicitly try new query |
| Archetype | Topology | Retrieval | Reasoning | Memory/Context | Policy | Representative anchors |
|---|---|---|---|---|---|---|
| Baseline grounded generation | Single-agent | One-shot | Minimal / linear | Minimal; optional filtering | Heuristic | RAG [ 1 ] ; surveys [ 40 , 41 ] |
| Iterative evidence accumulation | Single-agent | Iterative | CoT / ReAct | Dynamic context construction | Heuristic/Hybrid | IRCoT [ 9 ] ; Iter-RetGen [ 5 ] ; LangChain agents [ 46 ] |
| Reflective refinement | Single-agent | Self-refining | Reflection-based | Episodic critique; pruning | Hybrid/Learned | Self-RAG [ 6 ] ; RARR [ 57 ] ; Reflexion [ 13 ] |
| Role-separated orchestration | Planner–Executor | Iterative/self-refining | Planning + execution | Executor logging; pruning | Hybrid | HuggingGPT [ 50 ] ; MRKL [ 11 ] ; OpenAI Agents [ 45 ] |
| Distributed knowledge work | Multi-agent | Iterative/mixed | ReAct/reflective | Agent-local episodic; aggregation | Hybrid | AutoGen [ 52 , 55 ] ; CrewAI [ 54 ] ; LangGraph [ 53 ] ; ADK [ 44 ] |
| Memory-centric long-horizon | Any | Mixed | Reflection common | Persistent+episodic; refresh | Hybrid/Learned | MemoryBank [ 63 ] ; MemGPT [ 64 ] ; AgeMem [ 59 ] |
| System | Planning Topology | Retrieval Strategy | Memory Model | Tool Coordination |
|---|---|---|---|---|
| ReAct | Linear reasoning loop | Iterative retrieval | Short-term scratchpad | Search tools |
| A-RAG | Hierarchical planning | Progressive retrieval | Hybrid memory | Multi-stage retrieval tools |
| Search-R2 | Actor–refiner architecture | Search-integrated reasoning | Episodic memory | Retrieval and repair tools |
| LangGraph workflows | Graph-based control flow | Tool-triggered retrieval | Persistent state | Structured tool orchestration |
| AutoGen agents | Multi-agent coordination | Tool-driven retrieval | Shared memory | Multi-agent tool usage |
| Module | Inputs | Outputs | Control Signals | Feedback Loops |
|---|---|---|---|---|
| Planner | User Query, Global State | Sub-task Graph | Depth limits, Max steps | Self-correction on plan failure |
| Controller | Sub-task, Local Memory | Action / Tool Call | Confidence thresholds | Observation-triggered replanning |
| Orchestrator | Multi-Agent Outputs | Final Synthesis | Agent-routing logic | Cross-agent consensus voting |
| Design Pattern | Core Control Question | Termination Condition | Tradeoffs (Cost / Latency / Risk) | Representative Anchors |
|---|---|---|---|---|
| Plan-then-retrieve | “What subtasks must be answered before synthesis?” | All planned sub-questions answered | High upfront planning cost; risk of brittle initial plans | Self-Ask [ 29 ] , Plan-and-Solve [ 28 ] |
| Retrieve-reflect-refine | “Is retrieval needed? Are these passages relevant?” | Reflection indicates sufficiency or budget exhausted | High latency due to sequential query iterations | Self-RAG [ 6 ] , Iter-RetGen [ 5 ] |
| Decomp-based retrieval | “Given the current reasoning state, what is missing?” | Answer reached with adequate evidence | Extreme token accumulation; reasoning drift risk | IRCoT [ 9 ] , ReAct [ 12 ] |
| Tool-augmented loops | “Which heterogeneous tool to call now?” | Tool results stabilize answer or verifier halts | Variable latency; high risk of tool-syntax failure | Toolformer [ 10 ] , CRITIC [ 81 ] |
| Multi-agent collaboration | “Which agent role should handle this task?” | Cross-agent consensus reached | Massive token amplification; coordination overhead | AutoGen [ 52 ] , MetaGPT [ 84 ] |
| Self-verification | “Which claims require checking against the corpus?” | Verification passes or abstention is triggered | Doubles baseline latency; bounded by retriever recall | CoVe [ 85 ] , GopherCite [ 87 ] |
| Metric | Failure Dimension | Why It Fails Agentic Systems | Agentic Failure Case |
|---|---|---|---|
| BLEU / ROUGE | Lexical Rigidity | Primarily measures surface-level lexical overlap; ignores semantic consistency and factual keypoints [ 91 ] . | An agent correctly diagnoses a condition but uses synonyms not in the reference text, receiving a failing score despite factual accuracy [ 94 ] . |
| Exact Match (EM) | Binary Inflexibility | Offers no flexibility for valid aliases or the superfluous reasoning detail often generated by agents [ 91 ] . | An agent outputs the correct entity but is failed because it included a valid reasoning trace before the target word [ 91 ] . |
| Final-Answer Accuracy | Trajectory Blindness | Provides a ”black box” view; cannot determine if the agent correctly reasoned or merely guessed [ 92 ] . | A math agent reaches the correct final digit through mutually canceling calculation errors, hiding a fundamental planning breakdown [ 90 ] . |
| Success Rate (SR) | Credit Assignment | Non-diagnostic; identifies that a failure occurred but fails to pinpoint the bottleneck (retrieval vs. tool call) [ 90 ] . | An agent correctly writes code but fails execution due to a syntax timeout; SR marks it 0, obscuring the successful reasoning [ 92 ] . |
| Pass@k | Reliability Blindness | Focuses on best-case capability rather than the consistency required for enterprise deployment [ 89 ] . | An agent succeeds once in ten attempts; while technically ”capable,” it is dangerously unreliable for production tasks [ 89 ] . |
| Evaluation Framework | Targeted Capability | Limitation for Agentic RAG |
|---|---|---|
| RGB & FaithEval [ 98 , 96 ] | Noise robustness, negative rejection, and counterfactual adherence. | Assumes a single forward-pass; cannot evaluate dynamic query reformulation. |
| RAGBench (TRACe) [ 95 ] | uTilization, Relevance, Adherence, and Completeness across industries. | Static dataset; fails to capture multi-step tool use or environment interaction. |
| RAGEval & CRAG [ 93 ] | Keypoint-based factual accuracy and multi-hop reasoning coverage. | Evaluates final output via mock APIs but lacks metrics for reasoning efficiency or cost. |
| Framework | Orchestrator Model | Planner / Control Flow | Memory Routing | Tool Abstraction |
|---|---|---|---|---|
| LangGraph [ 105 ] | Cyclic Directed Graphs | State-machine nodes | Persistent checkpointing | Wrapped Python functions |
| Google ADK [ 106 ] | Hierarchical Composition | Deterministic routing loops | Shared contextual state | Model Context Protocol |
| CrewAI [ 105 ] | Role-based Sequential | Process-driven delegation | Structured persona memory | Assigned capability arrays |
| AutoGen [ 105 ] | Asynchronous Chat | Event-driven conversation | Message history logs | Executable code blocks |
| LlamaIndex [ 105 ] | Query Pipelines | Data-driven routing | Index-centric retrieval | LlamaPack interfaces |
| Failure Mode | Pipeline Stage | Root Cause | Agentic Amplification Factor | Severity / Impact |
|---|---|---|---|---|
| Retrieval Drift | Iterative Retrieval | Semantic divergence in query reformulation | Compounds across iterations without convergence guarantees | Moderate (Degrades accuracy, increases cost) |
| Hallucination | Generation | Context insufficiency or positional bias | Hallucinated outputs become retrieval context in next iteration | High (Corrupts downstream logic and planning) |
| Tool Misuse | Tool Orchestration | Malformed queries, API failures | Errors propagate through dependent downstream tool calls | High (Causes systemic execution crashes) |
| Prompt Injection | Retrieval Context | Adversarial content in retrieved documents | Each retrieval iteration exposes new injection surface | Critical (Enables unauthorized data exfiltration) |
| Memory Poisoning | Memory Systems | Adversarial manipulation of persistent state | Corrupted memory affects all future sessions and decisions | Critical (Persistent, cross-session compromise) |
| Feedback Instability | Reflection | Reflection module shares generator biases | Self-critique may approve errors or reject correct outputs | Moderate (Prevents loop convergence) |
| Grand Problem | Primary Risk | Theoretical Gap | Core Evaluation Metric | Interdisciplinary Domain |
|---|---|---|---|---|
| 10.1 Stable Retrieval | Semantic drift and reasoning collapse | Lack of formal convergence proofs for context loops | State-transition convergence bounds | Control Theory, RL |
| 10.2 Reasoning Evaluation | Undetected logical failures | Absence of intermediate trajectory verification | Trajectory inter-rater reliability | Formal Verification |
| 10.3 Memory Security | Persistent episodic poisoning | No robust state modeling against latent triggers | Provable state recovery rate | Systems Security |
| 10.4 Cost Orchestration | Token explosion and latency stacking | No budget-aware multi-agent routing optimization | Pareto efficiency (Compute vs. Accuracy) | Operations Research |
| 10.5 Trust Calibration | Overconfidence in corrupted context | Lack of dynamic uncertainty bounds during retrieval | Expected Calibration Error (ECE) | HCI, Statistics |
Agentic RAG
Agentic retrieval-augmented generation lets language models plan searches, use tools, and refine evidence before producing grounded answers.
See all 246 papers