Ground instance


De DataFranca
Révision datée du 13 septembre 2019 à 22:33 par Pitpitt (discussion | contributions) (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Contributeurs : Pitpitt