The proof of Theorem 1a of our article that appears in Annals of Mathematics and Artificial Intelligence 88(1–3):133-155 (2020) has a mistake. We give here the corrected proof, together with a new version of Definition 3 in that article that the correction necessitated.

中文翻译：

---

更正为：定向的Lovász本地引理和Shearer's Lemma

出现在《数学与人工智能年鉴》 88（1-3）：133-155（2020）中的本文定理1a的证明是错误的。我们在此提供了更正的证明，以及该文章中需要更正的新版本的“定义3”。