raisonnement automatisé
536 Visualisations

CG : nm

CT : Option en intelligence artificielle.
 Les étudiants ayant suivi l’option « Artificial Intelligence » devront être capables de:

  • Identifier et mettre en oeuvre une classe de méthodes et de techniques permettant à un logiciel de résoudre des problèmes complexes qui, résolus par un être humain, nécessitent de l' »intelligence »,
  • Comprendre et appliquer à bon escient des méthodes et techniques relevant de l’intelligence artificielle telles que raisonnement automatisé, recherche et heuristiques, acquisition et représentation de connaissances, apprentissage automatique, problèmes de satisfaction de contraintes,
  • Identifier des classes d’applications où ces méthodes et outils peuvent être appliqués; appréhender des classes particulières d’applications et leurs techniques spécifiques – par exemple, robotique, vision par ordinateur, planification, fouille de données, traitement de la langue naturelle et de données bioinformatiques,
  • Formaliser et structurer des corps de connaissances complexes en utilisant une approche systématique et rigoureuse pour développer des systèmes « intelligents » de qualité.

S : http://www.uclouvain.be/prog-2013-sinf2m-lsinf223o (consulté le 7.11.2014)

N : 1. raisonnement (nm) : XIVe siècle. Dérivé de raisonner.

  • Faculté de raisonner ; action de raisonner, d’exercer sa raison. C’est un homme qui a le raisonnement sûr et juste. Être incapable de raisonnement. Rigueur, faiblesse de raisonnement.
  • Manière dont l’esprit enchaîne les unes aux autres des propositions pour établir une vérité (par opposition à l’intuition, au sentiment, à la croyance) ; suite ordonnée de raisons, ensemble d’arguments qui s’enchaînent de façon à démontrer, à prouver, à convaincre. La logique est la science des règles formelles qui fondent le raisonnement.

automatisé (adj) : Du automatiser (v. tr.), XVIIIe siècle. Dérivé d’automate.
Rendre automatique. Automatiser une machine.
2. Représentation des connaissances et Raisonnement Automatique
Comme son nom le suggère, cette branche de l’IA traite le problème de la représentation des connaissances (qui peuvent être incomplètes, incertaines, ou incohérentes) et de la mise en œuvre du raisonnement.

S : 1. DAF. 2. https://www.lri.fr/~meghyn/papers/cours_IA.pdf (consulté le 16.11.2014).

SYN : raisonnement automatique

S : http://ic.epfl.ch/intelligence-artificielle-et-apprentissage-automatique (consulté le 16.11.2014)

RC : informatique, intelligence artificielle, web sémantique.