Computational Logic And Human Thinking

Download Computational Logic And Human Thinking full books in PDF, epub, and Kindle. Read online Computational Logic And Human Thinking ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Computational Logic and Human Thinking

Author : Robert Kowalski
Publisher :
ISBN 13 : 9781107214453
Total Pages : 310 pages
Book Rating : 4.2/5 (144 download)

DOWNLOAD NOW!

Book Synopsis Computational Logic and Human Thinking by : Robert Kowalski

Download or read book Computational Logic and Human Thinking written by Robert Kowalski and published by . This book was released on 2011 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: "The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented"--

Computational Logic and Human Thinking

Author : Robert Kowalski
Publisher : Cambridge University Press
ISBN 13 : 1139498150
Total Pages : 333 pages
Book Rating : 4.1/5 (394 download)

DOWNLOAD NOW!

Book Synopsis Computational Logic and Human Thinking by : Robert Kowalski

Download or read book Computational Logic and Human Thinking written by Robert Kowalski and published by Cambridge University Press. This book was released on 2011-07-21 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

What Makes Us Smart

Author : Samuel Gershman
Publisher : Princeton University Press
ISBN 13 : 0691225990
Total Pages : 218 pages
Book Rating : 4.6/5 (912 download)

DOWNLOAD NOW!

Book Synopsis What Makes Us Smart by : Samuel Gershman

Download or read book What Makes Us Smart written by Samuel Gershman and published by Princeton University Press. This book was released on 2021-10-19 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: How a computational framework can account for the successes and failures of human cognition At the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. What Makes Us Smart makes sense of this paradox by arguing that our cognitive errors are not haphazard. Rather, they are the inevitable consequences of a brain optimized for efficient inference and decision making within the constraints of time, energy, and memory—in other words, data and resource limitations. Framing human intelligence in terms of these constraints, Samuel Gershman shows how a deeper computational logic underpins the “stupid” errors of human cognition. Embarking on a journey across psychology, neuroscience, computer science, linguistics, and economics, Gershman presents unifying principles that govern human intelligence. First, inductive bias: any system that makes inferences based on limited data must constrain its hypotheses in some way before observing data. Second, approximation bias: any system that makes inferences and decisions with limited resources must make approximations. Applying these principles to a range of computational errors made by humans, Gershman demonstrates that intelligent systems designed to meet these constraints yield characteristically human errors. Examining how humans make intelligent and maladaptive decisions, What Makes Us Smart delves into the successes and failures of cognition.

A Computational Logic

Author : Robert S. Boyer
Publisher : Academic Press
ISBN 13 : 1483277887
Total Pages : 414 pages
Book Rating : 4.4/5 (832 download)

DOWNLOAD NOW!

Book Synopsis A Computational Logic by : Robert S. Boyer

Download or read book A Computational Logic written by Robert S. Boyer and published by Academic Press. This book was released on 2014-06-25 with total page 414 pages. Available in PDF, EPUB and Kindle. Book excerpt: ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, informal development, formal specification of the problem, well-founded relations, natural numbers, and literal atoms. The book then examines the use of type information to simplify formulas, use of axioms and lemmas as rewrite rules, and the use of definitions. Topics include nonrecursive functions, computing values, free variables in hypothesis, infinite backwards chaining, infinite looping, computing type sets, and type prescriptions. The manuscript takes a look at rewriting terms and simplifying clauses, eliminating destructors and irrelevance, using equalities, and generalization. Concerns include reasons for eliminating isolated hypotheses, precise statement of the generalization heuristic, restricting generalizations, precise use of equalities, and multiple destructors and infinite looping. The publication is a vital source of data for researchers interested in computational logic.

Puzzles in Logic, Languages and Computation

Author : Dragomir Radev
Publisher : Springer Science & Business Media
ISBN 13 : 3642343783
Total Pages : 178 pages
Book Rating : 4.6/5 (423 download)

DOWNLOAD NOW!

Book Synopsis Puzzles in Logic, Languages and Computation by : Dragomir Radev

