t_wの輪郭

「小さい大規模言語モデルにPrologを組み込んだら、正しい知識に基づく回答をしないだろうか」ということを考えてたら、「微分可能なPrologをニューラルネットワークのレイヤーとして組み込む」というアイデアが降ってきた。微分可能なPrologというのが存在するのか、あるいは実現可能なのかは何もわからない。