基于逻辑的机器学习技术应用于细胞工程，推动生物发现，该技术基于称为基因组规模代谢网络模型 (GEM) 的代谢过程综合数据库。预测的宿主行为并不总是能被 GEM 正确描述。学习 GEM 中错综复杂的基因相互作用带来了计算和经验上的挑战。为了解决这些问题，我们描述了一种名为布尔矩阵逻辑编程 (BMLP) 的新方法，该方法利用布尔矩阵来评估大型逻辑程序。我们引入了一个新系统 $BMLP_{active}$，该系统通过主动学习指导信息丰富的实验，从而高效地探索基因组假设空间。与亚符号方法相比，$BMLP_{active}$ 使用 datalog 逻辑程序以可解释和逻辑的方式编码了广泛接受的细菌宿主的最先进 GEM。值得注意的是，$BMLP_{active}$ 可以成功地学习基因对之间的相互作用，所需的训练示例数量少于随机实验，克服了实验设计空间的增加。$BMLP_{active}$ 使代谢模型能够快速优化，并为微生物工程的自驱动实验室提供了一种现实的方法。