الگوریتم‌های پیشرفته استدلال و برنامه‌ریزی در مدل‌های زبانی