Ipoteza lumii deschise
Într-un sistem logic formal utilizat pentru reprezentarea cunoașterii , ipoteza lumii deschise [1] [2] (cunoscută și în limba engleză sub denumirea de open-world assumption , sau OWA ) este ipoteza că valoarea de adevăr a unei afirmații poate fi pozitivă indiferent dacă afirmația este un fapt despre care se știe că este adevărat. Este opusul ipotezei lumii închise (CWA) , în care orice afirmație este adevărată numai dacă se știe că este adevărată.
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”.
Ne bazăm pe această ipoteză atunci când ne ocupăm de baze de cunoaștere a căror completitudine nu este garantată. [3] Logica adoptată este monotonă și se prevede existența mai multor modele care satisfac axiomele date, uneori rezultând nu foarte intuitiv. [3]
Proprietate
- În construcția sistemului, inițial „totul este posibil”, este necesar să se declare progresiv și explicit ceea ce nu este. [4]
- Ipoteza unicității numelui nu este în general valabilă în conformitate cu OWA, dat fiind că - dacă nu se specifică altfel - presupunerea că două nume diferite se referă la entități diferite nu este dată ca o notă. [5]
- Este un sistem adecvat în special pentru: [4]
- domenii în care necunoscutul face parte integrantă din calea cunoașterii (de exemplu domeniul științific);
- reutilizarea și extinderea de către diferite părți (de fapt, o abordare tipică este de a specifica sub-sistemul și a lăsa sarcina completării rețelei de informații utilizatorilor).
- Un sistem bazat pe OWA poate fi definit într-un mod exhaustiv până la punctul de a-l face CWA , adică să facă valabilă ipoteza lumii închise. [4]
Utilizare în limbi
Ipoteza lumii deschise este tipică limbajelor web semantice , cum ar fi OWL ; dimpotrivă, în general, CWA este tipic modelelor relaționale . [3] Există, totuși, excepții. De exemplu SQL , un limbaj relațional, prevede utilizarea markerului NULL , tolerând un fel de incompletitudine a bazei de date; [6] sau unele limbaje ale ontologiilor, precum F-logic sau Prolog , adoptă negația ca eșec , implicând adoptarea ipotezei lumii închise. [3]
Notă
- ^ Russel-Norvig , p. 482 .
- ^ Furlan-Lanzarone , p. 214 .
- ^ 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 original 13 martie 2016).
- ^ a b c Nick Drummond, Rob Shearer, The Open World Assumption ( PDF ), cs.man.ac.uk , Universitatea din Manchester, 2006.
- ^ (RO) Introducere în: Open World Assumption vs Closed World Assumption - DATAVERSITY în DATAVERSITY, 30 noiembrie 2012. Accesat la 15 august 2018.
- ^ (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
- 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) .
