Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Le concept de preuve à la lumière de l'intelligence artificielle

Éditeur(s): PUF
Propose les analyses qui permettent de caractériser l'activité probatoire dans l'unité de son projet et la diversité de ses manifestations (le formalisme et l'activité de preuve ; preuve et logique ; les problèmes des formes d'automatisation de la preuve ; les activi...
27,50 €
Chargement...

Les agents intelligents

Éditeur(s): Lavoisier-Hermès
Détaille les concepts qui permettent à un opérateur de catégoriser et théoriser avec l'assistance d'une machine appelée agent rationnel. Les agents rationnels ont pour mission d'assister un agent intelligent dans son activité de résolution d'un problème. La progressi...
54,00 €
Chargement...
1