Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
5
result(s) for
"Walsh, Toby, author"
Sort by:
Machines that think : the future of artificial intelligence
\"A scientist who has spent a career developing Artificial Intelligence takes a realistic look at the technological challenges and assesses the likely effect of AI on the future\"-- Provided by publisher.
Book
Machines Behaving Badly
Artificial intelligence is an essential part of our lives – for better or worse. It can be used to influence what we buy, who gets shortlisted for a job and even how we vote. Without AI, medical technology wouldn't have come so far, we'd still be getting lost on backroads in our GPS-free cars, and smartphones wouldn't be so, well, smart. But as we continue to build more intelligent and autonomous machines, what impact will this have on humanity and the planet?
Professor Toby Walsh, a world-leading researcher in the field of artificial intelligence, explores the ethical considerations and unexpected consequences AI poses – Is Alexa racist? Can robots have rights? What happens if a self-driving car kills someone? What limitations should we put on the use of facial recognition?
Machines Behaving Badly is a thought-provoking look at the increasing human reliance on robotics and the decisions that need to be made now to ensure the future of AI is as a force for good, not evil.
eBook
2062 : the world AI made
2062 is the year by which we will have built machines as intelligent as us. This is what leading AI and robotics experts predict. But what will this future actually look like? When the quest to build intelligent machines has been successful, how will life on this planet unfold? In 2062, Toby Walsh considers the impact AI will have on work, war, politics, economics, everyday human life and, indeed, human death. Will robots become conscious? Will automation take away jobs? Will we become immortal machines ourselves, uploading our brains to the cloud? What lies in store for homo digitalis - the people of the not-so-distant future who will be living amongst fully functioning artificial intelligence? In the tradition of Yuval Noah Harari's Homo Deus, 2062 describes the choices we need to make today to ensure that future remains bright.
Book
Handbook of satisfiability
\"Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has become the key enabling technology in automated verification of both computer hardware and software. Bounded Model Checking (BMC) of computer hardware is now probably the most widely used model checking technique. The counterexamples that it finds are just satisfying instances of a Boolean formula obtained by unwinding to some fixed depth a sequential circuit and its specification in linear temporal logic. Extending model checking to software verification is a much more difficult problem on the frontier of current research. One promising approach for languages like C with finite word-length integers is to use the same idea as in BMC but with a decision procedure for the theory of bit-vectors instead of SAT. All decision procedures for bit-vectors that I am familiar with ultimately make use of a fast SAT solver to handle complex formulas. Decision procedures for more complicated theories, like linear real and integer arithmetic, are also used in program verification. Most of them use powerful SAT solvers in an essential way. Clearly, efficient SAT solving is a key technology for 21st century computer science. I expect this collection of papers on all theoretical and practical aspects of SAT solving will be extremely useful to both students and researchers and will lead to many further advances in the field.\"--Edmund Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical
and Computer Engineering at Carnegie Mellon University, winner of the 2007 A.M. Turing Award).
eBook
Faking it : artificial intelligence in a human world
In an increasingly AI-driven world, renowned expert Toby Walsh examines what the 'artificial' in artificial intelligence truly means.
BOOK