« Hypothèse du monde clos » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (3 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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 à dé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 du monde ouvert]] ''' | ||
== Français == | == Français == | ||
''' Hypothèse du monde clos''' | ''' Hypothèse du monde clos''' | ||
== Anglais == | == Anglais == | ||
''' closedworld assumption''' | ''' closedworld assumption''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Hypoth%C3%A8se_du_monde_clos SSource : Wikipedia ] | [https://fr.wikipedia.org/wiki/Hypoth%C3%A8se_du_monde_clos SSource : Wikipedia ] | ||
| Ligne 15 : | Ligne 16 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 00:05
Définition
L' hypothèse de monde clos signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à dé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 du monde ouvert
Français
Hypothèse du monde clos
Anglais
closedworld assumption
Sources
Contributeurs: Imane Meziani, wiki, Sihem Kouache