Download or read book Puzzles in Logic, Languages and Computation written by Dragomir Radev and published by Springer Science & Business Media. This book was released on 2013-02-11 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the first volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Linguistics Olympiad. These problems are representative of the diverse areas presented in the competition and designed with three principles in mind: · To challenge the student analytically, without requiring any explicit knowledge or experience in linguistics or computer science; · To expose the student to the different kinds of reasoning required when encountering a new phenomenon in a language, both as a theoretical topic and as an applied problem; · To foster the natural curiosity students have about the workings of their own language, as well as to introduce them to the beauty and structure of other languages; · To learn about the models and techniques used by computers to understand human language. Aside from being a fun intellectual challenge, the Olympiad mimics the skills used by researchers and scholars in the field of computational linguistics. In an increasingly global economy where businesses operate across borders and languages, having a strong pool of computational linguists is a competitive advantage, and an important component to both security and growth in the 21st century. This collection of problems is a wonderful general introduction to the field of linguistics through the analytic problem solving technique. "A fantastic collection of problems for anyone who is curious about how human language works! These books take serious scientific questions and present them in a fun, accessible way. Readers exercise their logical thinking capabilities while learning about a wide range of human languages, linguistic phenomena, and computational models. " - Kevin Knight, USC Information Sciences Institute

Logic and Uncertainty in the Human Mind

Author : Shira Elqayam
Publisher : Routledge
ISBN 13 : 135162041X
Total Pages : 264 pages
Book Rating : 4.3/5 (516 download)

DOWNLOAD NOW!

Book Synopsis Logic and Uncertainty in the Human Mind by : Shira Elqayam

Download or read book Logic and Uncertainty in the Human Mind written by Shira Elqayam and published by Routledge. This book was released on 2020-06-10 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: David E. Over is a leading cognitive scientist and, with his firm grounding in philosophical logic, he also exerts a powerful influence on the psychology of reasoning. He is responsible for not only a large body of empirical work and accompanying theory, but for advancing a major shift in thinking about reasoning, commonly known as the ‘new paradigm’ in the psychology of human reasoning. Over’s signature mix of philosophical logic and experimental psychology has inspired generations of researchers, psychologists, and philosophers alike over more than a quarter of a century. The chapters in this volume, written by a leading group of contributors including a number who helped shape the psychology of reasoning as we know it today, each take their starting point from the key themes of Over’s ground-breaking work. The essays in this collection explore a wide range of central topics—such as rationality, bias, dual processes, and dual systems—as well as contemporary psychological and philosophical theories of conditionals. It concludes with an engaging new chapter, authored by David E. Over himself, which details and analyses the new paradigm psychology of reasoning. This book is therefore important reading for scholars, researchers, and advanced students in psychology, philosophy, and the cognitive sciences, including those who are not familiar with Over’s thought already.

Thinking as Communicating

Author : Anna Sfard
Publisher : Cambridge University Press
ISBN 13 : 1139467999
Total Pages : 295 pages
Book Rating : 4.1/5 (394 download)

DOWNLOAD NOW!

Book Synopsis Thinking as Communicating by : Anna Sfard

Download or read book Thinking as Communicating written by Anna Sfard and published by Cambridge University Press. This book was released on 2008-01-21 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is an attempt to change our thinking about thinking. Anna Sfard undertakes this task convinced that many long-standing, seemingly irresolvable quandaries regarding human development originate in ambiguities of the existing discourses on thinking. Standing on the shoulders of Vygotsky and Wittgenstein, the author defines thinking as a form of communication. The disappearance of the time-honoured thinking-communicating dichotomy is epitomised by Sfard's term, commognition, which combines communication with cognition. The commognitive tenet implies that verbal communication with its distinctive property of recursive self-reference may be the primary source of humans' unique ability to accumulate the complexity of their action from one generation to another. The explanatory power of the commognitive framework and the manner in which it contributes to our understanding of human development is illustrated through commognitive analysis of mathematical discourse accompanied by vignettes from mathematics classrooms.

Computational Thinking: A Perspective on Computer Science

Author : Zhiwei Xu
Publisher : Springer Nature
ISBN 13 : 9811638489
Total Pages : 338 pages
Book Rating : 4.8/5 (116 download)

DOWNLOAD NOW!

Book Synopsis Computational Thinking: A Perspective on Computer Science by : Zhiwei Xu

Download or read book Computational Thinking: A Perspective on Computer Science written by Zhiwei Xu and published by Springer Nature. This book was released on 2022-01-01 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook is intended as a textbook for one-semester, introductory computer science courses aimed at undergraduate students from all disciplines. Self-contained and with no prerequisites, it focuses on elementary knowledge and thinking models. The content has been tested in university classrooms for over six years, and has been used in summer schools to train university and high-school teachers on teaching introductory computer science courses using computational thinking. This book introduces computer science from a computational thinking perspective. In computer science the way of thinking is characterized by three external and eight internal features, including automatic execution, bit-accuracy and abstraction. The book is divided into chapters on logic thinking, algorithmic thinking, systems thinking, and network thinking. It also covers societal impact and responsible computing material – from ICT industry to digital economy, from the wonder of exponentiation to wonder of cyberspace, and from code of conduct to best practices for independent work. The book’s structure encourages active, hands-on learning using the pedagogic tool Bloom's taxonomy to create computational solutions to over 200 problems of varying difficulty. Students solve problems using a combination of thought experiment, programming, and written methods. Only 300 lines of code in total are required to solve most programming problems in this book.

