Ben Goertzel（@bengoertzel）のスレッド

@pmddomingos -- テンソル論理を高階論理に拡張する方法について少し考えました... https://t.co/A7qXOYXNOC 少し微妙な問題です。明白で一般的な方法はdrive.google.com/file/d/1Ucy7O4…あまりにも多くの仮定が含まれます。ニューラル シンボリック システムの場合、一般的に機能する HOL システムを用意し、加速のためにデータ/問題を GPU に送信するときに、現在適切な制約を組み込む方法でテンソル化を行うことで操作できます。ただし、この変換がオーバーヘッドによって効率の向上が損なわれないほど効率的に実行できるタイミングを特定することは微妙な場合があり、その点については論文で概念的に説明しています。