« Système de maintien vérifonctionnel » : 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== »)
 
(5 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Définition ==
Techniques générales et puissantes pour le traitement d'incohérences.


== en construction ==
La validité du système de maintien vérifonctionnel est maintenue principalement en éliminant les éléments de connaissances qui ont conduit à des inférences fausses.
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:UTexas]]


== Français ==
'''système de maintien vérifonctionnel'''


== Définition ==
'''système de maintien de la cohérence'''
xxxxxxx
 
== Français ==
xxxxxxx
   
   
== Anglais ==
== Anglais ==
'''truth maintenance system '''
'''truth maintenance system'''
'''reason maintenance system'''
 
 
a system for maintaining a knowledge base (set of predicates) that allows a retract operation to remove predicates and that handles the problem that additional facts may have been derived from the retracted predicate.


==Sources==


<small>
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=truth+maintenance+system&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 28 janvier 2024 à 12:59

Définition

Techniques générales et puissantes pour le traitement d'incohérences.

La validité du système de maintien vérifonctionnel est maintenue principalement en éliminant les éléments de connaissances qui ont conduit à des inférences fausses.

Français

système de maintien vérifonctionnel

système de maintien de la cohérence

Anglais

truth maintenance system

Sources

Source : TermiumPlus