The Psychology of Proof

Author : Lance J. Rips
Publisher : MIT Press
ISBN 13 : 0262517213
Total Pages : 465 pages
Book Rating : 4.2/5 (625 download)

DOWNLOAD NOW!

Book Synopsis The Psychology of Proof by : Lance J. Rips

Download or read book The Psychology of Proof written by Lance J. Rips and published by MIT Press. This book was released on 2003-01-01 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life. In this provocative book, Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life. Rips argues that certain inference principles are so central to our notion of intelligence and rationality that they deserve serious psychological investigation to determine their role in individuals' beliefs and conjectures. Asserting that cognitive scientists should consider deductive reasoning as a basis for thinking, Rips develops a theory of natural reasoning abilities and shows how it predicts mental successes and failures in a range of cognitive tasks. In parts I and II of the book, Rips builds insights from cognitive psychology, logic, and artificial intelligence into a unified theoretical structure. He defends the idea that deduction depends on the ability to construct mental proofs—actual memory units that link given information to conclusions it warrants. From this base Rips develops a computational model of deduction based on two cognitive skills: the ability to make suppositions or assumptions and the ability to posit sub-goals for conclusions. A wide variety of original experiments support this model, including studies of human subjects evaluating logical arguments as well as following and remembering proofs. Unlike previous theories of mental proof, this one handles names and variables in a general way. This capability enables deduction to play a crucial role in other thought processes, such as classifying and problem solving. In part III, Rips compares the theory to earlier approaches in psychology which confined the study of deduction to a small group of tasks, and examines whether the theory is too rational or too irrational in its mode of thought.

The Logic of Mind

Author : R.J. Nelson
Publisher : Springer Science & Business Media
ISBN 13 : 9400925956
Total Pages : 407 pages
Book Rating : 4.4/5 (9 download)

DOWNLOAD NOW!

Book Synopsis The Logic of Mind by : R.J. Nelson

Download or read book The Logic of Mind written by R.J. Nelson and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 407 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a mechanist philosophy of mind. I hold that the human mind is a system of computational or recursive rules that are embodied in the nervous system; that the material presence of these rules accounts for perception, conception, speech, belief, desire, intentional acts, and other forms of intelligence. In this edition I have retained the whole of the fIrst edition except for discussion of issues which no longer are relevant in philosophy of mind and cognitive psychology. Earlier reference to disputes of the 1960's and 70's between hard-line empiricists and neorationalists over the psychological status of grammars and language acquisition, for instance, has simply been dropped. In place of such material I have entered some timely or new topics and a few changes. There are brief references to the question of computer versus distributed processing (connectionist) theories. Many of these questions dissolve if one distinguishes as I now do in Chapter II between free and embodied algorithms. I have also added to my comments on artifIcal in telligence some reflections. on Searle's Chinese Translator. The irreducibility of machine functionalist psychology in my version or any other has been exaggerated. Input, output, and state entities are token identical to physical or biological things of some sort, while a machine system as a collection of recursive rules is type identical to representatives of equivalence classes. This nuld technicality emerges in Chapter XI. It entails that so-called "anomalous monism" is right in one sense and wrong in another.

Puzzles in Logic, Languages and Computation

Author : Dragomir Radev
Publisher : Springer Science & Business Media
ISBN 13 : 3642343724
Total Pages : 208 pages
Book Rating : 4.6/5 (423 download)

DOWNLOAD NOW!

Book Synopsis Puzzles in Logic, Languages and Computation by : Dragomir Radev

