'If your brain tends to seize up with fear or incomprehension at the mention of AI, this concise and entertaining history is for you' SYDNEY MORNING HERALDSince Alan Turing asked 'Can machines think?' artificial intelligence has grown from a pipe dream into a transformative force. The Shortest History of AI traces this journey, from Ada Lovelace's visionary work to Deep Blue's shocking defeat of chess world champion Garry Kasparov and the recent barnstormi...

Artificial intelligence is, as the name suggests, artificial and fundamentally different to human intelligence. Yet often the goal of AI is to fake human intelligence. This deceit has been there from the very beginning. We’ve been trying to fake it since Alan Turing answered the question ‘Can machines think?’ by proposing that machines pretend to be humans. Now we are starting to build AI that truly deceives us. Powerful AIs such as ChatGPT can convince us they are intelligent and blur the...

The development of thinking machines is an adventure as bold and ambitious as any that humans have attempted. And the truth is that Artificial Intelligence is already an indispensable part of our daily lives. Without it, Google wouldn't have answers and your smartphone would just be a phone. But how will AI change society by 2050? Will it destroy jobs? Or even pose an existential threat? Android Dreams is a lively exploration of how AI will transform our societies, economies and selves. Fr...

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics.The aim of this handbook is to capture the full breadth and depth of the constraint programmi...

From a world-leading AI researcher, the history of artificial intelligence told through the six key ways it functionsSince Alan Turing first posed the question "Can machines think?" artificial intelligence has evolved from a speculative idea to a transformative force. The Shortest History of AI traces this evolution, from Ada Lovelace's visionary work to IBM's groundbreaking defeat of the chess world champion and the revolutionary emergence of ChatGPT....

Will artificial intelligence usher in a golden age, or are we sowing the seeds of our own destruction? Some scientists have long feared an AI-triggered apocalypse, as ever more ruthless and capable machines elbow us aside. The more extreme doomsayers are even stockpiling supplies in bunkers to prepare for the dystopian future.Optimists, on the other hand, counter that AI will be a gigantic boon, as has already been seen in science and medicine. They point to the impressive list of ...

For decades, some theoretical scientists have suggested that AI will lead to the extinction of humanity . . .Fearing the singularity—the point at which the development of artificial intelligence will outpace our capacity to control it—some scientists are sounding the alarm that a powerful AI could threaten our very existence as a species. More optimistic experts suggest that, properly regulated, AI will be a great boon to humanity—dramatically increasing the effici...

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability...

Leading artificial intelligence researcher and professor Toby Walsh chats with Karthik Krishnan about the future and ethics of AI.

Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their own set of tools for effectively solving complex problems. Tractability provides an overview of these different techniques, and of the fundamental concepts and properties used to tame intractability. This book will help you understand what to do when facing a hard computational problem. Can the...

Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface layer requires combining both. Markov logic is a powerful new language that accomplishes this b...

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.Boolean satisfiability and constraint satisfaction emerged independently as new fields of ...