« Raisonnement automatique » : différence entre les versions


m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(11 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Domaine ==
[[Category:Vocabulary]]Vocabulary<br />
[[Category:Coulombe]]Coulombe<br />
== 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 '''
 
==Sources==


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.
[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]


The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Extensive work has also been done in reasoning by analogy induction and abduction.
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence  Source : Wikipedia]


Other important topics include reasoning under uncertainty and non-monotonic reasoning. An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction. John Pollock's OSCAR system[1] is an example of an automated argumentation system that is more specific than being just an automated theorem prover.
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 28 janvier 2024 à 11:34

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

Sources

Source : Utexas Ai vocabulary

Source : Wikipedia