Download or read book Besoins informationnels et extraction d information Vers une conscience artificielle written by TURENNE Nicolas and published by Lavoisier. This book was released on 2013-02-01 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cet ouvrage réconcilie la philosophie, la biologie, la sociologie et les sciences cognitives grâce à un dénominateur commun, la conscience. Il en présente un aspect particulier, le concept d’auto-motivation de champ d’activité en tant que moteur biologique d’un état de conscience, et dont l’informatique systémique permet de révéler l’existence. Si la conscience est mal définie, un cadre réduit permet d’en donner une définition plus précise, observable malgré toute la complexité psychologique, sociale et technique de l’individu. Ces observations sont de deux natures : une nature d’activité principale et une nature cognitivo-linguistique, modulées par des facteurs de contrôle intrinsèques et extrinsèques. L’argument exposé consiste à présenter un état de conscience relatif à la notion de besoin informationnel instinctif, donc physiologique, et dont les traces porteuses sur les supports physiques (revues, abonnements, etc.) ou numériques (sms, web, etc.), sont analysables par l’extraction de connaissances.

Download or read book Logic Thought and Action written by Daniel Vanderveken and published by Springer Science & Business Media. This book was released on 2005-06-23 with total page 547 pages. Available in PDF, EPUB and Kindle. Book excerpt: This second volume in the series Logic, Epistemology, and the Unity of Science brings a pragmatic perspective to the discussion of the unity of science. Contemporary philosophy and cognitive science increasingly acknowledge the systematic interrelation of language, thought and action. The principal function of language is to enable speakers to communicate their intentions to others, to respond flexibly in a social context and to act cooperatively in the world. This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision. This volume contains major contributions by leading logicians, analytic philosophers, linguists and computer scientists. It will be of interest to graduate students and researchers from philosophy, logic, linguistics, cognitive science and artificial intelligence. There is no comparable survey in the existing literature.

Download or read book Alg bre lin aire dans Rn th orie algorithmes et complexit written by HADDADI Salim and published by Lavoisier. This book was released on 2012-09-24 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: L’algèbre linéaire permet de résoudre les équations dites linéaires utilisées en mathématiques, en informatique, en mécanique, en sciences naturelles ou en sciences sociales. Du point de vue de l’informaticien, la résolution passe par l’ordinateur. Or, ce dernier ne peut pas tout faire. Il y a des limites d’ordre qualitatives et quantitatives que la machine ne peut dépasser, et d’autres qu’elle ne peut franchir que dans un temps excessivement long. Cet ouvrage théorique et pratique expose tour à tour : – les matrices et leurs opérations ; – l’espace vectoriel Rn ; – l’espace vectoriel Rn muni du produit scalaire ; – les systèmes d’équations linéaires ; – les transformations linéaires, les valeurs et vecteurs propres. Il contient également un chapitre spécifique sur la complexité théorique des problèmes posés en algèbre linéaire (résolution d’un système d’équations linéaires, calcul de l’inverse d’une matrice, du déterminant, du rang, etc.) ainsi qu’une annexe introduisant la théorie de la complexité. Algèbre linéaire dans Rn tire son originalité de la présentation des grands concepts de l’algèbre linéaire et ceux de l’algorithmique et de l’informatique théorique. L’auteur, Salim Haddadi, est professeur en recherche opérationnelle. Ses recherches portent sur l’optimisation combinatoire et la théorie de la complexité.

Download or read book Probl mes de satisfaction de contraintes Formalismes et techniques CSP written by GHÉDIRA Khaled and published by Lavoisier. This book was released on 2013-05-01 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: De par leur forte complexité et leur omniprésence aussi bien dans le monde académique qu’industriel, les problèmes de satisfaction de contraintes (CSP) continuent à susciter l'intérêt des scientifiques dans les domaines de la recherche opérationnelle et de l’intelligence artificielle. Un CSP comporte un ensemble de variables ayant chacune un domaine de valeurs ainsi qu'un ensemble de contraintes, l’objectif étant d’instancier les variables de manière à satisfaire toutes les contraintes. Formalismes, techniques et extensions relatives aux CSP sont détaillés et illustrés par des exemples didactiques tels que le problème des 4-reines. Problèmes de satisfaction de contraintes s’adresse aux ingénieurs en leur facilitant l’accès à ce domaine, aux chercheurs en leur exposant les notions de base tout en leur apportant une bibliographie étendue, et aux enseignants et étudiants en leur fournissant un support de cours.

Download or read book D cision et Action written by POMEROL Jean-Charles and published by Lavoisier. This book was released on 2012-09-24 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: Quelle que soit l’importance de la décision, l’hésitation peut paralyser l’action. S’intéressant à la décision pour l’action, le décideur est alors, soit confronté aux théoriciens qui ne se mettent pas à sa portée, soit renvoyé à des études de cas trop souvent anecdotiques. Ce livre établit un lien entre la décision, l’action et les théories récentes de l’intelligence artificielle, de la neurobiologie et de la psychologie. Quels sont les principaux comportements psychologiques dont il faut se méfier ? Quel est le rôle de l’intuition ou de l’émotion ? Comment éviter la manipulation ? Quel est le bon usage de la planification ? Comment rester rationnel sans être un expert des probabilités ? Comment passer de la décision à l’action ? Illustré par de nombreux exemples, cet ouvrage répond, dans un langage simple et didactique, aux interrogations des managers.

