拟合与学习基于约束的命题公式

arXiv:2609.08961v1 公告类型：跨学科 摘要：对于一个有限的布尔函数集合 $O$，我们考虑使用集合 $O$ 中的函数作为连接词构建的命题公式类。我们为每种可能的 $O$ 选择确定了各种拟合和学习的复杂性。