Kapalı dünya varsayımı - Closed-world assumption

Kapalı dünya varsayım (CWA) bir de mantık formel sistemin kullanılan bilgi gösterimi , doğrudur bildiride de gerçek olamayacak kadar bilinen karine olduğunu. Bu nedenle, tersine, şu anda doğru olduğu bilinmez, ne yanlıştır. Aynı isim da belirtir mantıksal bu varsayımın kayıt altına Raymond Reiter . Kapalı dünya varsayımı tersidir açık-dünya varsayımı sahteliğini anlamına gelmez bilginin eksikliğinin belirten (OWA). OWA'DA vs CWA ilişkin kararlar kavramların aynı simgelerin kavramsal ifade fiili semantik anlaşılmasını belirler. Doğal dil semantik başarılı bir resmileştirilmesi genellikle örtük mantıksal arka CWA veya OWA dayanmaktadır olmadığının açık bir vahiy kaçınamaz.

Başarısızlık olarak Olumsuzluk doğru olduğunu kanıtladı edilemez her yüklemi yanlış inanan tutarındaki olarak, kapalı dünya varsayımı ile ilişkilidir.

Örnek

Bağlamında bilgi yönetimi , kapalı dünya varsayım en az iki durumlarda kullanılır: (1) bilgi bankası olarak biliniyor tamamlandığında (örneğin bir şirket her çalışan için kayıtları içeren veritabanı) ve (2) ne zaman bilgi bankası eksik olduğu bilinir ancak "en iyi" kesin cevap eksik bilgilerden elde edilmelidir. Bir Örneğin, veritabanı , belirli bir makale üzerinde çalışmış editörleri raporlama aşağıdaki tablo içeren, insanlar üzerinde sorgu değil Biçimsel Mantık üzerine makale genellikle "Sarah Johnson" dönmesi bekleniyor düzenlenmiş olan.

Kapalı dünya varsayımı olarak, tablo olduğu varsayılır komple (tüm yazı makale ilişkilerini listeler), ve Sarah Johnson Biçimsel Mantık makalesine düzenlenmiş olan tek editörüdür. Buna karşılık, açık-dünya varsayımıyla tabloda, tüm editör-makale dizilerini içerdiği varsayılır değildir ve Biçimsel Mantık makalesine düzenlemediyse cevabı bilinmemektedir. Tabloda yer almayan editörler bilinmeyen sayısı ve ayrıca tabloda yer almayan Sarah Johnson tarafından düzenlenen makalelerin sayısı bilinmeyen vardır.

mantıkta Resmileştirilmesi

Kapalı dünya varsayımı ilk resmileştirilmesi formel mantık bilgi tabanına halen değildir değişmezleri inkarını eklenmesini içeren gerektirdiği onun tarafından. Bu ek sonucu her zaman olduğu tutarlı bilgi bankası ise Horn formu , ama aksi tutarlı olması garanti edilmez. Örneğin, bilgi tabanı

${\ Displaystyle \ {İngilizce (Fred) \ vee (Fred) İrlandaca \}}$

ne gerektirir ne de . ${\ Displaystyle English (Fred)}$${\ Displaystyle İrlanda (Fred)}$

bilgi bankası yol açar bu iki değişmezleri inkarını ekleme

${\ Displaystyle \ {İngilizce (Fred) \ vee (Fred) İrlanda, \ neg İngilizce (Fred), \ neg (Fred) İrlandaca \}}$

ki tutarsız. Bir başka deyişle, kapalı dünya varsayım bu resmileştirilmesi bazen tutarsız bir birine tutarlı bilgi tabanını döner. Kapalı dünya varsayımı bir bilgi tabanı üzerinde bir tutarsızlık tanıtmak değil tüm kesişimi tam olarak ne zaman Herbrand modelleri arasında da bir modeldir ; önermeler durumda, bu durum eşdeğerdir başka bir modeli gerçek tahsis değişkenlerin bir alt kümesi olup olmadığını model az olan tek bir minimal model sahip olan. ${\ Displaystyle K}$${\ Displaystyle K}$${\ Displaystyle K}$${\ Displaystyle K}$

