Automated reasoning

De DataFranca

en construction



raisonnement automatique

raisonnement automatisé


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.

Source : Utexas Ai vocabulary

Source : Wikipedia

Contributeurs : Claude Coulombe, admin

Vous devez demander un compte pour contribuer à cette page.