.png){kind=icon}
返回
Refining neural network predictions using background knowledge
.png){kind=icon}
OA
AI
DOI：10.1007/s10994-023-06310-3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Recent work has shown learning systems can use logical background knowledge to compensate for a lack of labeled training data. Many methods work by creating a loss function that encodes this knowledge. However, often the logic is discarded after training, even if it is still helpful at test time. Instead, we ensure neural network predictions satisfy the knowledge by refining the predictions with an extra computation step. We introduce differentiable refinement functions that find a corrected prediction close to the original prediction. We study how to effectively and efficiently compute these refinement functions. Using a new algorithm called iterative local refinement (ILR), we combine refinement functions to find refined predictions for logical formulas of any complexity. ILR finds refinements on complex SAT formulas in significantly fewer iterations and frequently finds solutions where gradient descent can not. Finally, ILR produces competitive results in the MNIST addition task.
Keyword:
Neurosymbolic AI
Fuzzy logic
Optimization
期刊
IF:
2.9
论文数:
2.7K
被引数:
3.4W
机构
引用论文
分享收藏
分享收藏Effects on hunger and satiety, perceived portion size and pleasantness of taste of varying the portion size of foods: A brief review of selected studies.png)
Appetite
AppetiteIF0
PREAI
分享收藏
查看更多内容