本田 裕『学位論文 博士(工学) 深層学習を用いた一階述語論理による推論に関する研究』2024/3/17 15:24:00 https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php/KO50002002-20215703-0003.pdf?file_id=163237
『深層学習と論理プログラミングの融合に関する最新の動向』2024/3/17 13:59:00 https://www.jstage.jst.go.jp/article/jjsai/34/5/34_714/_pdf
あれ2024/3/17 10:37:00 「小さい大規模言語モデルにPrologを組み込んだら、正しい知識に基づく回答をしないだろうか」ということを考えてたら、「微分可能なPrologをニューラルネットワークのレイヤーとして組み込む」というアイデアが降ってきた。微分可能なPrologというのが存在するのか、あるいは実現可能なのかは何もわからない。