IBMが深層学習と記号論理をつなぐ技術、画像の内容を1階述語論理に変換しソルバで解く