Overview: The first book dedicated to the problem of tractable reasoning.Develops a novel solution to one of the most pressing problems in cognitive science.Connects, in a unique way, cognitive science and phil.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 dyn
|