« Instance de base » : différence entre les versions
m (ClaireGorjux a déplacé la page Ground instance vers Instance de base) |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (3 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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. | 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 == | ||
| Ligne 8 : | Ligne 8 : | ||
'''ground instance''' | '''ground instance''' | ||
==Sources== | |||
[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: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 27 janvier 2024 à 22:46
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
Sources
Contributeurs: Claire Gorjux, wiki
