Robotique, vie artificielle, réalité virtuelle, traitement des langues naturelles… derrière toutes ces applications se cache un même univers, l'intelligence artificielle, et un même objectif, la recherche de moyens susceptibles de doter les systèmes informatiques de capacités intellectuelles comparables à celles des êtres humains.

C'est afin de procurer aux étudiants un support d'enseignement clair et pédagogique que les auteurs ont conçu ce manuel. Illustré de nombreux exemples programmés, il expose les bases indispensables de l'intelligence artificielle au travers de 5 démarches clairement identifiées : fonctionnelle, illustrée par le langage Scheme, qui établit la possibilité d'une informatique qualitative ou symbolique, par opposition à l'informatique numérique ; logique, illustrée par la programmation en Prolog, avec un même formalisme pour les connaissances primaires, les connaissances déductibles, ou le savoir-faire et débouchant sur les systèmes experts ; objet, qui assure la gestion de masses de connaissances par l'exploitation de classifications ; grammaticale, qui traite des rapports entre forme et abstraction, et ouvre sur le traitement des langues naturelles comme sur la modélisation de certains systèmes dynamiques et enfin acteurs/agents, qui concerne une approche distribuée des activités intelligentes, combinant délégation, coopérations, compétitions et négociations.

Public

Original par le juste équilibre atteint entre théorie et pratique, cet ouvrage constitue aussi une excellente référence pour tous les praticiens et étudiants en intelligence artificielle.

• Avant-propos
• Plan de l'ouvrage
• Introduction
• Approche algorithmique
• Énumération et complexité
• Espace d'Etat et métaphore du Labyrinthe
• Méthodes de réduction
• Réseaux sémantiques
• Notions d'apprentissage
• Éléments pratiques : scheme
• Bases du langage Scheme
• Premières applications
• Vers l'IA en Scheme
• Approche logique
• Approche logique classique
• Calcul des propositions
• Logique des prédicats
• Programmation logique
• Éléments de Prolog
• Compléments de programmation logique
• Logiques non-standards
• Extensions algébriques
• Logiques multivaluées
• Logiques floues
• Extensions indifférentielles
• Logiques non-monotones ou révisables
• Logiques modales
• Logiques d'ordre supérieur
• Systèmes à base de connaissances
• Introduction aux systèmes-experts
• Systèmes experts : développement
• Ingénierie et gestion des connaissances
• Approche grammaticale
• Formalismes grammaticaux
• Formalismes objet
• Langages à classes
• E-systèmes multi-agents
• Les acteurs
• Agents et systèmes multi-agents
• Les systèmes multi-agents
• Méta connaissances
• Métaconnaissances réactives et pro-actives
• Quelques grandes réalisations
• Traitement des langues naturelles
• Autres Systèmes intelligents spécialisés
• Au-delà de l'IA
• Le projet robotique
• Vie artificielle
• Conclusion