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 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 Argument Evaluation and Evidence written by Douglas Walton and published by Springer. This book was released on 2015-08-04 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: ​This monograph poses a series of key problems of evidential reasoning and argumentation. It then offers solutions achieved by applying recently developed computational models of argumentation made available in artificial intelligence. Each problem is posed in such a way that the solution is easily understood. The book progresses from confronting these problems and offering solutions to them, building a useful general method for evaluating arguments along the way. It provides a hands-on survey explaining to the reader how to use current argumentation methods and concepts that are increasingly being implemented in more precise ways for the application of software tools in computational argumentation systems. It shows how the use of these tools and methods requires a new approach to the concepts of knowledge and explanation suitable for diverse settings, such as issues of public safety and health, debate, legal argumentation, forensic evidence, science education, and the use of expert opinion evidence in personal and public deliberations.

Download or read book Arguing on the Toulmin Model written by David Hitchcock and published by Springer Science & Business Media. This book was released on 2007-01-24 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: In The Uses of Argument (1958), Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.

Download or read book Theory and Applications of Formal Argumentation written by Elizabeth Black and published by Springer. This book was released on 2018-03-05 with total page 237 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.

Download or read book Theory and Applications of Formal Argumentation written by Elizabeth Black and published by Springer. This book was released on 2016-01-06 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration.

Download or read book Argumentation in Multi Agent Systems written by Iyad Rahwan and published by Springer. This book was released on 2005-02-18 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theory of argumentation is a rich, interdisciplinary area of research involving philosophy, communications studies, linguistics, psychology, and logics. Its techniques have found a wide range of applications in both theoretical and practical branches of artificial intelligence and computer science. Multi-agent systems theory has picked up argumentation-inspired approaches and specifically argumentation-theoretic results from many different areas. Researchers in argumentation and multi-agent systems are currently enjoying a unique opportunityto integrate the various understandings of argument into a coherent and core part of the functioning of autonomous computational systems. This book originates from the First International Workshop on Argumentation in Multi-Agent Systems, ArgMAS 2004, held in New York, NY, USA in July 2004. Besides 12 selected revised full papers taken from the workshop, 4 additional papers by key people in the area round off overall coverage of the relevant topics. The papers address the following main topics: foundations of dialogues, belief revision, persuasion and deliberation, negotiation, and strategic issues.

Download or read book Argument Inference and Dialectic written by R.C. Pinto and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains 12 papers addressed to researchers and advanced students in informal logic and related fields, such as argumentation, formal logic, and communications. Among the issues discussed are attempts to rethink the nature of argument and of inference, the role of dialectical context, and the standards for evaluating inferences, and to shed light on the interfaces between informal logic and argumentation theory, rhetoric, formal logic and cognitive psychology.

Download or read book Argumentation Machines written by C. Reed and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the late 1990s, AI witnessed an increasing use of the term 'argumentation' within its bounds: in natural language processing, in user interface design, in logic programming and nonmonotonic reasoning, in Al's interface with the legal community, and in the newly emerging field of multi-agent systems. It seemed to me that many of these uses of argumentation were inspired by (of ten inspired) guesswork, and that a great majority of the AI community were unaware that there was a maturing, rich field of research in Argumentation Theory (and Critical Thinking and Informal Logic) that had been steadily re building a scholarly approach to the area over the previous twenty years or so. Argumentation Theory, on its side; was developing theories and approaches that many in the field felt could have a role more widely in research and soci ety, but were for the most part unaware that AI was one of the best candidates for such application.

