Кіріспе
Жабық әлем болжамы (CWA) – білімді көрсетуге қолданылатын логиканың формальді жүйесінде, егер бір мәлімдеме шын болса, ол сондай-ақ шын екені белгілі деген ұғым. Сондықтан, керісінше, қазіргі уақытта шын екені белгілі емес нәрсе жалған болып есептеледі. Осы атау Реймонд Райтер жасаған осы болжамның логикалық формалдануына да сілтеме жасайды. Жабық әлем болжамына қарама-қарсы – ашық әлем болжамы (OWA), ол білімнің болмауы жалғандықты білдірмейді дейді. CWA мен OWA таңдаулары, ұғымдардың бірдей нотациясымен берілген түсінік өрнегінің нақты семантикасын түсінуді анықтайды. Табиғи тілдің семантикасын формальды түрде дұрыс беру үшін, көбінесе имплицитті логикалық негіздер CWA немесе OWA негізінде құрылғандығын нақты көрсету қажет. Сәтсіздік ретіндегі жоққа шығару жабық әлем болжамымен байланысты, себебі ол шындығы дәлелденбеген кез келген предикаттың жалған екеніне сенуді білдіреді.
Мысал
Білімді басқару контекстінде жабық әлемді қабылдау кем дегенде екі жағдайда қолданылады: (1) білім базасы толық екені белгілі болғанда (мысалы, әрбір қызметкер туралы жазбалары бар корпоративтік деректер базасы), және (2) білім базасы толық емес екені белгілі болғанда, бірақ толық емес ақпараттан "нақты" жауап алу қажет болғанда. Мысалы, егер деректер базасында берілген мақала бойынша жұмыс істеген редакторларды көрсететін келесі кесте болса, Формалды логика мақаласын өңдемеген адамдар туралы сұраныс әдетте "Сара Джонсон" деген жауапты қайтарады деп күтіледі.
In the closed world assumption, the table is assumed to be complete (it lists all editor article relationships), and Sarah Johnson is the only editor who has not edited the article on Formal Logic. In contrast, with the open world assumption the table is not assumed to contain all editor article tuples, and the answer to who has not edited the Formal Logic article is unknown. There is an unknown number of editors not listed in the table, and an unknown number of articles edited by Sarah Johnson that are also not listed in the table.
Редактор Мақала
Джон Доу Формалды логика
Джошуа А. Нортон Формалды логика
Сара Джонсон Аумақтық деректер базасына кіріспе
Чарльз Понци Формалды логика
Эмма Ли Чун Формалды логика
In the closed world assumption, the table is assumed to be complete (it lists all editor article relationships), and Sarah Johnson is the only editor who has not edited the article on Formal Logic. In contrast, with the open world assumption the table is not assumed to contain all editor article tuples, and the answer to who has not edited the Formal Logic article is unknown. There is an unknown number of editors not listed in the table, and an unknown number of articles edited by Sarah Johnson that are also not listed in the table.
Жабық әлемді қабылдауда кесте толық деп есептеледі (ол барлық редактор-мақала байланыстарын тізімдейді), сондықтан Сара Джонсон – Формалды логика мақаласын өңдемеген жалғыз редактор. Керісінше, ашық әлемді қабылдауда кестеде барлық редактор-мақала жұптары бар деп есептелмейді, сондықтан Формалды логика мақаласын кім өңдемеген деген сұраққа жауап белгісіз. Кестеде көрсетілмеген белгісіз саны редакторлар бар, сондай-ақ Сара Джонсон өңдеген, бірақ кестеде көрсетілмеген белгісіз саны мақалалар бар.
In the closed world assumption, the table is assumed to be complete (it lists all editor article relationships), and Sarah Johnson is the only editor who has not edited the article on Formal Logic. In contrast, with the open world assumption the table is not assumed to contain all editor article tuples, and the answer to who has not edited the Formal Logic article is unknown. There is an unknown number of editors not listed in the table, and an unknown number of articles edited by Sarah Johnson that are also not listed in the table.