CNN などの深層学習モデルは、画像分類などのコンピューター ビジョン タスクにおいて人間のパフォーマンスを上回りました。ただし、これらのモデルは洗練されているにもかかわらず、解釈可能性に欠けており、データ内の既存の偏見を反映して偏った結果につながる可能性があります。私たちは、CNN によって行われた予測を解釈可能にすることを目指しています。そこで、画像分類タスク用の神経記号 (NeSy) モデルを作成するための、NeSyFOLD と呼ばれる新しいフレームワークを紹介します。このモデルは、最後の畳み込み層に続くすべての層が層別回答セット プログラム (ASP) に置き換えられた CNN です。 FOLD-SE-M と呼ばれるルールベースの機械学習アルゴリズムを使用して、最後の畳み込み層の 2 値化フィルターのアクティブ化から層化された回答セット プログラムを導き出します。回答セット プログラムはルールセットとして見ることができ、各述語の真理値は CNN 内の対応するカーネルのアクティブ化に依存します。ルールセットはモデルの全体的な説明として機能し、解釈可能です。 NeSy モデルによって行われた予測の正当性は、ASP インタープリターを使用して取得できます。また、Elite BackProp (EBP) と呼ばれるスパース カーネル学習手法を使用してトレーニングされた CNN で NeSyFOLD フレームワークを使用します。これにより、精度や忠実度を損なうことなくルールセットのサイズが大幅に縮小され、NeSy モデルのスケーラビリティとそのルールセットの解釈可能性が向上します。評価は、さまざまな複雑さとサイズのデータセットに対して行われます。ルールセットをより直観的に理解できるようにするために、ルールセット内の各カーネルの対応する述語に、学習した意味概念をラベル付けするための新しいアルゴリズムを提案します。 NeSy モデルと NeSy-EBP モデルの両方に対するセマンティック ラベリングの有効性を定量化するために、「セマンティック ラベリング アルゴリズム」のパフォーマンスを評価します。
Deep learning models such as CNNs have surpassed human performance in computer vision tasks such as image classification. However, despite their sophistication, these models lack interpretability which can lead to biased outcomes reflecting existing prejudices in the data. We aim to make predictions made by a CNN interpretable. Hence, we present a novel framework called NeSyFOLD to create a neurosymbolic (NeSy) model for image classification tasks. The model is a CNN with all layers following the last convolutional layer replaced by a stratified answer set program (ASP). A rule-based machine learning algorithm called FOLD-SE-M is used to derive the stratified answer set program from binarized filter activations of the last convolutional layer. The answer set program can be viewed as a rule-set, wherein the truth value of each predicate depends on the activation of the corresponding kernel in the CNN. The rule-set serves as a global explanation for the model and is interpretable. A justification for the predictions made by the NeSy model can be obtained using an ASP interpreter. We also use our NeSyFOLD framework with a CNN that is trained using a sparse kernel learning technique called Elite BackProp (EBP). This leads to a significant reduction in rule-set size without compromising accuracy or fidelity thus improving scalability of the NeSy model and interpretability of its rule-set. Evaluation is done on datasets with varied complexity and sizes. To make the rule-set more intuitive to understand, we propose a novel algorithm for labelling each kernel's corresponding predicate in the rule-set with the semantic concept(s) it learns. We evaluate the performance of our "semantic labelling algorithm" to quantify the efficacy of the semantic labelling for both the NeSy model and the NeSy-EBP model.