› › On The Logics Of Planetary Computing

On the Logics of Planetary Computing

Author : Marc Böhlen

Publisher : Taylor & Francis

Page : 196 pages

File Size : 35,14 MB

Release : 2024-11-29

Category : Social Science

ISBN : 1040193846

Get eBook

Book Description

A new breed of low Earth orbit satellites is making planetary-scale observation and analysis ubiquitous. This book explores how this condition feeds spatially explicit artificial intelligence, GeoAI, in redefining the study of landscapes, and how it impacts one particular land dispute in the Alas Mertajati in Central Bali, Indonesia. This book combines scholarship from the humanities and engineering to forge a novel way of presenting planetary computing in its GeoAI vernacular. From data collection to model evaluation, the book describes how multi-spectral, high-resolution satellite data and machine learning algorithms respond to uncommon land cover conditions, including sustainable land care practices such as agroforestry while contextualizing the operations within science and media studies. Together with the installation logics-of-geoai.org, this book offers full-spectrum immersion into the unstable nexus of geography and artificial intelligence. This book will be of interest to any experimental artist, social scientist, curious AI engineer, or a free-range scholar. It will likewise appeal to students and scholars of science technology studies, media studies, geography, and ethnography.



The Atlas of AI

Author : Kate Crawford

Publisher : Yale University Press

Page : 336 pages

File Size : 23,50 MB

Release : 2021-04-06

Category : Computers

ISBN : 0300209576

Get eBook

Book Description

The hidden costs of artificial intelligence, from natural resources and labor to privacy and freedom What happens when artificial intelligence saturates political life and depletes the planet? How is AI shaping our understanding of ourselves and our societies? In this book Kate Crawford reveals how this planetary network is fueling a shift toward undemocratic governance and increased inequality. Drawing on more than a decade of research, award-winning science, and technology, Crawford reveals how AI is a technology of extraction: from the energy and minerals needed to build and sustain its infrastructure, to the exploited workers behind "automated" services, to the data AI collects from us. Rather than taking a narrow focus on code and algorithms, Crawford offers us a political and a material perspective on what it takes to make artificial intelligence and where it goes wrong. While technical systems present a veneer of objectivity, they are always systems of power. This is an urgent account of what is at stake as technology companies use artificial intelligence to reshape the world.



The Logic of Discovery

Author : S. Kleiner

Publisher : Springer Science & Business Media

Page : 364 pages

File Size : 41,69 MB

Release : 2013-03-09

Category : Science

ISBN : 9401582165

Get eBook

Book Description

Scientific research is viewed as a deliberate activity and the logic of discovery consists of strategies and arguments whereby the best objectives (questions) and optimal means for achieving these objectives (heuristics) are chosen. This book includes a discussion and some proposals regarding the way the logic of questions can be applied to understanding scientific research and draws upon work in artificial intelligence in a discussion of heuristics and methods for appraising heuristics (metaheuristics). It also includes a discussion of a third source for scientific objectives and heuristics; episodes and examplars from the history of science and the history of philosophy. This book is written to be accessible to advanced students in philosophy and to the scientific community. It is of interest to philosophers of science, philosophers of biology, historians of physics, and historians of biology.



Mathematics, Computer Science and Logic - A Never Ending Story

Author : Peter Paule

Publisher : Springer Science & Business Media

Page : 120 pages

File Size : 29,71 MB

Release : 2013-09-17

Category : Computers

ISBN : 3319009664

Get eBook

Book Description

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger’s successor as director of the Research Institute for Symbolic Computation.



Language, Logic, and Computation

Author : Aybüke Özgün

Publisher : Springer Nature

Page : 367 pages

File Size : 30,73 MB

Release : 2022-03-30

Category : Mathematics

ISBN : 3030984796

Get eBook

Book Description

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)



Logic, Language, Information and Computation

Author : Wilfrid Hodges

Publisher : Springer

Page : 321 pages

File Size : 10,91 MB

Release : 2008-06-27

Category : Philosophy

ISBN : 3540699376

Get eBook

Book Description

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.



New Essays in Free Logic

Author : E. Morscher

Publisher : Springer Science & Business Media

Page : 251 pages

File Size : 32,40 MB

Release : 2013-03-14

Category : Philosophy

ISBN : 9401597618

Get eBook

Book Description

Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek philo sophy. It is only during the last fifty years, however, that it has become well established as a branch of modern logic. The name of Karel Lambert is most closely connected with this development: he gave it its name and its profile as a well defined field of research. After a development of fifty years, it is time to look back and take stock while at the same time scanning for new perspectives. This is the purpose of the papers collected in this volume. The first paper is written by Karel Lambert himself who also comments on all the papers of the other authors. In an introductory essay we give a survey of the present status of and new directions in free logic.



Handbook of Logic and Proof Techniques for Computer Science

Author : Steven G. Krantz

Publisher : Springer Science & Business Media

Page : 257 pages

File Size : 26,3 MB

Release : 2012-12-06

Category : Computers

ISBN : 1461201152

Get eBook

Book Description

Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar wise, is in point of fact a handbook written by logicians for other mathe maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.





The Logic of Thermostatistical Physics

Author : Gerard G. Emch

Publisher : Springer Science & Business Media

Page : 707 pages

File Size : 20,77 MB

Release : 2013-04-17

Category : Science

ISBN : 3662048868

Get eBook

Book Description

This book is devoted to a thorough analysis of the role that models play in the practise of physical theory. The authors, a mathematical physicist and a philosopher of science, appeal to the logicians’ notion of model theory as well as to the concepts of physicists.