推論は人間の知性の本質的な部分であり、したがって人工知能の研究における長年の目標でした。ディープラーニングの最近の成功により、ディープラーニングシステムに推論を組み込むこと、つまり神経シンボリックAIが主要な関心分野になりました。一階述語論理を使用して微分可能な前向き連鎖を利用してタスクを推論するための新しいアプローチであるNeuro-SymbolicForward Reasoner(NSFR)を提案します。重要なアイデアは、微分可能な前向き連鎖推論をオブジェクト中心の(ディープ)学習と組み合わせることです。微分可能な前向き連鎖推論は、論理的含意をスムーズに計算します。つまり、与えられたファクトとルールから微分可能な方法で新しいファクトを推定します。オブジェクト中心の学習アプローチは、生の入力をオブジェクトに関する表現に因数分解します。したがって、生の入力から前向き連鎖推論を実行するための一貫したフレームワークを提供できます。 NSFRは、生の入力をオブジェクト中心の表現に因数分解し、それらを確率的な基底原子に変換し、最後に、推論の重み付き規則を使用して、微分可能な前向き連鎖推論を実行します。オブジェクト中心の推論データセット、2Dカンディンスキーパターンと3D CLEVR-Hans、およびさまざまなタスクに関する包括的な実験的評価は、私たちのアプローチの有効性と利点を示しています。
Reasoning is an essential part of human intelligence and thus has been a long-standing goal in artificial intelligence research. With the recent success of deep learning, incorporating reasoning with deep learning systems, i.e., neuro-symbolic AI has become a major field of interest. We propose the Neuro-Symbolic Forward Reasoner (NSFR), a new approach for reasoning tasks taking advantage of differentiable forward-chaining using first-order logic. The key idea is to combine differentiable forward-chaining reasoning with object-centric (deep) learning. Differentiable forward-chaining reasoning computes logical entailments smoothly, i.e., it deduces new facts from given facts and rules in a differentiable manner. The object-centric learning approach factorizes raw inputs into representations in terms of objects. Thus, it allows us to provide a consistent framework to perform the forward-chaining inference from raw inputs. NSFR factorizes the raw inputs into the object-centric representations, converts them into probabilistic ground atoms, and finally performs differentiable forward-chaining inference using weighted rules for inference. Our comprehensive experimental evaluations on object-centric reasoning data sets, 2D Kandinsky patterns and 3D CLEVR-Hans, and a variety of tasks show the effectiveness and advantage of our approach.