Logic Optimizer For Different Models

The article explores the use of an online optimizer for creating different models and finding the best logic combination. It outlines the process of selecting and marking the best model (A), generating another model (B) using the same optimizer, and combining these into a final model (X) through iterating various situations.

---

currently we can use hyperopt as the online optimizer. of course for offline optimization there’s better option or prediction for it.

For a sequence of models, use classic logic solver to find best logic combination.

select model 0.

select model 1 with 0, iterate through 16 different situations(0, not 0, 1, not 1, 0 and 1, 0 or 1, 0 and not 1, 0 or not 1, not 0 and 1,not 0 or 1, not 0 and not 1, not 0 or not 1), choose the best one. mark it as model A.

select model 2, use the same optimizer to generate model B.

finally iterate through all models. generte model X as a combination of best logic models.