« Hypothèse du monde clos » : différence entre les versions
(Page créée avec « == Définition == L'hypothèse de monde clos signifie qu'un fait est considéré comme faux si, en un temps fini, on échoue à montrer qu'il est vrai, ce qui revient à... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
L'hypothèse de monde clos signifie qu'un fait est considéré comme faux si, en un temps fini, on échoue à montrer qu'il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l'hypothèse de monde clos ne dit rien de particulier. | L''''hypothèse de monde clos '''signifie qu'un fait est considéré comme faux si, en un temps fini, on échoue à montrer qu'il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l'hypothèse de monde clos ne dit rien de particulier. | ||
La notion d'hypothèse de monde clos est utilisée en particulier en Prolog, elle s'oppose à l''''[[hypothèse de monde ouvert]] ''' | La notion d'hypothèse de monde clos est utilisée en particulier en Prolog, elle s'oppose à l''''[[hypothèse de monde ouvert]] ''' | ||
Version du 22 mai 2020 à 20:48
Définition
L'hypothèse de monde clos signifie qu'un fait est considéré comme faux si, en un temps fini, on échoue à montrer qu'il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l'hypothèse de monde clos ne dit rien de particulier.
La notion d'hypothèse de monde clos est utilisée en particulier en Prolog, elle s'oppose à l'hypothèse de monde ouvert
Français
Hypothèse du monde clos
Anglais
closedworld assumption
Contributeurs: Imane Meziani, wiki, Sihem Kouache
