Description
Modèles logiques et systèmes d'intelligence artificielle
Traité des nouvelles technologies, série Intelligence artificielle
Coordinators: ITURRIOZ Luisa, DUSSAUCHOY Alain
Language: FrenchSubject for Modèles logiques et systèmes d'intelligence artificielle:
Publication date: 01-1990
352 p. · 15.5x23.5 cm · Hardback
Out of Print
352 p. · 15.5x23.5 cm · Hardback
Out of Print
Contents
/li>
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
© 2024 LAVOISIER S.A.S.