CP-SAT ile ders programı planlama nasıl çalışır?
Kısıt programlama, öğretmen-gün-ders kararlarını birlikte değerlendirerek ders programındaki zorunlulukları ve öncelikleri aynı modelde ele alır.
Dersplanım, ders programını bir kısıt programlama (CP-SAT) modeliyle üretir: her öğretmen-gün-ders kombinasyonunu bir karar değişkeni olarak ele alır, kesin kurallarla geçersiz kombinasyonları eler, esnek kurallarla kalan seçenekler arasında en dengeli planı arar.
Planlama problemi neden matematiksel bir model ister?
Bir ders programında aynı anda birden fazla koşul vardır: bir öğretmen aynı saatte iki derse giremez, sınıf ve derslik çakışmamalı, her sınıfın haftalık ders saati tam karşılanmalı ve öğretmen yükü mümkün olduğunca dengeli dağılmalıdır.
Bu koşullar birbirinden bağımsız değildir. Bir öğretmeni bir saate yerleştirmek, başka bir dersin veya sınıfın uygunluğunu etkileyebilir. CP-SAT bu ilişkileri tek bir karar modeli içinde arar.
Dersplanım motorundaki karar değişkenleri
Dersplanım'ın planlama çekirdeği, öğretmen, sınıf, ders ve zaman dilimi kombinasyonlarını planlama kararları olarak değerlendirir. Her olası kombinasyon seçilebilir veya seçilemez hale gelir; kesin kurallar bu seçim alanını sınırlar, esnek kurallar ise mümkün çözümler arasında tercih oluşturur.
Kesin kurallar hangi girdileri sınırlar?
Öğretmenin çalışamayacağı günler ve izinler dikkate alınır.
Sınıf ve derslik çakışmazlığına göre yerleşim ilişkileri kurulur.
Esnek kurallar hangi hedefleri önceliklendirir?
Derslik/donanım uygunluğu (lab, spor salonu gibi) gün ve ders türüne göre değerlendirilir.
Dersin haftaya dağılması ve öğretmen boşluk/yük dengesi gibi ölçüler amaç fonksiyonuna bağlanır.
Sonuç neden açıklanabilir?
CP-SAT bir metin üreticisi değildir. Girdi kuralları, çözüm durumu ve program uyarıları ayrı ayrı izlenebildiği için kullanıcı hangi koşulun karşılandığını veya nerede açık kaldığını inceleyebilir.
Bu yaklaşım, programı otomatik üretse de nihai kontrolü sorumlu kullanıcıda bırakır. Üretim ortamındaki farklı okul ölçekleri ve kural ayarları için performans ayrıca ölçülmelidir.
AI Planlayıcı'yı deneyin
Kendi okulunuzun kural ve tercihleriyle CP-SAT motorunun ürettiği programı görün.
İncele →