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


m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(5 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 à 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

Source : UTexas Artificial Intelligence Vocabulary

Contributeurs: Claire Gorjux, wiki