Ground instance


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

ground instance

a logical formula containing no variables, or in which constants or functions of constants have been substituted for all variables.


Source : UTexas Artificial Intelligence Vocabulary