« Substitution de base » : différence entre les versions
Aucun résumé des modifications |
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 substitution est appelée substitution de base si elle transforme toutes les variables de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes. | Une substitution est appelée substitution de base si elle transforme toutes les [[variable|variables]] de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes. | ||
== Français == | == Français == | ||
| Ligne 9 : | Ligne 8 : | ||
'''ground substitution''' | '''ground substitution''' | ||
==Sources== | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | ||
| Ligne 19 : | Ligne 17 : | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie: | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 12:43
Définition
Une substitution est appelée substitution de base si elle transforme toutes les variables de son domaine en termes de base, c'est-à-dire sans variables. C'est une une substitution de variables par des constantes ou des fonctions de constantes.
Français
substitution de base
Anglais
ground substitution
Sources
Contributeurs: Maya Pentsch, wiki
