b'\n_START_ARTICLE_\nAanname van een gesloten wereld\n_START_PARAGRAPH_\nDe aanname van een gesloten wereld (Engels: closed world assumption) is de aanname dat alles waarvan niet expliciet bekend is dat het waar is, onwaar is. Het verwijst ook naar het logische formalisme van Raymond Reiter dat gebaseerd is op deze aanname. Het tegenovergestelde is de aanname van een open wereld (open world assumption) die stelt dat een gebrek aan kennis niet een onwaarheid hoeft te betekenen._NEWLINE_De aanname van een gesloten wereld kan worden gebruikt als de kennis die men bezit compleet is (bijvoorbeeld een database van een bedrijf met informatie van elke werknemer) of als de kennis (mogelijk) incompleet is. Men neemt dan aan dat de zaken die men niet weet onwaar zijn en men tracht een zo goed mogelijk antwoord te geven op vragen over de kennis. Deze aanpak wordt gebruikt in logische programmeertalen, zoals Prolog. Hierin wordt gebruikgemaakt van negatie als falen waarbij een predicaat als onwaar wordt bestempeld wanneer niet bewezen kan worden dat het waar is.'