Download or read book Contributions aux approches logiques de l argumentation en intelligence artificielle written by Badran Raddaoui and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse se situe dans le domaine des modèles de l'argumentation en intelligence artificielle. Ces modèles constituent des outils très populaires pour l'étude de raisonnements en présence d'incohérences dans les bases de connaissances et lors de la négociation entre agents et la prise de décision. Un modèle argumentatif est un processus interactionnel principalement basé sur la construction d'arguments et de contre-arguments, l'étude des relations entre ces différents arguments et la mise en place de critères permettant de déterminer le statut de chaque argument afin de sélectionner les arguments (les plus) acceptables.Dans ce cadre, ce travail a porté sur l'étude d'un système particulier : le système d'argumentation déductif. Un argument est alors entendu comme un couple prémisses-conclusion tel que la conclusion soit une formule qui puisse être déduite des prémisses. Nous y avons traité plusieurs questions. Tout d'abord, partant du constat que le raisonnement par l'absurde est valide en logique propositionnelle classique, nous proposons une méthode de génération d'arguments en faveur d'une proposition donnée. Cette approche s'étend au calcul des undercuts canoniques, arguments identifiés comme représentant tous les contre-arguments. Contrairement aux autres approches proposées dans la littérature, notre technique est complète au sens où elle permet de générer, modulo une possible explosion combinatoire, tous les arguments relatifs à une formule logique quelconque. Ensuite, nous avons proposé un cadre d'argumentation en logique conditionnelle. Les logiques conditionnelles sont souvent considérées comme étant tout particulièrement adaptées à la formalisation de raisonnements de nature hypothétique. Leur connecteur conditionnel est en effet souvent plus proche de l'intuition que l'on peut avoir de l'implication que ne l'est l'implication matérielle de la logique propositionnelle classique. Ceci nous permet de proposer un concept de contrariété conditionnelle qui couvre à la fois les situations de conflits logiques fondés sur l'incohérence et une forme particulière de conflit qui ne se traduit pas naturellement par un conflit basé sur l'incohérence : quand un agent affirme une règle de type Si alors, une seconde règle qui peut en être déduite et qui impose la satisfaction de prémisses supplémentaires peut apparaître conflictuelle. Nous étudions alors sur cette base les principaux éléments d'une théorie de l'argumentation dans une logique conditionnelle. Enfin, le dernier point étudié dans ce travail concerne le raisonnement au sujet de ressources consommables, dans un cadre où les formules logiques sont elles mêmes consommées dans le processus déductif. Nous proposons une logique, simple et proche du langage et des principes de la logique propositionnelle classique, permettant le raisonnement à partir de ressources consommables et de quantité bornée. Nous y revisitons également les principaux éléments d'une théorie logique de l'argumentation.

Download or read book Fondements logiques de l intelligence artificielle written by DieudonnŽ OWONA and published by Lulu.com. This book was released on 2015-07-06 with total page 634 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Approche logique de l intelligence artificielle written by André Thayse and published by . This book was released on 1988 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Approche logique de l intelligence artificielle written by André Thayse and published by Bordas Editions. This book was released on 1990 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Contributions aux techniques de fusion de connaissances en intelligence artificielle written by Ahcène Sofiane and published by . This book was released on 2003 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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).

Download or read book Th ories logiques de l argumentation en intelligence artificielle written by Badran Raddaoui and published by Presses Academiques Francophones. This book was released on 2014-02 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce livre se situe dans le domaine des modeles de l'argumentation en intelligence artificielle. Ces modeles constituent des outils tres populaires pour l'etude de raisonnements en presence d'incoherences et lors de la negociation entre agents et la prise de decision. Un modele argumentatif est un processus interactionnel principalement base sur la construction d'arguments et de contre-arguments, l'etude des relations entre ces differents arguments et la mise en place de criteres de selection des arguments acceptables. Dans ce cadre, nous avons traite plusieurs questions. Tout d'abord, partant du constat que le raisonnement par l'absurde est valide en logique propositionnelle classique, nous proposons une technique complete de generation d'arguments et de contre-arguments. Ensuite, nous proposons des variantes de l'argumentation deductive, ou des logiques non classiques jouent le role que joue la logique propositionnelle en argumentation classique. Enfin, nous proposons une autre generalisation de l'argumentation classique, cette fois, a une logique qui elle-meme est nouvelle, dite logique consommatrice."

Download or read book Approche logique de l intelligence artificielle written by André Thayse and published by . This book was released on 1988 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Approche logique de l intelligence artificielle written by and published by . This book was released on 1991 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: Approche logique de l'intelligence art/A.Thayse.-v.4.

