Dynamic Tractable Reasoning: A Modular Approach to Belief Revision by Holger AndreasEnglish | PDF,EPUB | 2020 | 241 Pages | ISBN : 3030362329 | 6.7 MB
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. Only 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.