インテリジェンスはコネクショニストまたは古典主義者によって実現されていますか?コネクショニストのアプローチは超人的なパフォーマンスを達成しましたが、そのようなタスク固有の優位性は体系的な一般化において特に脆弱であるという証拠が増えています。この観察は、コネクショニストと古典主義者の間の中心的な議論にあり、後者は認知アーキテクチャにおける代数的扱いを継続的に提唱しています。この作品では、古典主義者の呼びかけに従い、推論における体系的な一般化を改善するためのハイブリッドアプローチを提案します。具体的には、Raven's Progressive Matrices(RPM)の抽象的な時空間推論タスクの代数表現を使用したプロトタイプを紹介し、ALgebra-Aware Neuro-Semi-Symbolic(ALANS)学習者を紹介します。 ALANSの学習者は、抽象代数と表現論に動機付けられています。これは、神経視覚知覚フロントエンドと代数的抽象推論バックエンドで構成されています。フロントエンドはオブジェクトベースの表現からの視覚情報を要約し、バックエンドはそれを代数的構造に変換して、その場で隠された演算子を誘導します。誘導された演算子は、後で回答の表現を予測するために実行され、予測に最も類似した選択肢が解として選択されます。広範な実験は、代数的処理を組み込むことにより、ALANS学習者は、体系的な一般化を必要とするドメインで、さまざまな純粋なコネクショニストモデルよりも優れていることを示しています。さらに、学習した代数表現を同型写像でデコードして答えを生成できることを示します。
Is intelligence realized by connectionist or classicist? While connectionist approaches have achieved superhuman performance, there has been growing evidence that such task-specific superiority is particularly fragile in systematic generalization. This observation lies in the central debate between connectionist and classicist, wherein the latter continually advocates an algebraic treatment in cognitive architectures. In this work, we follow the classicist's call and propose a hybrid approach to improve systematic generalization in reasoning. Specifically, we showcase a prototype with algebraic representation for the abstract spatial-temporal reasoning task of Raven's Progressive Matrices (RPM) and present the ALgebra-Aware Neuro-Semi-Symbolic (ALANS) learner. The ALANS learner is motivated by abstract algebra and the representation theory. It consists of a neural visual perception frontend and an algebraic abstract reasoning backend: the frontend summarizes the visual information from object-based representation, while the backend transforms it into an algebraic structure and induces the hidden operator on the fly. The induced operator is later executed to predict the answer's representation, and the choice most similar to the prediction is selected as the solution. Extensive experiments show that by incorporating an algebraic treatment, the ALANS learner outperforms various pure connectionist models in domains requiring systematic generalization. We further show that the algebraic representation learned can be decoded by isomorphism to generate an answer.