Download or read book Puzzles in Logic, Languages and Computation written by Dragomir Radev and published by Springer Science & Business Media. This book was released on 2013-02-11 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the second volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Linguistics Olympiad. These problems are representative of the diverse areas presented in the competition and designed with three principles in mind: · To challenge the student analytically, without requiring any explicit knowledge or experience in linguistics or computer science; · To expose the student to the different kinds of reasoning required when encountering a new phenomenon in a language, both as a theoretical topic and as an applied problem; · To foster the natural curiosity students have about the workings of their own language, as well as to introduce them to the beauty and structure of other languages; · To learn about the models and techniques used by computers to understand human language. Aside from being a fun intellectual challenge, the Olympiad mimics the skills used by researchers and scholars in the field of computational linguistics. In an increasingly global economy where businesses operate across borders and languages, having a strong pool of computational linguists is a competitive advantage, and an important component to both security and growth in the 21st century. This collection of problems is a wonderful general introduction to the field of linguistics through the analytic problem solving technique. "A fantastic collection of problems for anyone who is curious about how human language works! These books take serious scientific questions and present them in a fun, accessible way. Readers exercise their logical thinking capabilities while learning about a wide range of human languages, linguistic phenomena, and computational models. " - Kevin Knight, USC Information Sciences Institute

The Cultural Logic of Computation

Author : David Golumbia
Publisher : Harvard University Press
ISBN 13 : 9780674032927
Total Pages : 276 pages
Book Rating : 4.0/5 (329 download)

DOWNLOAD NOW!

Book Synopsis The Cultural Logic of Computation by : David Golumbia

Download or read book The Cultural Logic of Computation written by David Golumbia and published by Harvard University Press. This book was released on 2009-04-30 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advocates of computers make sweeping claims for their inherently transformative power: new and different from previous technologies, they are sure to resolve many of our existing social problems, and perhaps even to cause a positive political revolution. In The Cultural Logic of Computation, David Golumbia, who worked as a software designer for more than ten years, confronts this orthodoxy, arguing instead that computers are cultural “all the way down”—that there is no part of the apparent technological transformation that is not shaped by historical and cultural processes, or that escapes existing cultural politics. From the perspective of transnational corporations and governments, computers benefit existing power much more fully than they provide means to distribute or contest it. Despite this, our thinking about computers has developed into a nearly invisible ideology Golumbia dubs “computationalism”—an ideology that informs our thinking not just about computers, but about economic and social trends as sweeping as globalization. Driven by a programmer’s knowledge of computers as well as by a deep engagement with contemporary literary and cultural studies and poststructuralist theory, The Cultural Logic of Computation provides a needed corrective to the uncritical enthusiasm for computers common today in many parts of our culture.

Logic for Problem Solving

Author : Robert Kowalski
Publisher : Ediciones Díaz de Santos
ISBN 13 : 9780444003652
Total Pages : 428 pages
Book Rating : 4.0/5 (36 download)

DOWNLOAD NOW!

Book Synopsis Logic for Problem Solving by : Robert Kowalski

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

Artificial Intelligence

Author : John Haugeland
Publisher : MIT Press
ISBN 13 : 9780262580953
Total Pages : 306 pages
Book Rating : 4.5/5 (89 download)

DOWNLOAD NOW!

Book Synopsis Artificial Intelligence by : John Haugeland

Download or read book Artificial Intelligence written by John Haugeland and published by MIT Press. This book was released on 1989-01-06 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Machines who think—how utterly preposterous," huff beleaguered humanists, defending their dwindling turf. "Artificial Intelligence—it's here and about to surpass our own," crow techno-visionaries, proclaiming dominion. It's so simple and obvious, each side maintains, only a fanatic could disagree. Deciding where the truth lies between these two extremes is the main purpose of John Haugeland's marvelously lucid and witty book on what artificial intelligence is all about. Although presented entirely in non-technical terms, it neither oversimplifies the science nor evades the fundamental philosophical issues. Far from ducking the really hard questions, it takes them on, one by one. Artificial intelligence, Haugeland notes, is based on a very good idea, which might well be right, and just as well might not. That idea, the idea that human thinking and machine computing are "radically the same," provides the central theme for his illuminating and provocative book about this exciting new field. After a brief but revealing digression in intellectual history, Haugeland systematically tackles such basic questions as: What is a computer really? How can a physical object "mean" anything? What are the options for computational organization? and What structures have been proposed and tried as actual scientific models for intelligence? In a concluding chapter he takes up several outstanding problems and puzzles—including intelligence in action, imagery, feelings and personality—and their enigmatic prospects for solution.

Thinking as Computation

Author : Hector J. Levesque
Publisher : MIT Press
ISBN 13 : 0262300648
Total Pages : 323 pages
Book Rating : 4.2/5 (623 download)

DOWNLOAD NOW!

Book Synopsis Thinking as Computation by : Hector J. Levesque

