![\"\"](\"https:\/\/blogs.ubc.ca\/classroomartwork\/files\/2020\/09\/1-199x300.jpg\")
<\/p>\n<\/p>\n
Dynamic Tractable Reasoning<\/i><\/b> (Springer, 2020)<\/span> 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.<\/p>\n (Description Source: Springer<\/a>) Holger Andreas<\/strong> 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.<\/p>\n http:\/\/tinyurl.com\/y65vbvnt<\/a><\/p>\n From the Publisher – Springer<\/a><\/span> Hardcover ISBN: 9783030362324 The University of British Columbia Okanagan Classroom Artwork Project<\/em> aims to display academically inspiring artwork in classrooms and other teaching areas of the university.<\/span><\/p>\n Artwork displayed as part of this project \u2013 including the covers of books and journals containing work written or edited by UBCO scholars and researchers \u2013 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.<\/span><\/p>\n
\nA Modular Approach to Belief Revision<\/em><\/span><\/span><\/p>\n
\nSCI 333<\/span><\/p>\n
\n<\/span><\/p>\n
\nAuthor<\/em><\/span><\/p>\n
\nUBC Library Holdings<\/em><\/span><\/p>\n
\nHow to Purchase this Book<\/em><\/span><\/p>\n
\nFrom Used-book Sellers – ABE<\/a>, Amazon<\/a>, Antiqbook<\/a>, Biblio<\/a>, Vialibri<\/a><\/span><\/p>\n
\n<\/span>Paper ISBN: 9783030362355
\neBook ISBN: 9783030362331<\/span><\/p>\n
\nUBC Okanagan Classroom Artwork Project <\/em><\/span><\/p>\n
\nHow to Submit Artwork <\/em><\/span><\/p>\n