Download or read book Theory and Applications of Formal Argumentation written by Sanjay Modgil and published by Springer. This book was released on 2012-03-26 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of 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 Base th orique et m thodes du raisonnement automatique statistique written by Jean-François Grandin and published by BoD - Books on Demand. This book was released on 2024-01-29 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce livre est une synthèse issue de quarante ans d'expérience de l'auteur dans le domaine du raisonnement automatique, des méthodes statistiques, des apprentissages symboliques et neuronaux et de leurs applications. De nombreuses tâches sont aujourd'hui automatisables : diagnostic médical, diagnostic financier, expertise juridique, programmation, conduite automobile. Ce sont des tâches intellectuelles hier dédiées à l'humain. L'automatisation y est construite principalement sur la perception et l'association à des comportements adaptés. On présentera les principales méthodes permettant d'apprendre à partir des données : des arbres de décisions à l'apprentissage neuronal profond (deep learning) et sa création ChatGPT. Le risque majeur de l'IA, au delà de la pertinence, est la qualité et la fiabilité de l'information produite. C'est à ce point essentiel qu'est consacrée une grande partie de ce livre. Plus loin, l'IA d'aujourd'hui n'a pas conscience de ce qu'elle manipule, donc elle ne réfléchit pas. Le raisonnement automatique est un pas crucial à franchir pour accéder à l'IA pensante, dite IA générale. La construction du raisonnement logique et déductif est un savoir-faire fondamental. Ce deuxième point occupe également une grande partie de ce livre. L'exposé revient aux axiomes et à la théorie de base concernant la construction des décisionnelles et la propagation des incertitudes. Ces techniques sont utilisées , entre autres, pour les applications de reconnaissance et pistage d'objets et pour le raisonnement automatique dont l'IA. Toute personne impliquée dans la conception en IA ou simplement passionnée par ce sujet devrait connaître les théories et méthodes présentées dans ce livre.

Download or read book Logic and Argumentation written by Pietro Baroni and published by Springer Nature. This book was released on 2021-10-14 with total page 562 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.

Download or read book Argumentation Methods for Artificial Intelligence in Law written by Douglas Walton and published by Springer Science & Business Media. This book was released on 2005-09-30 with total page 283 pages. Available in PDF, EPUB and Kindle. Book excerpt: Use of argumentation methods applied to legal reasoning is a relatively new field of study. The book provides a survey of the leading problems, and outlines how future research using argumentation-based methods show great promise of leading to useful solutions. The problems studied include not only these of argument evaluation and argument invention, but also analysis of specific kinds of evidence commonly used in law, like witness testimony, circumstantial evidence, forensic evidence and character evidence. New tools for analyzing these kinds of evidence are introduced.

Download or read book Formal Concept Analysis written by Léonard Kwuida and published by Springer Science & Business Media. This book was released on 2010-02-18 with total page 351 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Conference on Formal Concept Analysis, ICFCA 2010, held in Agadir, Morocco, in March 2010. The 17 revised full papers presented together with 4 invited lectures and a reprint of a historical paper were carefully reviewed and selected from 37 submissions. The papers comprise state of the art research and present new results in applied lattice and order theory, and in particular advances in theory and applications of Formal Concept Analysis. These results range from theoretical novelties to advances in FCA-related algorithmic issues, as well as application domains of FCA such as data visualization, information retrieval, machine learning, data analysis and knowledge management.

Download or read book De la logique l argumentation written by Jean-Blaise Grize and published by Librairie Droz. This book was released on 1982 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce volume couvre un domaine de recherche absolument nouveau : le champ qui s'étend de la logique à l'argumentation. Après une analyse rigoureuse des fondements de la logique mathématique, l'auteur montre l'importance de l'argumentation et des preuves argumentatives dans les affaires humaines. Il tente ensuite de fonder scientifiquement l'étude des argumentations et d'ouvrir de nouvelles voies dans le domaine jusqu'ici peu connu de la logique naturelle. Les pages qui sont dans ce volume consacrées à la logique naturelle sont d'une nouveauté absolue, et valent comme un apport de premier ordre au débat actuel sur la crise de la Raison. J.B. Grize s'affirme dans ce volume comme le plus novateur des chercheurs suisses d'aujourd'hui.? Page de début Préface Bibliographie de Jean-Blaise Grize Présentation Introduction. Vers une logique naturelle 1. Portée et limites de la formalisation 2. Théorie et explication 3. Remarques sur les limitations des formalismes 4. Vers une logique du quotidien 5. Logique et sciences humaines 6. Vers une psycho-logique 7. Réflexions pour une recherche sur l'argumentation 8. Logique et adaptation. En hommage au professeur 9. La schématisation et ses problèmes 10. Logique et organisation du discours 11. Logique et argumentation 12. Schématisation, représentations et images 13. Logique du discours et institutions sociales 14. Quelques opérations de la logique naturelle 15. Pour aborder l'étude des structures du discoursquotidien Bibliographie des ouvrages cités Index des noms Page de fin.

Download or read book Intelligence artificielle written by Stuart Russell and published by Pearson Education France. This book was released on 2010-12-10 with total page 1217 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'intelligence artificielle à travers le concept d'agents intelligents, avec 500 exercices de réflexion, de programmation et d'approfondissement.