Active Formalization Through Analogico-Deductive Reasoning
Abstract
The objective is to address 2 key questions: What is involved in the process of creating and restructuring formalized representational systems? And, Can AI be created to generate and reconfigure such formalized systems, either autonomously or with the help of humans?
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Dec 05, 2016
- Source ID
- FA95501610308
Entities
People
- John Licato
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- University of Virginia