Modèles logiques et systèmes d'intelligence artificielle (Traité des nouvelles technologies-Série Intelligence artificielle)

-

Livres
360 pages
Lire un extrait
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

...
1. Logiques non classiques2. Représentation des connaissances3. Logique modale4. Logique intuitionniste5. Logiques multivaluées6. Logique temporelle propositionnelle7. Logique des défauts8. Logique possibiliste et logique floue9. Théorie de la démonstration et sémantique de la programmation logique10. Logique mathématique11. Certification des SE12. Contrôle d'une base de connaissances13. Raisonnement temporel et approximatif14. Bases de données déductives15. Langage, architectures et systèmes logiques

Sujets

Informations

Publié par
Date de parution 01 janvier 1990
Nombre de visites sur la page 123
EAN13 9782746235687
Langue Français

Informations légales : prix de location à la page 0,084 €. Cette information est donnée uniquement à titre indicatif conformément à la législation en vigueur.

Signaler un problème