Symbolic model discovery based on a combination of numerical learning methods and reasoning
AssigneeInternational Business Machines Corporation
InventorsCristina Cornelio, Lior Horesh, Achille Belly Fokoue-Nkoutche, Sanjeeb Dash
Life of this patent
Estimating the term…
Abstract
Aspects of the invention include obtaining a set of data that includes inputs and outputs to be modelled and performing a symbolic regression to find a symbolic model that fits the inputs and the outputs of the set of data. The symbolic model is a symbolic expression discovered by the symbolic regression in a search space. Automated reasoning is performed to affect a final symbolic model that is used to obtain new outputs from new inputs based on the final symbolic model.
Claims20
A computer-implemented method comprising:
- obtaining a set of data that includes inputs and outputs to be modelled;
- performing a symbolic regression to find a symbolic model that fits the inputs and the outputs of the set of data, wherein the symbolic model is a symbolic expression discovered by the symbolic regression in a search space;
- and
- performing automated reasoning to affect a final symbolic model that is used to obtain new outputs from new inputs based on the final symbolic model.
A system comprising:
- a memory having computer readable instructions;
- and
- one or more processors for executing the computer readable instructions, the computer readable instructions controlling the one or more processors to perform operations comprising:
- obtaining a set of data that includes inputs and outputs to be modelled;
- performing a symbolic regression to find a symbolic model that fits the inputs and the outputs of the set of data, wherein the symbolic model is a symbolic expression discovered by the symbolic regression in a search space;
- and
- performing automated reasoning to affect a final symbolic model that is used to obtain new outputs from new inputs based on the final symbolic model.
A computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to perform operations comprising:
- obtaining a set of data that includes inputs and outputs to be modelled;
- performing a symbolic regression to find a symbolic model that fits the inputs and the outputs of the set of data, wherein the symbolic model is a symbolic expression discovered by the symbolic regression in a search space;
- and
- performing automated reasoning to affect a final symbolic model that is used to obtain new outputs from new inputs based on the final symbolic model.
Dependencies are inferred from the claim text.