مهندسی بهینه‌سازی مدل‌های زبانی و استدلال منطقی