neuro-symbolic AI for world models