Yazılım Notları

Security ve Governance

Kritik Sistemlerde AI Modeli Geliştirmek ve Çalıştırmak: Açıklanabilir, Denetlenebilir ve Güvenilir Model Tasarımı

Building and Running AI Models in Critical Systems: Explainable, Auditable, Trustworthy

Kritik sistemde güven, doğru modelden değil; belirsizliğini bilen, açıklamasını izleyen, gerektiğinde insana devreden, durabilen ve her kararı kaydeden karar zincirinden gelir.

Kabul görüyor

Kritik sistemde güven model doğruluğundan değil; belirsizliğini bilen, açıklamasını izleyen, insana devreden, durabilen ve her kararı kaydeden karar zincirinden gelir.

EASA, NATO, NIST ve AI Act sistem düzeyinde güvence istiyor; post-hoc açıklamanın yeterliliği ise Rudin gibi araştırmacılarca tartışılıyor.

Zihinsel model

Uçak otopilotu gibi: iyi otopilot uçmayı bilen değil, sınırına geldiğinde uyarıp kumandayı pilota devreden ve uçuşu kara kutuya yazandır.

Neden

  • Model çıktısı alarm ve risk seviyesine dönüşür; hata maliyeti test skorundan değil, sahadaki tek tek kararlardan doğar.
  • Veri kayınca güven skoru segment bazında kalibrasyonunu kaybeder; model yanıldığı vakada da emin görünür.
  • Onay ekranı automation bias üretir; insan ancak bağlam, zaman ve durdurma yetkisiyle gerçek denetçi olur.

Kanıt

Modern derin ağların eski ağlara göre belirgin biçimde kötü kalibre olduğu ve temperature scaling ile düzeltilebildiği gösterildi.

Guo vd., ICML 2017

Yaygın yorumlanabilirlik yöntemleri benzer girdilere benzer açıklama üretme testinde zayıf kaldı.

Alvarez-Melis ve Jaakkola, 2018

ABD Senatosu'nun FY2027 NDAA taslağı otonom sistemler için müdahale yöntemi, izleme verisi ve olay deposu şart koşuyor.

Arms Control Association, 2026

Karşı görüş

Post-hoc açıklamalar kararsız olabildiği için kontrol sinyali olarak güvenilmez bulunabilir; yüksek riskli kararlarda baştan yorumlanabilir model kullanmak daha sağlam bir yol olarak savunuluyor. Ayrıca her katman gecikme ve maliyet ekler.

Kavramlar

CalibrationGüven skorunun gerçek doğruluk oranıyla örtüşmesi.
Conformal predictionBelirlenen olasılıkla doğru cevabı içeren tahmin kümesi üretmek.
AbstentionBelirsizlik yüksekse karar üretmeyip vakayı insana devretmek.
Risk gateGüven, açıklama ve bağlamı birleştirip devam, devret ya da dur kararı veren nokta.
Audit trailGirdi, model sürümü, güven, açıklama ve insan aksiyonunu tek kayıtta tutmak.

Pratikte

  • Güven skorunu segment bazında kalibre et ve ECE'yi sürekli izle.
  • Modele çekimser kalma hakkı ver; abstention ve override oranlarını eşikli metrik yap.
  • Her kararı girdi, sürüm, güven, açıklama ve insan aksiyonuyla kaydet.
Önce bunu okuEASA Artificial Intelligence Concept Paper Issue 2Güvenilirliği learning assurance, açıklanabilirlik ve human-AI teaming olarak sistem düzeyinde tanımlıyor.