Assured Neuro Symbolic Learning and Reasoning (ANSR)
Abstract
The Assured Neuro Symbolic Learning and Reasoning (ANSR) program is developing new hybrid artificial intelligence (AI) algorithms that deeply integrate symbolic reasoning with data driven learning to create trustworthy AI-based systems. Here, an AI based system is considered trustworthy if it is: (a) robust to domain informed and adversarial perturbations, (b) supported by an assurance framework that creates and analyzes heterogenous evidence towards safety and risk assessments, and (c) predictable with respect to some specification and model of fitness. ANSR develops hybrid AI algorithms for which it is possible to develop evidence-based techniques that support confident assurance judgments. The key idea is to interleave symbolic and neural representations in hybrid AI algorithms that are capable of acquiring symbolic knowledge through learning and performing symbolic reasoning at scale to deliver robust inference, generalize to new situations, and provide evidence for assurance and trust. ANSR technologies will be demonstrated and evaluated on DoD use cases such as autonomy where trustworthiness is essential.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- 2305cd9ca81cfa09d6dc63475f2e8e45