Symbolic Model Discovery Rectification via Partial Expression Trees

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Mis-specified symbolic models often lead to erroneous predictions and suboptimal decisions due to noise factors, including epistemic and aleatory errors, which are not effectively addressed by existing technologies.

Innovation Solution

The method involves generating partial expression trees from a mis-specified symbolic model, solving optimization problems for each tree, and determining a refined model that minimizes prediction error while maintaining bounded complexity, numerical parameters, and functional form differences, adhering to symbolic grammatic constraints, resulting in a higher fidelity model.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Device complexity

If a mis-specified symbolic model is used, then model complexity is reduced, but prediction accuracy deteriorates due to noise factors

Engineering Contradiction:
Improvemodel complexityVSAvoidprediction accuracy
Core Design Contradiction:
Device complexityVSMeasurement precision

Solution Approach 1:

The patent introduces an intermediary refinement process that takes a mis-specified symbolic model and transforms it into a refined model. This intermediary process uses optimization algorithms to adjust the model's parameters and structure, mediating between the simplicity of the original model and the accuracy requirements of the target system.

Inventive Principle:
Principle #24Intermediary (Mediator)

Solution Approach 2:

The patent systematically changes model parameters through optimization techniques. By adjusting parameters within bounded complexity distances and maintaining constrained functional forms, the method improves prediction accuracy while preserving the underlying simplicity of the original mis-specified model structure.

Inventive Principle:
Principle #35Parameter changes

2Measurement precision

If model refinement is performed to reduce prediction error, then prediction accuracy improves, but model complexity increases

Engineering Contradiction:
Improveprediction accuracyVSAvoidmodel complexity
Core Design Contradiction:
Measurement precisionVSDevice complexity

Solution Approach 1:

The patent applies partial refinement by performing optimization within bounded complexity distances from the original model. Rather than completely re-specifying the model, the method performs partial adjustments to parameters and structure, achieving sufficient accuracy improvement without excessive complexity increase.

Inventive Principle:
Principle #16Partial or excessive action

Solution Approach 2:

The optimization process uses feedback from prediction errors to iteratively refine the model. By continuously measuring prediction accuracy and adjusting parameters accordingly within constrained boundaries, the method achieves improved accuracy while preventing unbounded complexity growth through the bounded complexity distance constraint.

Inventive Principle:
Principle #23Feedback

3Ease of operation

If the refined model maintains bounded complexity distance from the mis-specified model, then model interpretability is preserved, but the ability to capture complex phenomena is limited

Engineering Contradiction:
Improvemodel interpretabilityVSAvoidability to capture complex phenomena
Core Design Contradiction:
Ease of operationVSAdaptability or versatility

Solution Approach 1:

The patent segments the model refinement process into constrained components: bounded complexity distance constraints, numerical parameters difference constraints, and functional form difference constraints. This segmentation allows the model to maintain interpretability through structural similarity while capturing complex phenomena through parameter adjustments within each segmented constraint.

Inventive Principle:
Principle #1Segmentation

Data Source

PatentUS20240346106A1Symbolic model discovery rectification
Publication Date: 2024.10.17 INTERNATIONAL BUSINESS MACHINE CORPORATION
  • US20240346106A1 patent drawing
  • US20240346106A1 patent drawing
  • US20240346106A1 patent drawing

AI summary

A method for obtaining a refined model given a mis-specified symbolic model. The method includes receiving a mis-specified symbolic model and data pertaining to a process or phenomenon corresponding to the mis-specified symbolic model; receiving one or more constraints; generating a plurality of partial expression trees based on the mis-specified symbolic model; solving an optimization problem for each of the partial expression trees; and determining a refined symbolic model of the mis-specified symbolic model based on results of the optimization problem for each partial expression tree.