« Raisonnement automatique » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:Wikipedia-IA]]
<!-- Coulombe -->
== Définition ==
== Définition ==
Le raisonnement automatisé est un domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects du raisonnement.


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.


== Français ==
== Français ==
'''raisonnement automatique'''
'''Raisonnement automatique'''


'''raisonnement automatisé'''
'''Raisonnement automatisé'''


== Anglais ==
== Anglais ==


'''Automated reasoning '''
'''Automated reasoning '''
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.
(ATN) a formalism for describing parsers, especially for natural language. Similar to a finite automaton, but augmented in that arbitrary tests may be attached to transition arcs, subgrammars may be called recursively, and structure-building actions may be executed as an arc is traversed.


<small>
<small>
Ligne 29 : Ligne 18 :


[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:Scotty2]]

Version du 6 juin 2020 à 19:55

Définition

Le raisonnement automatisé est un domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects du raisonnement.

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.

Français

Raisonnement automatique

Raisonnement automatisé

Anglais

Automated reasoning

Source : Utexas Ai vocabulary

Source : Wikipedia

Récupérée de « https://datafranca.org/wiki/index.php?title=Raisonnement_automatique&oldid=32030 »

Contributeurs: Claude Coulombe, Imane Meziani, wiki, Sihem Kouache