Modèles logiques et systèmes d'intelligence artificielle
Traité des nouvelles technologies, série Intelligence artificielle

Coordonnateurs : ITURRIOZ Luisa, DUSSAUCHOY Alain

Langue : Français
Couverture de l'ouvrage Modèles logiques et systèmes d'intelligence artificielle

Thème de Modèles logiques et systèmes d'intelligence artificielle

Date de parution :
Ouvrage 352 p. · 15.5x23.5 cm · Relié
Épuisé
ISBN : 9782866012052 EAN : 9782866012052
Hermes Science

· PDF : 112,00 € ·
Acheter l'e-book e-book
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