Download or read book Approche logique de l intelligence artificielle written by André Thayse and published by . This book was released on 1990 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Contributions aux techniques de r vision de croyances en intelligence artificielle written by Brigitte Bessant and published by . This book was released on 1999 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse se situe dans le cadre de la modélisation et de la simulation des raisonnements de sens commun, un des domaines majeurs de l'intelligence artificielle. Certaines formes de raisonnement de la vie quotidienne ont une propriété dite de non-monotonie. Les conclusions jusqu'ici inférées peuvent être remises en cause par l'ajout de nouvelles prémisses. Les logiques non monotones et la théorie du changement d'état cognitif forment la base de nos travaux de recherche. Dans la première partie, nous apportons notre contribution à l'étude des relations que l'on peut établir entre les inférences abductive et inductive par une caractérisation unificatrice. Nous dégageons quelques principales caractéristiques de ces deux formes de raisonnement. Dans la deuxième partie, nous étudions les différences qui existent entre les notions proches de révision et de mise a jour. Puis nous décrivons la révision itérée avec sémantique des distances qui constitue le cadre de notre approche de la révision au niveau sémantique. Nous caractérisons une fonction dite de degré de confiance et nous montrons un théorème de représentation de cette fonction par une distance. Ce travail poursuit un autre objectif qui vise à relier l'abduction et la révision avec sémantique des distances. Dans la troisième partie, nous adoptons un point de vue pratique vis-à-vis du problème de la révision itérée de croyances. Nous proposons un nouvel algorithme de révision efficace fondé sur des techniques de recherche locale. L'originalité de cette stratégie de révision se situe principalement au niveau de deux points qui sont la coopération d'une logique non monotone et d'une technique de révision de croyances ainsi que l'affaiblissement des croyances au lieu de leur destruction pour le rétablissement de la cohérence. L'efficacité de cet algorithme est très compétitive sur de grandes bases de croyances propositionnelles. Enfin, notre dernière contribution se situe dans une approche originale pour réviser des bases de croyances stratifiées soumises a un pré-ordre de préférence.

Download or read book Mod lisation et logique propositionnelle classique written by Yakoub Salhi and published by . This book was released on 2019 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nos travaux de recherche se situent dans le cadre de l’intelligence artificielle. Ils concernent l’utilisation des logiques formelles, ainsi que d’autres formalismes symboliques qui s’y apparentent, pour répondre à différentes problématiques, et cela, autour de deux principaux thèmes : la fouille de données par des approches déclaratives et la représentation des connaissances. Nos travaux s’inscrivent ainsi de manière transversale sur les deux axes du Centre de Recherche en Informatique de Lens (CRIL), à savoir « Algorithmes pour l’inférence et contraintes » et « Représentation des connaissances et raisonnements ». En effet, nos contributions relèvent notamment de la modélisation en logique propositionnelle classique de nombreux problèmes en fouille de données, le raisonnement en présence de l’incohérence, la théorie de l’argumentation et le raisonnement qualitatif. Ce mémoire est principalement dévolu à l’utilisation de la logique propositionnelle classique comme outil de modélisation du fait de sa place prépondérante dans l’ensemble de nos travaux.

Download or read book Logique pour l informatique et pour l intelligence artificielle written by Ricardo Caferra and published by . This book was released on 2011 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.)

Download or read book Droit et intelligence artificielle written by Danièle Bourcier and published by . This book was released on 2000 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book A General Framework for Reasoning On Inconsistency written by Maria Vanina Martinez and published by Springer Science & Business Media. This book was released on 2013-03-20 with total page 51 pages. Available in PDF, EPUB and Kindle. Book excerpt: This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today.

Download or read book The Future of the Mind written by Michio Kaku and published by Anchor. This book was released on 2015-02-17 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Michio Kaku, the New York Times bestselling author of Physics of the Impossible and Physics of the Future tackles the most fascinating and complex object in the known universe: the human brain. The Future of the Mind brings a topic that once belonged solely to the province of science fiction into a startling new reality. This scientific tour de force unveils the astonishing research being done in top laboratories around the world—all based on the latest advancements in neuroscience and physics—including recent experiments in telepathy, mind control, avatars, telekinesis, and recording memories and dreams. The Future of the Mind is an extraordinary, mind-boggling exploration of the frontiers of neuroscience. Dr. Kaku looks toward the day when we may achieve the ability to upload the human brain to a computer, neuron for neuron; project thoughts and emotions around the world on a brain-net; take a “smart pill” to enhance cognition; send our consciousness across the universe; and push the very limits of immortality.

Download or read book Machine Platform Crowd Harnessing Our Digital Future written by Andrew McAfee and published by W. W. Norton & Company. This book was released on 2017-06-27 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: “A clear and crisply written account of machine intelligence, big data and the sharing economy. But McAfee and Brynjolfsson also wisely acknowledge the limitations of their futurology and avoid over-simplification.” —Financial Times In The Second Machine Age, Andrew McAfee and Erik Brynjolfsson predicted some of the far-reaching effects of digital technologies on our lives and businesses. Now they’ve written a guide to help readers make the most of our collective future. Machine | Platform | Crowd outlines the opportunities and challenges inherent in the science fiction technologies that have come to life in recent years, like self-driving cars and 3D printers, online platforms for renting outfits and scheduling workouts, or crowd-sourced medical research and financial instruments.

Download or read book For a meaningful artificial intelligence written by Cédric Villani and published by Conseil national du numérique. This book was released on 2018-03-28 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: