Çerçeve Problemi

Çerçeve problemi nedir?

Çerçeve problemi (frame problem), yapay zekanın klasik ve derin sorularından biri. İlk kez 1969''da John McCarthy ve Patrick Hayes tarafından ortaya atıldı. Soru şu: bir yapay zeka bir eylem gerçekleştirdiğinde, dünyada neyin değiştiğini tanımlamak kolay — peki neyin değişmediğini nasıl bilecek?

Bir örnek: bir kutuyu kırmızıya boyadın, sonra onu bahçeye taşıdın. Taşımak kutunun yerini değiştirir ama rengini değiştirmez; boyamak rengi değiştirir ama yerini değiştirmez. Biz bunu apaçık biliriz, ama klasik mantıkla çalışan bir sisteme bunların hepsini tek tek anlatmak gerekir.

Nasıl çalışır?

Mantık tabanlı yapay zekada her eylemin "neyi değiştirmediğini" anlatan frame axioms (çerçeve aksiyomları) yazmak gerekiyordu. M tane eylem ve N tane özellik varsa, bu neredeyse M×N kurala çıkıyor — pratikte taşınması zor bir yük.

Çözüm olarak "eylem, aksi belirtilmedikçe bir özelliği değiştirmez" gibi bir atalet varsayımı (common sense law of inertia) önerildi. Ama klasik mantık tek yönlüdür (monotonik); "genelde değişmez ama istisnalar olabilir" demeyi kolayca beceremez. Bu yüzden circumscription gibi non-monotonik mantık biçimleri geliştirildi. Teknik yönüyle problem bugün büyük ölçüde çözülmüş sayılıyor.

Neden önemli?

Çerçeve problemi, filozoflar Daniel Dennett ve Jerry Fodor''ın elinde daha geniş bir soruya dönüştü: bir zihin (ya da robot), sayısız olası gerçek arasından hangilerini gözden geçirmesi gerektiğine nasıl karar verir? Fodor buna "Hamlet problemi: ne zaman düşünmeyi bırakmalı?" diyor. Bu, ilgililik (relevance) sorunudur ve basit kurallarla çözülmesi zordur.

Kullanım alanları

Problem bugün planlama yapan yapay zeka ajanlarında, robotikte ve dünyayı modelleyen sistemlerde hâlâ canlı. Bir eylem sonrası nelerin güncellenmesi gerektiğini verimli biçimde seçmek (gereksiz her şeyi tek tek kontrol etmeden), modern ajan mimarilerinin de uğraştığı bir konu. Çerçeve problemi, "sağduyu"yu makineye öğretmenin ne kadar ince bir iş olduğunu gösteren tarihî bir kilometre taşı.