# Logic Understanding for Complex Information Dissemination (LUCID)

**R-2A activity** of project EMR-01 — MATH AND COMPUTER SCIENCES  
**Program element:** 0601122E — Emerging Opportunities  
**Component:** Defense-Wide · **Budget Activity:** 1  
**Vintage:** President's Budget PB2027  
**Canonical URL:** https://hitchintel.com/programs/0601122E/EMR-01/a7  
**Parent:** https://hitchintel.com/programs/0601122E/EMR-01

## Summary

This activity requests $23.7M in FY2027, 12% of project EMR-01, up 157% on FY2026. The R-2A exhibit describes it across FY2026–FY2027, including what the FY2027 money is planned to buy.

## What the FY2027 request buys

**FY2027 planned work.** - Demonstrate that proof explicitly encodes key semantic information that can be mapped to the operational context to enhance the operator's insight. - Develop AI architectures that enable users to enhance system understanding. - Develop test scenarios and proof artifacts and perform test and evaluation within a realistic gaming environment. - Develop formal proof artifacts for use in case-specific software tool components. - Develop interactive, visual, or immersive approaches such as haptics and virtual/augmented reality that facilitate users exploratory interaction with software systems.

**FY2026 to FY2027 change.** The FY 2027 increase reflects continued development of proof-based techniques for software understanding, adaptation, and interaction and additional efforts to demonstrate and evaluate the techniques in realistic environments and systems.

## Before the request year

**FY2026 plans — current year.** - Begin the proof-of-concept to demonstrate that proofs encode software system knowledge to enhance system understanding and adaptation. - Initiate development of test scenarios and proof artifacts.

## Funding

| Fiscal Year | Estimate Type | Amount ($M) |
|---|---|---|
| FY2026 | Enacted | 9.2 |
| FY2027 | Request | 23.7 |

> Prior, current and budget year only — an R-2A activity carries no five-year plan. It sums exactly into its project in the request year and not necessarily in any other.

## Other activities in project EMR-01

- [Math and Algorithms Studies and Concepts](https://hitchintel.com/programs/0601122E/EMR-01/a11) — FY2027 54.4
- [Artificial Intelligence Studies and Concepts](https://hitchintel.com/programs/0601122E/EMR-01/a10) — FY2027 38.3
- Foundational Artificial Intelligence (AI) Science — FY2027 16.1
- [Young Faculty Award (YFA)](https://hitchintel.com/programs/0601122E/EMR-01/a1) — FY2027 16.0
- [Exponentiating Mathematics (expMath)](https://hitchintel.com/programs/0601122E/EMR-01/a2) — FY2027 14.1
- Translating All C To Rust (TRACTOR) — FY2027 9.8
- Intrinsic Cognitive Security (ICS) — FY2027 7.5
- Fostering Research and Growth in Emerging Artificial Intelligence (AI FORGE) — FY2027 6.6
- Scientific Feasibility (SciFy) — FY2027 4.5
- Mapping Machine Learning to Physics (ML2P) — FY2027 2.8
- Advanced Tools for Modeling and Simulation — FY2027 1.8
- In The Moment (ITM) — FY2027 —
- Enhanced SBOM for Optimized Software Sustainment (E-BOSS) — FY2027 —
- Advanced Research Concepts (ARC) — FY2027 —

## Source & machine access

- **Source:** FY2027 Office of the Secretary of Defense RDT&E Budget Justification, Exhibit R-2A, PE 0601122E project EMR-01 (PB PB2027). Narrative is the government's own text.
- **No marks, no contractors at this grain** — congressional marks land on the program element and R-3 performers on the project.
- **MCP:** `mcp.hitchintel.com` — `budget_get_activity`.

*HitchAI is an independent intelligence service, not affiliated with the U.S. Department of Defense. Budget figures are requests/estimates, not obligations.*