Logic-Guided Graph Denoising Diffusion Models：用一阶逻辑约束图扩散生成

研究者提出 Logic-Guided Graph Denoising Diffusion Models，用一阶逻辑（FOL）把领域知识注入图扩散模型，通过 classifier guidance 在推理阶段引导去噪轨迹，目标函数是逻辑规则的模糊可微松弛。方法只需指定 FOL 约束，即可约束预训练生成模型。在知识图谱无条件生成任务上，引入领域本体作为结构约束后，生成图满足本体约束的比例显著提升。