« Closed world assumption » : différence entre les versions

Version du 9 décembre 2021 à 12:42

Rediriger vers :

@@ Ligne 1 : / Ligne 1 : @@
+#REDIRECTION[[Hypothèse du monde clos]]
-== en construction ==
+[[Catégorie:ENGLISH]]
-doublon, voir [[Hypothèse du monde clos]]
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas‏‎]]
-== Définition ==
-xxxxxxx
-== Français ==
-xxxxxxx
-== Anglais ==
-'''closed world assumption'''
-(CWA) in a theorem prover, logic programming language, or database system, the convention that if a question cannot be proved to be true, it may be assumed to be false. cf. open world assumption.
 <small>
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]