Bu sorundan mustarip olmayan alternatif biçimlendirmeleri önerilmiştir. Aşağıdaki açıklamada, kabul bilgi tabanı önermeler olduğu varsayılır. Her durumda, kapalı dünya varsayımına resmileştirilmesi ekleyerek dayanmaktadır için “olumsuzlama için özgür” olan formüllerin olumsuzlama , yani kabul edilebilir formüller yanlış olduğu. Bir başka deyişle, kapalı dünya varsayımı bir bilgi tabanına uygulanan bilgi tabanını oluşturur ${\ Displaystyle K}$${\ Displaystyle K}$${\ Displaystyle K}$${\ Displaystyle K}$

${\ Displaystyle K \ fincan \ {\ neg f ~ | ~ f \ F \}}$.

Set içinde olumsuzlama için ücretsizdir formüllerin kapalı dünya varsayımı farklı biçimlendirmeleri yol açan farklı şekillerde tanımlanabilir. Aşağıdaki tanımları olan çeşitli biçimlendirmelerden içinde olumsuzlama için özgür olmak. ${\ Displaystyle F}$${\ Displaystyle K}$${\ Displaystyle f}$

CWA (kapalı dünya varsayım) 

${\ Displaystyle f}$olumlu bir hazır gerektirdiği değildir ;${\ Displaystyle K}$

GCWA (CWA genellestirilmis) 

${\ Displaystyle f}$bir pozitif edebi tür, her olumlu şarttan dolayı böyle , bu tutar ;${\ Displaystyle C}$${\ Displaystyle K \ vdash c \ olup}$${\ Displaystyle K \ \ olup vdash c \ v f}$

EGCWA (GCWA uzatılmış)

yukarıdaki gibi, fakat pozitif değişmezleri bir birleşimidir;${\ Displaystyle f}$

CCWA (dikkatli mücadale)

Bu belirli bir ürün kümesi ve bir dizi (pozitif ve negatif) sabitinden pozitif değişmezleri oluşmaktadır halinde GCWA, fakat pozitif madde ile aynı ancak kabul edilir;

ECWA (CWA uzatılmış)

CCWA benzer, ancak , belirli bir dizi hazır bilgi içermeyen isteğe bağlı bir formüldür.${\ Displaystyle f}$

ECWA ve formalizm circumscription önermeler teorileri örtüşmektedir. Sorgu cevaplama (formül kapalı dünya varsayımı altında başka bir gerektirdiği olup olmadığını kontrol) karmaşıklığı ikinci düzey tipik olarak polinom hiyerarşi genel formüller için ve aralıkları P için coNP için Horn formüller . Orijinal kapalı dünya varsayımı bir tutarsızlık tanıtır olmadığını kontrol etme en fazla bir çağrı logaritmik sayıda gerektirir NP kahin ; ancak, bu sorunun kesin karmaşıklığı halen bilinmemektedir.

Tüm yüklemler için kapalı bir dünya varsaymak mümkün değildir, ancak bazıları kapalı olduğu bilinen durumlarda, kısmi-kapalı dünya varsayımı kullanılabilir. Bu rejim, yani, potansiyel olarak, eksik henüz kapalı bilgi baz parçaları belirtmek için bütünlüğü iddialar kullanmasına olanak tanır, bilgi kabul eden bazlar genellikle açık olduğunu düşünmektedir.

Ayrıca bakınız

• Açık dünya varsayımı
• Kısmi-kapalı dünya varsayımı
• Sigara monoton mantık
• Circumscription (mantık)
• başarısızlık olarak Olumsuzluk
• Standart mantık
• Kararlı modeli semantik
• Benzersiz adı varsayım

Referanslar

Dış bağlantılar

• https://web.archive.org/web/20090624113015/http://www.betaversion.org/~stefano/linotype/news/91/
• Dünya Akıl Yürütme Epistemik Operatörleri aracılığıyla Semantik Web Kapalı
• kapalı dünya varsayımına Reiter 1978 konuşmasından alıntılanmıştır