Title:
METHODS AND SYSTEMS FOR MODEL GENERATION AND INSTANTIATION OF OPTIMIZATION MODELS FROM MARKUP DOCUMENTS
Document Type and Number:
WIPO Patent Application WO/2024/092553
Kind Code:
A1
Abstract:
Methods and systems for generating a symbolic model from a markup document, and instantiating a model instance from a symbolic model are described. A markup document containing human language content and mathematical content is parsed into a symbolic model that contains only symbolic code representing an optimization problem. The markup document is parsed to extract a markup declaration, the markup declaration is then processed to a math content span, any metadata entity and any relationship between any metadata entity and the math content span. The math content span is processed into a math content parse tree. The math content parse tree is converted into symbolic code of the symbolic model using any relationship between the metadata entity and the math content span. The symbolic model can be instantiated using data definitions.
Inventors:
RAMAMONJISON RINDRANIRINA (CA)
YU TIMOTHY TIN LONG (CA)
LI HALEY (CA)
MAO KUN (CN)
ZHOU ZIRUI (CA)
ZHANG YONG (CA)
YU TIMOTHY TIN LONG (CA)
LI HALEY (CA)
MAO KUN (CN)
ZHOU ZIRUI (CA)
ZHANG YONG (CA)
Application Number:
PCT/CN2022/129233
Publication Date:
May 10, 2024
Filing Date:
November 02, 2022
Export Citation:
Assignee:
HUAWEI CLOUD COMPUTING TECH CO LTD (CN)
International Classes:
G06F9/445
Foreign References:
| US20170351656A1 | 2017-12-07 | |||
| CN101158939A | 2008-04-09 | |||
| CN1472645A | 2004-02-04 | |||
| CN1535429A | 2004-10-06 | |||
| CN1933536A | 2007-03-21 |
Download PDF: