The Integration of Reasoning and Learning Strategies for Scientific Discovery
Abstract
We propose to advance the integration of reasoning and learning technology to support automated scientific and mathematical discovery. Automated scientific discovery is a long-standing challenge domain in AI. Progress in the area requires a tight integration of multiple sources of domain knowledge, different representation formalisms, specialized inference procedures, and multiple learning strategies.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 11, 2017
- Source ID
- FA95501710292
Entities
People
- Bart Selman
Organizations
- Air Force Office of Scientific Research
- Cornell University
- United States Air Force