Closed world assumption

en construction

doublon, voir Hypothèse du monde clos

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.

Source : Utexas Ai vocabulary