Ipoteza lumii închise
Într-un sistem logic formal utilizat pentru reprezentarea cunoașterii , „ipoteza lumii închise [1] [2] (cunoscută și în limba engleză sub numele de închidere a lumii închise, sau CWA) este ipoteza conform căreia fiecare afirmație a cărei valoare este adevărată nu se cunoaște este considerat fals. A fost propus de informaticianul și logicianul canadian Raymond Reiter în 1978. [3] Este opusul ipotezei lumii deschise , în care lipsa de cunoștințe nu implică falsitate.
De exemplu, având în vedere o bază de cunoștințe constând din singurele informații „Este câinele un animal ”, la întrebarea „Este pisica un animal ?” un sistem CWA ar răspunde „Nu”, în timp ce un sistem OWA ar răspunde „Nu știu”.
În legătură cu ipotesi, lumea închisă este negația ca eșec (negația ca eșec), reglează mai puțin puternic, dar conceput pentru a fi verificat în timp finit.
Adoptarea acestei ipoteze face baza de cunoștințe completă . [4] Logica utilizată este non- monotonă , adică setul de concluzii care pot fi derivate pe baza unui KB dat nu crește (cel mult se micșorează) pe măsură ce dimensiunea KB-ului în sine crește. [4]
Proprietate
- Ceea ce nu este definit inițial este considerat a fi inexistent , prin urmare orice afirmație care se referă la acest lucru este considerată falsă.
- Este deosebit de potrivit pentru sisteme:
- care reflectă în mod natural o configurație în care fiecare element este cunoscut [5]
- unde este util să se numere sau să se verifice completitudinea informațiilor cu simplitate
- Ipoteza unicității numelui este, în general, presupusă a fi adevărată în sistemele CWA, dat fiind că ceea ce are un alt nume decât cel specificat este considerat inexistent și la ce se referă este considerat fals.
Utilizare în limbi
În general, ipoteza lumii închise este tipică modelelor relaționale , în timp ce majoritatea limbajelor pentru rețeaua semantică , cum ar fi OWL , se bazează pe OWA. [4] Există, totuși, excepții. De exemplu SQL , un limbaj relațional, care implică utilizarea markerului NULL , tolerând un fel de incompletitudine a bazei de date; [6] sau unele limbaje ontologice, cum ar fi F-logic sau Prolog , care implementează negarea ca eșec . [4]
Formalizare
Prima formalizare propusă a ipotezei lumii închise constă în adăugarea la baza cunoștințelor a negării literalelor care nu sunt implicate în prezent de aceasta. Rezultatul acestei adăugări este întotdeauna consistent dacă KB-ul este sub forma unui Horn , în caz contrar nu este garantată consistența acestuia.
De exemplu, baza de cunoștințe
nu implică niciuna nici .
Prin adăugarea negării celor două litere, noul KB devine:
- ,
ceea ce nu este consecvent.
Ipoteza lumii închise nu introduce o inconsecvență în baza de cunoștințe KB dacă și numai dacă intersecția tuturor modelelor Herbrand de KB este, de asemenea, un model de KB; în logica propozițională , acest lucru este echivalent cu a spune că baza de cunoștințe admite un model minim.
Notă
- ^ Russel-Norvig , p. 482 .
- ^ Furlan-Lanzarone , p. 214 .
- ^ Reiter, 1978 .
- ^ A b c d (EN) Michael K. Bergman, The Open World Assumption: Elephant in the Room , mkbergman.com la 21 decembrie 2009. Accesat pe 29 martie 2016 (depus de „Url-ul original 13 martie 2016).
- ^ Nick Drummond, Rob Shearer, The Open World Assumption ( PDF ), cs.man.ac.uk , Universitatea din Manchester, 2006.
- ^ (EN) Chris Date, Baza de date în profunzime: teoria relațională pentru practicieni, O'Reilly Media, Inc., mai 2005, p. 73, ISBN 0-596-10012-4 .
Bibliografie
- ( EN ) Raymond Reiter , On Closed World Data Bases , în Hervé Gallaire și Jack Minker (ed.), Logic and Data Bases , Plenum Press, 1978, pp. 119-140, ISBN 978-0-306-40060-5 . Adus pe 21 februarie 2013 .
- Stuart Russel, Peter Norvig, Inteligența artificială - O abordare modernă , vol. 1, ediția a II-a, Milano, Pearson Education Italia, 2005, ISBN 88-7192-228-X .
- F. Furlan, GA Lanzarone, PROLOG - Limbaj și metodologie de programare logică ( PDF ), Universitatea din Milano - Departamentul de informatică. Adus pe 29 martie 2016 (Arhivat din original la 22 decembrie 2014) .
