Related Experiment Video
Updated: Aug 3, 2025
05:47
Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
Published on: June 13, 2025
382
Combining data and theory for derivable scientific discovery with AI-Descartes
Cristina Cornelio1,2, Sanjeeb Dash3, Vernon Austel3
1IBM Research-Mathematics and Theoretical Computer Science, New York, NY, USA. c.cornelio@samsung.com.
Nature Communications
|April 12, 2023
Summary
This study introduces a new method combining logical reasoning and symbolic regression to discover scientific laws from data and prior knowledge. This approach enables accurate model derivation even with limited experimental data.
Area of Science:
- Physics
- Computer Science
- Scientific Discovery
Background:
- Mathematical models describe natural phenomena, derived manually or via machine learning.
- Incorporating functional constraints into models is studied, but incorporating general logical axioms remains an open problem.
Purpose of the Study:
- To develop a principled method for deriving scientific models from axiomatic knowledge and experimental data.
- To address the challenge of integrating general logical axioms into automated model discovery.
Main Methods:
- Combining logical reasoning with symbolic regression.
- Demonstrating the method on Kepler's third law, Einstein's time-dilation, and Langmuir's adsorption theory.
Main Results:
- Successfully derived governing laws from limited data points.
- Showcased the ability to distinguish between candidate formulae with similar data error using logical reasoning.
Conclusions:
- The developed method enables principled model derivations from axiomatic knowledge and data.
- Logical reasoning enhances the discovery of scientific laws, especially with sparse data.
Related Concept Videos
01:16Non-equilibrium in the Cell
4.6K
An important concept in studying metabolism and energy is that of chemical equilibrium. Most chemical reactions are reversible. They can proceed in both directions, releasing energy into their environment in one direction, and absorbing it from the environment in the other direction. The same is true for the chemical reactions involved in cell metabolism, such as the breaking down and building up of proteins into and from individual amino acids, respectively. Reactants within a closed system...
4.6K
01:16Deductive Reasoning
56.0K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
For example, a researcher can deduce specific predictions...
56.0K
00:59Inductive Reasoning
60.7K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
60.7K
01:24Natural and Artificial Concepts
223
In psychology, concepts can be divided into two categories: natural and artificial. Natural concepts are formed through direct or indirect experiences. For example, consider the concept of snow. If you live in a place with regular snowfall, such as Essex Junction, Vermont, you know snow through direct experiences. You’ve seen it fall, touched it, shoveled it, and played in it. You recognize its texture, appearance, and even its smell. In contrast, if you live on an island like Saint...
223
01:26Drug Discovery: Overview
8.1K
Drug discovery is a multifaceted process involving extensive screening, testing, and optimization of lead compounds to identify potential new drugs for therapeutic use. It combines several approaches, including screening large numbers of natural products, chemical modification of known active molecules, identification of new drug targets, and rational design based on biological mechanisms and drug-receptor structure. These approaches are carried out in both academic research laboratories and...
8.1K