Download or read book Cryptographie principes et mises en uvre 2 me dition revue et augment e written by BARTHELEMY Pierre and published by Lavoisier. This book was released on 2012-04-16 with total page 482 pages. Available in PDF, EPUB and Kindle. Book excerpt: Quels sont les enjeux de la cryptographie moderne ? Quels sont ses objets, son langage ? Quelles sont les solutions actuelles aux problèmes de confidentialité, d'authentification et d'anonymat ? Quel degré de confiance peut-on accorder à ces solutions ? Cette seconde édition, enrichie et mise à jour, propose un panorama des outils et procédés de la cryptographie. Après avoir présenté et analysé les méthodes, cet ouvrage offre une description précise des techniques mathématiques indispensables et des principales primitives cryptographiques. Les fonctionnalités de base comme le chiffrement, la signature ou l'authentification, sont étudiées dans le cadre de la cryptographie à clé publique ou secrète. Cryptographie analyse également l'interaction entre ces notions ainsi que leurs mises en oeuvre dans des protocoles généraux et dans des applications concrètes. Il s'intéresse aux attaques contre les systèmes cryptographiques y compris celles par canaux cachés et par injection de fautes. Il aborde le domaine désormais indispensable des preuves de sécurité.

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 Problem Of The Unity Of Science The Proceedings Of The Annual Meeting Of The International Academy Of The Philosophy Of Science written by Evandro Agazzi and published by World Scientific. This book was released on 2001-11-28 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: The unity of science has been a widely discussed issue both in the philosophy of science and within several sciences. Reductionism has often been seen as the means of bringing the different sciences to a fundamental unity by reference to some basic science, but it shows many limitations. Multidisciplinarity and interdisciplinarity have also been proposed as methodologies for attaining unity without underestimating the diversity of the sciences.This volume starts with a clarification of the possible meanings of this unity and then discusses the features of the mentioned approaches to unity, evaluating the success and the shortcomings of the unification programme among different sciences and within a single science.

Download or read book Informatique Th orique Et Applications written by and published by . This book was released on 1990 with total page 632 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book M2AN written by and published by . This book was released on 1991 with total page 856 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Automatic Control Production System written by and published by . This book was released on 1990 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Signs of Humanity L homme et ses signes written by Gérard Deledalle and published by Walter de Gruyter GmbH & Co KG. This book was released on 2019-05-20 with total page 1794 pages. Available in PDF, EPUB and Kindle. Book excerpt: No detailed description available for "Signs of Humanity / L'homme et ses signes".

Download or read book Logic for Problem Solving written by Robert Kowalski and published by Ediciones Díaz de Santos. This book was released on 1979 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR

Download or read book Revue Internationale de Philosophie written by and published by . This book was released on 2001 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Professional Practice in Artificial Intelligence written by John Debenham and published by Springer. This book was released on 2006-10-11 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Second Symposium on Professional Practice in AI 2006 is a conference within the IFIP World Computer Congress 2006, Santiago, Chile. The Symposium is organised by the IFIP Technical Committee on Artificial Intelligence (Technical Committee 12) and its Working Group 12.5 (Artificial Intelligence Applications). The First Symposium in this series was one of the conferences in the IFIP World Computer Congi-ess 2004, Toulouse France. The conference featured invited talks by Rose Dieng, John Atkinson, John Debenham and Max Bramer. The Symposium was a component of the IFIP AI 2006 conference, organised by Professor Max Bramer. I should like to thank the Symposium General Chair, Professor Bramer for his considerable assistance in making the Symposium happen within a very tight deadline. These proceedings are the result of a considerable amount of hard work. Beginning with the preparation of the submitted papers, the papers were each reviewed by at least two members of the international Program Committee. The authors of accepted papers then revised their manuscripts to produce their final copy. The hard work of the authors, the referees and the Program Committee is gratefully aclaiowledged. The IFIP AI 2006 conference and the Symposium are the latest in a series of conferences organised by IFIP Technical Committee 12 dedicated to the techniques of Aitificial Intelligence and their real-world applications. Further infoirmation about TC12 can be found on our website http;//www.ifiptcI2.org.

Download or read book Modeling and Using Context written by Paolo Bouquet and published by Springer. This book was released on 2003-07-31 with total page 540 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT’99), held in Trento (Italy) from 9 to 11 September 1999. CONTEXT’99 is the second in the CONTEXT series. The rst was held in Rio de Janeiro (Brazil) in 1997. The CONTEXT conference series is meant to provide an interdisciplinary - rum where researchers can exchange ideas, methodologies, and results on c- text, and is increasingly becoming an important reference for all people doing research on context. This is testi ed by the larger number of research areas that are represented at CONTEXT’99 (in particular, Philosophy and Cognitive Psychology were not signi cantly present at the rst conference), and by the number and quality of submitted papers. Speci cally, we received 118 papers, mostly of good or excellent quality. Among them, 33 (28%) have been accepted as full papers, and 21 as short papers. We think it is fair to say that the 54 papers collected in this volume provide a signi cant picture of the international research on context currently going on. The notion of context plays an important role in many areas, both theoretical and applied, such as Formal Logic, Arti cial Intelligence, Philosophy, Pragm- ics, Computational Linguistics, Computer Science, Cognitive Psychology.

Download or read book Logic for Problem Solving Revisited written by Robert Kowalski and published by BoD – Books on Demand. This book was released on 2014-11-18 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: This seminal book of Computer Science is the most cited reference on the subject of programming in logic. Originally published in 1979, this now classic text was the first comprehensive attempt to define the scope of logic for problem solving. In this extended edition, Robert Kowalski revisits his classic text in the light of subsequent developments in a substantial commentary of fifty pages. This work investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be appropriate therefore as an introduction to logic, the theory of problem-solving, and computer programming. At the focal point is Computational Logic. It centers around the famous slogan: Algorithm = Logic + Control, which was coined by the author and is explained in this book. According to this view, an algorithm consists of a problem description (the logic part) and a strategy to perform useful computations on this description (the control part). This separation of concerns ideally leads to declarative programs that are simple to develop, clear to understand and easy to maintain.