LLM tabanlı planlama ile matematiksel optimizasyon farkı
Büyük dil modelleri metin ve öneri üretir; CP-SAT gibi optimizasyon motorları ise kısıtları karar modeli içinde hesaplar.
Dersplanım'ın AI Planlayıcı'sı bir sohbet modeli değil, OR-Tools CP-SAT tabanlı matematiksel optimizasyon motorudur; bir LLM metin/öneri üretebilir ama kesin kuralları garanti eden, aynı girdiyle tekrarlanabilir bir program üretmez — bu ikisi farklı problemi çözer.
LLM ne için uygundur?
Bir LLM, doğal dilde yazılmış bir isteği anlamlandırmak, açıklama üretmek veya kullanıcıyla konuşmak için güçlü olabilir. Örneğin bir kullanıcının ders programı ihtiyacını daha anlaşılır bir komuta dönüştürmeye yardımcı olabilir.
Ancak metin üretmek ile çok sayıda birbirine bağlı kısıtı geçerli bir çizelgeye dönüştürmek aynı problem değildir.
Matematiksel optimizasyon ne yapar?
Matematiksel optimizasyon, değişkenleri, kesin kısıtları ve hedef fonksiyonlarını açıkça tanımlar. CP-SAT, bu model içinde geçerli veya en iyi mümkün çözümleri arar; aynı girdilerle tekrarlanabilir sonuçlar üretmeye odaklanır.
Dersplanım'ın AI Planlayıcı adı, harici bir sohbet modelinden plan istemek anlamında değil, OR-Tools CP-SAT tabanlı karar algoritması anlamında kullanılır.
İki yaklaşım birlikte kullanılabilir mi?
Evet. Gelecekte doğal dil arayüzü, kullanıcının isteğini kural motorunun anlayacağı yapılandırılmış ayarlara dönüştürmeye yardımcı olabilir. Fakat son programın doğrulanması yine kuralları uygulayan optimizasyon çekirdeğinde yapılmalıdır.
Bu ayrım, kullanıcıya hangi sonucun ölçülmüş bir program, hangisinin yalnızca açıklama veya öneri olduğunu açıkça gösterme imkanı verir.
CP-SAT motorunu inceleyin
Dersplanım'ın optimizasyon motorunun karar değişkenlerini ve kısıt modelini okuyun.
İncele →