raisonnement automatisé

Désignations

français	raisonnement automatisé (correct,masculine noun) CONT: Bien que le raisonnement automatisé soit considéré comme un sous-domaine de l'intelligence artificielle, il a également des liens avec l'informatique théorique et même la philosophie.
anglais	automated reasoning (correct) CONT: The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically.

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects du raisonnement.
anglais: An area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.

Classement

Collections

Électronique et informatique informatics

Domaines

Informatique

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-0af6171c80b28998/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.