Le pôle Aerospace Valley organise, avec l’institut toulousain spécialisé en intelligence artificielle (IA) Aniti, un temps d’échange sur la notion de « raisonnement automatique » ,le 20 avril prochain. Certaines techniques d’IA permettent de proposer des décisions dans des situations très complexes. Seront abordés des cas d’application tels que « la vérification de circuits et de logiciels », (…)
La lecture de cet article est réservée aux abonnés :