Download or read book Thinking as Computation written by Hector J. Levesque and published by MIT Press. This book was released on 2012-01-06 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought. This book guides students through an exploration of the idea that thinking might be understood as a form of computation. Students make the connection between thinking and computing by learning to write computer programs for a variety of tasks that require thought, including solving puzzles, understanding natural language, recognizing objects in visual scenes, planning courses of action, and playing strategic games. The material is presented with minimal technicalities and is accessible to undergraduate students with no specialized knowledge or technical background beyond high school mathematics. Students use Prolog (without having to learn algorithms: “Prolog without tears!”), learning to express what they need as a Prolog program and letting Prolog search for answers. After an introduction to the basic concepts, Thinking as Computation offers three chapters on Prolog, covering back-chaining, programs and queries, and how to write the sorts of Prolog programs used in the book. The book follows this with case studies of tasks that appear to require thought, then looks beyond Prolog to consider learning, explaining, and propositional reasoning. Most of the chapters conclude with short bibliographic notes and exercises. The book is based on a popular course at the University of Toronto and can be used in a variety of classroom contexts, by students ranging from first-year liberal arts undergraduates to more technically advanced computer science students.

Research Anthology on Computational Thinking, Programming, and Robotics in the Classroom

Author : Management Association, Information Resources
Publisher : IGI Global
ISBN 13 : 1668424126
Total Pages : 969 pages
Book Rating : 4.6/5 (684 download)

DOWNLOAD NOW!

Book Synopsis Research Anthology on Computational Thinking, Programming, and Robotics in the Classroom by : Management Association, Information Resources

Download or read book Research Anthology on Computational Thinking, Programming, and Robotics in the Classroom written by Management Association, Information Resources and published by IGI Global. This book was released on 2021-07-16 with total page 969 pages. Available in PDF, EPUB and Kindle. Book excerpt: The education system is constantly growing and developing as more ways to teach and learn are implemented into the classroom. Recently, there has been a growing interest in teaching computational thinking with schools all over the world introducing it to the curriculum due to its ability to allow students to become proficient at problem solving using logic, an essential life skill. In order to provide the best education possible, it is imperative that computational thinking strategies, along with programming skills and the use of robotics in the classroom, be implemented in order for students to achieve maximum thought processing skills and computer competencies. The Research Anthology on Computational Thinking, Programming, and Robotics in the Classroom is an all-encompassing reference book that discusses how computational thinking, programming, and robotics can be used in education as well as the benefits and difficulties of implementing these elements into the classroom. The book includes strategies for preparing educators to teach computational thinking in the classroom as well as design techniques for incorporating these practices into various levels of school curriculum and within a variety of subjects. Covering topics ranging from decomposition to robot learning, this book is ideal for educators, computer scientists, administrators, academicians, students, and anyone interested in learning more about how computational thinking, programming, and robotics can change the current education system.

Artificial Intelligence

Author : Melanie Mitchell
Publisher : Farrar, Straus and Giroux
ISBN 13 : 0374715238
Total Pages : 336 pages
Book Rating : 4.3/5 (747 download)

DOWNLOAD NOW!

Book Synopsis Artificial Intelligence by : Melanie Mitchell

Download or read book Artificial Intelligence written by Melanie Mitchell and published by Farrar, Straus and Giroux. This book was released on 2019-10-15 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Melanie Mitchell separates science fact from science fiction in this sweeping examination of the current state of AI and how it is remaking our world No recent scientific enterprise has proved as alluring, terrifying, and filled with extravagant promise and frustrating setbacks as artificial intelligence. The award-winning author Melanie Mitchell, a leading computer scientist, now reveals AI’s turbulent history and the recent spate of apparent successes, grand hopes, and emerging fears surrounding it. In Artificial Intelligence, Mitchell turns to the most urgent questions concerning AI today: How intelligent—really—are the best AI programs? How do they work? What can they actually do, and when do they fail? How humanlike do we expect them to become, and how soon do we need to worry about them surpassing us? Along the way, she introduces the dominant models of modern AI and machine learning, describing cutting-edge AI programs, their human inventors, and the historical lines of thought underpinning recent achievements. She meets with fellow experts such as Douglas Hofstadter, the cognitive scientist and Pulitzer Prize–winning author of the modern classic Gödel, Escher, Bach, who explains why he is “terrified” about the future of AI. She explores the profound disconnect between the hype and the actual achievements in AI, providing a clear sense of what the field has accomplished and how much further it has to go. Interweaving stories about the science of AI and the people behind it, Artificial Intelligence brims with clear-sighted, captivating, and accessible accounts of the most interesting and provocative modern work in the field, flavored with Mitchell’s humor and personal observations. This frank, lively book is an indispensable guide to understanding today’s AI, its quest for “human-level” intelligence, and its impact on the future for us all.