« Instance de base » : différence entre les versions


(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence Artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »)
Balise : Éditeur de wikicode 2017
 
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(6 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence Artificielle]]
[[Catégorie:UTexas]]
== Définition ==
== Définition ==
xxxxxxx
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 ==
xxxxxxx
'''instance de base'''
   
   
== Anglais ==
== Anglais ==
'''ground instance'''
'''ground instance'''


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


==Sources==


<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:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 27 janvier 2024 à 23: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

Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Claire Gorjux, wiki