Açık dünya varsayımı - Open-world assumption

İçinde resmi mantık sistemi için kullanılır Bilgi temsili, açık dünya varsayımı varsayımıdır ki gerçek değer bir Beyan doğru olup olmamasına bakılmaksızın doğru olabilir bilinen doğru olmak. Tam tersi kapalı dünya varsayımı, ki bu doğru olan herhangi bir ifadenin de doğru olduğunun bilindiğini kabul eder.

Açık dünya varsayımı (OWA), genel olarak hiçbir ajanın veya gözlemcinin tam bilgiye sahip olmadığı ve bu nedenle kapalı dünya varsayımını yapamayacağı şeklindeki gayri resmi nosyonu kodlar. OWA, bir temsilcinin doğru olduğu bilinen ifadelerden sonra gelen çıkarım ve çıkarım türlerini sınırlar. Buna karşılık, kapalı dünya varsayımı, bir temsilcinin, bir ifadenin doğru olduğuna dair bilgi eksikliğinden herhangi bir şey çıkarmasına izin verir. takip eder bu ifade yanlıştır.

Sezgisel olarak, açık dünya varsayımı, bir sistem içinde bilgiyi keşfederken temsil ettiğimizde ve tam bilgiyi keşfettiğimizi veya keşfedeceğimizi garanti edemediğimizde geçerlidir. OWA'da, sisteme açıkça kaydedilen bilgiye dahil edilmeyen veya bunlardan çıkarılan bilgiler hakkındaki ifadeler, yanlış veya yanlıştan ziyade bilinmeyen olarak kabul edilebilir.

Anlamsal ağ gibi diller BAYKUŞ açık dünya varsayımını yapın. Web'de belirli bir ifadenin bulunmaması, prensip olarak, doğru olup olmadığına ve bunun doğru olup olmadığına inanıp inanmamamızdan bağımsız olarak ifadenin henüz açık bir şekilde yapılmadığı anlamına gelir. Özünde, tek başına bir ifadenin yokluğundan, tümdengelimli bir muhakeme, ifadenin yanlış olduğu sonucuna varamaz (ve olmamalıdır).

Birçok prosedürel programlama dilleri ve veritabanları kapalı dünya varsayımını yapın. Örneğin, tipik bir havayolu veritabanı bir yolcu için koltuk atamasını içermiyorsa, yolcunun check-in yapmadığı varsayılır. Kapalı dünya varsayımı tipik olarak, bir sistem bilgi üzerinde tam kontrole sahip olduğunda geçerlidir; bu, birçok veritabanı uygulamasında geçerlidir. veritabanı işlemi sistem, birden fazla bağımsız müşteri (örneğin, havayolu rezervasyon acenteleri) tarafından yapılan eşzamanlı taleplerde merkezi bir komisyoncu ve hakem görevi görür. Bununla birlikte, eksik bilgi içeren birçok veri tabanı vardır: örneğin, bir hastanın belirli bir alerji geçmişinden söz edilmediği için, hastanın bu alerjiden muzdarip olmadığı varsayılamaz.

Misal

 Açıklama: "Mary" "," "Fransa" vatandaşıdır
 Soru: Paul, Fransa vatandaşı mı?
 "Kapalı dünya" (örneğin SQL) yanıtı: Hayır. "Açık dünya" yanıtı: Bilinmiyor.

OWA'ya göre, bir gerçeğin türetilememesi, bunun tersini ifade etmez. Örneğin, yalnızca Mary'nin Fransa vatandaşı olduğunu bildiğimizi varsayalım. Bu bilgilerden Pavlus'un Fransa vatandaşı olmadığı ya da Fransa vatandaşı olmadığı sonucuna varamayız. Bu nedenle, dünya hakkındaki bilgimizin eksik olduğu gerçeğini kabul ediyoruz. Açık dünya varsayımı, monoton doğası birinci dereceden mantık: yeni bilgi eklemek asla önceki bir sonucu tahrif etmez. Şöyle ki, sonradan Paul'ün de Fransa vatandaşı olduğunu öğrenirsek, bu daha önceki olumlu veya olumsuz sonuçları değiştirmez.

Mantık programlarının dili güçlü olumsuzluk bazı ifadeler için kapalı dünya varsayımını varsaymamıza ve diğer ifadeleri açık dünya varsayımı alanına bırakmamıza izin verir.[1]

OWA ve CWA arasındaki bir ara zemin, kısmi kapalı dünya varsayımı (PCWA). PCWA kapsamında, bilgi tabanı genellikle açık dünya semantiği altında ele alınır, ancak kapalı dünya anlambiliminde ele alınması gereken kısımları tamlık iddiaları yoluyla ileri sürmek mümkündür. PCWA, özellikle CWA'nın açık bir alan adı nedeniyle uygulanamadığı durumlar için gereklidir, ancak OWA herhangi bir şeyin muhtemelen doğru olmasına izin verme konusunda çok inandırıcıdır.[2][3]

Ayrıca bakınız

Referanslar

  1. ^ Russell, Stuart J .; Norvig, Peter (2010). Yapay Zeka: Modern Bir Yaklaşım (3. baskı). Upper Saddle Nehri: Prentice Hall.
  2. ^ Motro, 1989 (1989). "Bütünlük = Geçerlilik + Tamlık". Alıntı dergisi gerektirir | günlük = (Yardım)CS1 bakimi: sayısal isimler: yazarlar listesi (bağlantı)
  3. ^ Razniewski, Simon; Savkoviç, Ognjen; Nutt, Werner (2015). "Kısmi Kapalı Dünya Varsayımını Tersine Çevirmek" (PDF). Alıntı dergisi gerektirir | günlük = (Yardım)