Robotique, vie artificielle, réalité virtuelle, traitement des langue 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.

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

Depuis vingt ans la demande en lumière évolue et l’éclairage cristallise des enjeux multiples, pas toujours conciliables : assurer la sécurité, répondre aux besoins des usagers, mettre en valeur le patrimoine, participer aux marketings publics et privés, améliorer le confort des espaces publics centraux et périphériques, accompagner les événements culturels et les festivités locales, identifier les villes et les quartiers, respecter les critères du développement durable, préserver le ciel nocturne, maîtriser les coûts des dispositifs, réduire les consommations énergétiques…

Cet ouvrage, réunissant en un tout cohérent algèbre et analyse, s’adresse de manière plus spécifique aux élèves de première année des cycles préparatoires intégrés des écoles d’ingénieurs mais peut être utilisé avec profit par tout étudiant de destinant à des études supérieures d’ingénieur.

Cet ouvrage est le premier en langue française proposant une étude complète de la dynamique longitudinale en freinage et accélération.Synthétique et didactique, il rassemble en un tout cohérent l’ensemble des bases indispensables à l’ingénieur mécanicien, et offre une large place aux méthodologies de modélisation les plus récentes.