Dynamic Tractable Reasoning
A Modular Approach to Belief Revision
(Springer, 2020)
SCI 333
This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky’s seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. He also devises a novel belief-revision scheme, which is tractable for frame logic. These tractability results shed new light on the logical and cognitive means we use to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science.
(Description Source: Springer)
Author
Holger Andreas is an associate professor of Philosophy and Mathematics at the University of British Columbia, Okanagan. He has also held appointments at the Munich Center for Mathematical Philosophy at LMU Munich and at the University of Bonn. His research focuses on the logical analysis of scientific reasoning and scientific theories, including interrelations between non-monotonic reasoning, belief change, and paraconsistent reasoning.
UBC Library Holdings
How to Purchase this Book
From the Publisher – Springer
From Used-book Sellers – ABE, Amazon, Antiqbook, Biblio, Vialibri
Hardcover ISBN: 9783030362324
Paper ISBN: 9783030362355
eBook ISBN: 9783030362331
UBC Okanagan Classroom Artwork Project
The University of British Columbia Okanagan Classroom Artwork Project aims to display academically inspiring artwork in classrooms and other teaching areas of the university.
Artwork displayed as part of this project – including the covers of books and journals containing work written or edited by UBCO scholars and researchers – is intended to help enliven university teaching spaces, educate classroom users about the connections between research and teaching, and introduce members of the broader public to some of the research and scholarship carried out at UBCO.
How to Submit Artwork
If you know of other book or journal covers, or other academically inspiring artwork that is connected to work carried out by UBCO artists, scholars or researchers and that is consistent with UBCO’s educational mission, please email your suggestions to classroom.artwork@ubc.ca.
The UBC Okanagan Classroom Artwork Project began in 2019 with support from the Irving K. Barber School of Arts and Sciences. It is now a joint project of UBCO’s Faculties and the Office of the Provost.
Artwork and other images that are a part of this project are displayed solely for educational purposes.