مدل‌های زبانی بزرگ و استدلال منطقی در هوش مصنوعی