再帰ニューラルネットワークの論理表現に向けて

論理システムの形式言語におけるニューラルネットワークの表現は、その解釈性を向上させるためやその特性の形式的検証の一歩として利用される可能性があります。本研究は、Łukasiewicz論理の言語で合理的マクノートン関数を計算するフィードフォワードニューラルネットワークの表現に関する文献に基づいています。したがって、再帰計算を表現する技術を提案し、再帰ニューラルネットワークの表現を可能にします。これは、合理的マクノートン関数を計算するシンプル再帰ネットワーク（SRN）の特定の文脈内で行われた初期調査です。