KLM: bilinmeyen neden sıfır değildir?

Bir kaydın içinde 0 görmek ile ölçümün yapılmadığını görmek aynı şey değildir. Sıfır bir değer bildirir. Bilinmeyen ise değeri söylemek için yeterli bilgi bulunmadığını bildirir.

Bu ayrım, dil modeli sistemlerinde kolayca kaybolabilir. Bir kaynakta tarih bilgisi yoktur; kod eksik güncellik puanını sıfıra çevirir. Sonraki ekran, bu sayıyı ölçülmüş bir sonuç gibi gösterir. Böylece veri yokluğu, düşük puan gibi okunmaya başlar.

KLM'nin “honest null” ilkesi, bu dönüşümü engellemeyi amaçlar: üretilemeyen sinyal null olarak kalır ve yokluğun nedeni açıkça kaydedilir.

Sıfırın söylemediği şey

Kaynağın güncelliği ölçülmemişse “güncellik puanı sıfır” demek, kaynağın eski olduğunu ölçmekle aynı değildir. Ölçüm yoktur. Kaynağın hangi tarihte geçerli olduğunu öğrenmek hâlâ açık bir iştir.

Aşağıdaki parça, depodaki epistemik vektör örneğinin mantığını gösterir; tek başına tam bir KLM kaydı değildir:

{
  "freshness_score": null,
  "signal_status": {
    "freshness_score": "unavailable"
  },
  "nulls": {
    "freshness_score": {
      "reason": "no_varve_age_metadata"
    }
  }
}

Burada sistem, ölçmediği bir şeyi ölçmüş gibi sunmaz. Neden alanı, eksik bilginin daha sonra araştırılabileceği bir iz bırakır.

Belirsizlik bir sınırda kaybolabilir

Bir JSON kaydı null taşısa bile bu ayrım uygulamanın başka bir bölümünde silinebilir. value ?? 0 gibi bir varsayılan, açıkça bilinmeyen bir değeri sıfıra dönüştürür. Bazı aktarım biçimlerinde boşluk ile sıfır aynı sayısal alana düşebilir.

KLM belirtimi bu nedenle ilkeyi yalnız ilk kayda uygulamaz: uygulamanın kontrol ettiği oluşturma, kodlama ve çözme sınırlarında da korunmasını ister. Ayrıca geçersiz bir değer ile bulunmayan bir değer ayrıdır. Aralık dışı veya bozuk bir sinyal, sessizce “bilinmiyor” diye yeniden etiketlenmemelidir.

Her sayı aynı türden bilgi değildir

KLM dört durum kullanır:

• measured: kayıtlı bir olaydan deterministik olarak hesaplanan ve yeniden hesaplanabilir sinyal.
• heuristic: gözlenebilir işaretlerden çıkarılan, yaklaşık fakat yeniden üretilebilir sinyal.
• synthesized: model veya değerlendirici yorumuyla üretilen sinyal.
• unavailable: üretilemeyen sinyal; değer yerine null ve bir neden.

Bir modelin “eminim” demesi, kaydın kanıtla desteklenen güveniyle aynı değildir. KLM bu iki güveni ayırır. Model değerlendirmesi ek bilgi sunabilir; uygunluk seviyesini taşıyan mekanik kanıtın yerine geçirilmez.

İyi bir kaydın sınırı

Dürüst bir bilinmeyen, bir yanıtı doğru hale getirmez. Fakat araştırılması gereken boşluğu saklamaz. KLM uygunluğu da yanıtın doğruluğuna dair genel bir garanti değildir; kayıt yapısı ve kanıt izinin hangi koşulları sağladığına ilişkindir.

Bu nedenle bir sistemi incelerken yalnız sayıların büyüklüğüne bakmak yeterli olmaz. Sayının nasıl üretildiği, hangi bilgi durumunu taşıdığı ve eksik olduğunda ne yapıldığı da okunmalıdır.

KLM proje sayfası ve uygulamalı doğrulama rehberi, bu ayrımın kayıt ve araç tarafını ele alıyor.

Kaynaklar ve sürüm

Bu metin 9 Ekim 2026 tarihinde incelenen açık kaynak depo sürümüne dayanıyor. Aşağıdaki bağlantılar aynı commit’e sabitlenmiştir; projenin güncel durumu değişebilir.

• Specification §4.5
• Honest-null example