Ordinateurs et raisonnement logique

Dossier Activités Cognitives Elementaires

1. les logiciels standard du marché:

• - les gestionnaires de fichiers (classement);
• - les bases de données relationnelles (classe et relations);
• - les générateurs de systèmes experts (logique formelle et logique des prédicats);

2. Approche expériementale des activités de recherche et de classement

• - la structure d'arbre et ses différentes formes (symboliques ou graphiques);
• - les algorithmes de pattern matching;
• - données, informations et connaissances;
• - ...........................................................;

3. raisonnement logique et système expert

• - chaînage avant et chaînage arrière;
• - systèmes experts et aide au diagnostic;
• - logique formelle et logique naturelle;
• - ........................................................;

4. Bibliographie:

5. Quelques transparents du cours

Patrick Mendelsohn