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

Hermès - Editions Lavoisier - Iturrioz

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

360 pages

Français

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

A propos
Informations
Extrait

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

Publié par	Hermès - Editions Lavoisier
Date de parution	01 janvier 1990
Nombre de lectures	142
EAN13	9782746235687
Licence :	Tous droits réservés
Langue	Français
Poids de l'ouvrage	8 Mo

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

Extrait