« Instance de base » : différence entre les versions
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Une formule logique ne contenant aucune variable, ou dans laquelle des constantes ou des fonctions de constantes ont été substituées à toutes les variables. | |||
== Français == | == Français == | ||
'''instance de base''' | |||
== Anglais == | == Anglais == | ||
'''ground instance''' | '''ground instance''' | ||
<small> | <small> | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:Vocabulary]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 25 octobre 2021 à 13:22
Définition
Une formule logique ne contenant aucune variable, ou dans laquelle des constantes ou des fonctions de constantes ont été substituées à toutes les variables.
Français
instance de base
Anglais
ground instance
Contributeurs: Claire Gorjux, wiki
