Fondements logiques de l'intelligence artificielle PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Fondements logiques de l'intelligence artificielle PDF full book. Access full book title Fondements logiques de l'intelligence artificielle by DieudonnŽ OWONA. Download full books in PDF and EPUB format.
Author: DieudonnŽ OWONA
Publisher: Lulu.com
ISBN: 1326343823
Category : Reference
Languages : fr
Pages : 634
Get Book Here
Book Description
Ce livre analyse l'Intelligence Artificielle sous un triple aspect formel, technique et humain. Sur le plan formel, l'Intelligence Artificielle est la conséquence du développement de la logique, les questions théoriques auxquelles l'IA se rattache étant celles du raisonnement, de la démonstration, de la calculabilité. D'un point de vue technique, l'Intelligence Artificielle procède de l'évolution des automates, de la machine à calculer, depuis le premier modèle de calculatrice réalisé par Blaise Pascal, en passant par les machines de Charles Babbage, jusqu'aux premiers ordinateurs à lampes. Au niveau humain, l'Intelligence Artificielle concerne les données, les contenus traités par les machines, l'intérêt primordial de l'informatique consistant précisément à appliquer un traitement à des données symboliques, et les informations traitées concernant ainsi prioritairement les activités humaines dans des données quantitatives ou qualitatives.
Author: DieudonnŽ OWONA
Publisher: Lulu.com
ISBN: 1326343823
Category : Reference
Languages : fr
Pages : 634
Get Book Here
Book Description
Ce livre analyse l'Intelligence Artificielle sous un triple aspect formel, technique et humain. Sur le plan formel, l'Intelligence Artificielle est la conséquence du développement de la logique, les questions théoriques auxquelles l'IA se rattache étant celles du raisonnement, de la démonstration, de la calculabilité. D'un point de vue technique, l'Intelligence Artificielle procède de l'évolution des automates, de la machine à calculer, depuis le premier modèle de calculatrice réalisé par Blaise Pascal, en passant par les machines de Charles Babbage, jusqu'aux premiers ordinateurs à lampes. Au niveau humain, l'Intelligence Artificielle concerne les données, les contenus traités par les machines, l'intérêt primordial de l'informatique consistant précisément à appliquer un traitement à des données symboliques, et les informations traitées concernant ainsi prioritairement les activités humaines dans des données quantitatives ou qualitatives.
Author: Ricardo Caferra
Publisher:
ISBN: 9782746226005
Category :
Languages : fr
Pages : 424
Get Book Here
Book Description
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Author: Louis Frécon
Publisher: EPFL Press
ISBN: 2880748194
Category : Artificial intelligence
Languages : fr
Pages : 779
Get Book Here
Book Description
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 en intelligence artificielle.
Author: Boi Faltings
Publisher: EPFL Press
ISBN: 2880747643
Category : Abduction (Logic)
Languages : fr
Pages : 396
Get Book Here
Book Description
L'intelligence artificielle constitue l'un des fondements de l'informatique contemporaine et joue un rôle fondamental dans de très nombreuses applications. Cet ouvrage présente l'ensemble des bases du domaine, comme la représentation de connaissances et l'inférence logique, le traitement d'informations incertaines, les méthodes de recherche, ainsi que les techniques d'apprentissage automatique. A la différence d'autres ouvrages plus théoriques, ce manuel se veut délibérément pratique et présente l'intelligence artificielle dans le cadre de son application à la résolution de problèmes réels. Afin d'offrir une compréhension optimale de la matière, des applications et de nombreux exercices de programmation résolus sont présentés dans leur intégralité. Ceux-ci permettent au lecteur d'appréhender les mécanismes principaux de la discipline afin qu'il puisse les adapter à ses propres besoins. L'ouvrage est ainsi particulièrement indiqué aux étudiants de dernière année de Bachelor et de Master, ainsi qu'à tous ceux souhaitant s'initier à l'intelligence artificielle.
Author: André Thayse
Publisher:
ISBN: 9782040186586
Category : Artificial intelligence
Languages : fr
Pages : 385
Get Book Here
Book Description
Author: Paul Gochet
Publisher:
ISBN: 9782746201316
Category :
Languages : fr
Pages : 394
Get Book Here
Book Description
Author: Cédric Villani
Publisher: Conseil national du numérique
ISBN: 2111457000
Category :
Languages : fr
Pages : 235
Get Book Here
Book Description
L’intelligence artificielle est entrée, depuis quelques années, dans une nouvelle ère, qui donne lieu à de nombreuses craintes et à de nombreux espoirs. Rendues possibles par des algorithmes nouveaux, la multiplication des jeux de données et le décuplement des puissances de calcul, les applications se multiplient : traduction automatique, conduite autonome, détection de cancer… Le développement de l’intelligence artificielle est amené à toucher l’ensemble des domaines et des secteurs. Les investissements dans la recherche et dans l’industrie atteignent des sommes extraordinaires, notamment aux États-Unis et en Chine. Les responsables politiques du monde entier l’évoquent dans les discours de politique générale comme un levier de pouvoir majeur. C’est que l’intelligence artificielle va désormais jouer un rôle bien plus important que celui qu’elle jouait jusqu’alors et, plus que jamais, il nous faut donner un sens à son développement. Donner un sens, c’est d’abord donner une direction, un cap, pour positionner la France et l’Europe à l’avant-garde de cette révolution naissante. C’est également lui donner une signification : l’intelligence artificielle n’a précisément de sens que si elle participe du progrès humain, social et environnemental. Dans un monde marqué par les inégalités, elle ne doit pas conduire à renforcer les phénomènes d’exclusion et la concentration de la valeur. Donner un sens, c’est enfin expliquer : démystifier ces technologies auprès de la société, mais aussi expliquer l’intelligence artificielle en elle-même, s’agissant de techniques qui restent empreintes d’une très forte opacité. Donner un sens à l’IA, voilà donc l’objectif de ce rapport.
Author: André Thayse
Publisher:
ISBN: 9782040198602
Category :
Languages : fr
Pages : 385
Get Book Here
Book Description
Author: Éditions Cépaduès
Publisher: Éditions Cépaduès
ISBN: 2364930413
Category : Computers
Languages : fr
Pages : 23
Get Book Here
Book Description
L'intelligence artificielle a cinquante ans révolus. Elle occupe une place singulière dans le champ très vaste de l'informatique. Alors même que l'intelligence artificielle n'a jamais connu autant de développements et d'applications variés, ses résultats restent largement méconnus dans leur ensemble, y compris dans la communauté des chercheurs en informatique. Au-delà de monographies introductives, il n'existe pas de traité offrant une vue d'ensemble approfondie, et à jour, des recherches dans ce domaine. C'est pourquoi il était important de dresser l'état des lieux des travaux en intelligence artificielle au plan international. Pour cette entreprise de grande ampleur, il a été fait largement appel à la communauté française en intelligence artificielle. Chaque chapitre est écrit par des spécialistes du domaine."
Author: Ahcène Sofiane
Publisher:
ISBN:
Category :
Languages : fr
Pages : 192
Get Book Here
Book Description
Ce travail de thèse s'inscrit dans le domaine de l'intelligence artificielle symbolique. Plus précisément, il apporte une contribution au domaine de la représentation des connaissances et du raisonnement en se penchant sur des problèmes liés à la fusion de bases (ou de sources) de connaissance et de croyance qui peuvent être mutuellement contradictoires. Dans un premier temps, nous nous sommes intéressés aux approches sémantiques de fusion de croyances. Alors qu'une base de connaissance peut se définir par ses modèles, des croyances mutuellement inconsistantes ne possèdent par définition pas de modèles. Aussi différents auteurs ont essayé de pallier ce problème en définissant le résultat de la fusion de bases de croyance mutuellement inconsistantes par un ensemble d'interprétations proches de ce que seraient ces modèles s'ils existaient. Nous avons étudié de manière critique ces approches. Nous pensons que dans certains champs d'application, elles ne sont pas les plus appropriées dans la mesure où elles reposent uniquement sur des outils sémantiques et ne prennent en aucun compte la forme syntaxique prises par les bases à fusionner. Nous pensons et argumentons que dans certaines applications, la syntaxe des bases de connaissance est à prendre, du moins dans une certaine mesure, en compte lorsque l'on désire décrire ce que doit être le résultat de leur fusion. Aussi, nous avons revisité techniquement ces approches en incluant des critères syntaxiques au sein des définitions sémantiques, ceci par une transformation très simple des définitions à l'origine purement sémantique. Notre seconde contribution vise à étendre les opérateurs sémantiques de fusion de croyances à un contexte non monotone. Plus précisément, nous nous plaçons dans un cadre où les bases à fusionner sont en fait implicitement augmentées par des hypothèses de complétion comme l'hypothèse de monde clos et ses variantes. Dans ce contexte, un problème conceptuel surgit. Comment régler la priorité à accorder à une base par rapport à la complétion d'une autre base lorsque ces deux ensembles sont inconsistants ? Nous étudions le cas où la complétion doit se voir attribuer une priorité moindre que l'information d'une autre base (et ses conséquences logiques). Nous montrons qu'alors les opérateurs sémantiques de fusion doivent être adaptés en conséquence et que la notion de modèle est à grain trop gros et doit lui-même être affiné. Nous reconstruisons ces opérateurs dans ce cadre de non-monotonie, et soulignons les différentes options possibles. La troisième contribution de ce travail s'inscrit dans le domaine de la fusion de connaissances à propos de dispositifs et processus techniques que l'on retrouve par exemple dans le domaine du diagnostic à base de principes premiers. Nous montrons que, pour ce domaine, les opérateurs classiques de fusion de croyances ne sont pas relevants. De fait, ces opérateurs préconisent que la fusion de bases de connaissance dont l'union est consistance doit être cette union elle-même. Nous montrons que lorsque nous fusionnons des bases de connaissance logiques à propos des mêmes dispositifs et processus techniques, il doit parfois en aller différemment. En particulier, des règles elles-mêmes doivent être fusionnées pour former des règles communes, ceci afin que des conditions nécessaires de bon fonctionnement ne deviennent pas simplement suffisantes. Techniquement ce phénomène est causé par le fait que ces bases devraient être normalement soumises à une forme de non-monotonie. Nous étudions ce problème et proposons en toute généralité une étape efficace et préalable à la fusion qui permet de le résoudre. Cette question est étudiée sous différents aspects, notamment sémantiques. Ceci nous permet ainsi d'illustrer un cas surprenant de fusion qui permet de restaurer la consistance. En complément de ce travail, nous proposons des tests de consistances qui permettent d'éviter que la fusion de croyances dans ce domaine conduise à dériver des informations qui seraient contraires à l'intuition (en évitant notamment des effets non-souhaités de subsomption sur des informations plus spécifiques qui devraient prédominer).
