Casebased Reasoning a Textbook

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.

Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems.

We all engage in the process of reasoning, but we don't always pay attention to whether we are doing it well. This book offers the opportunity to practise reasoning in a clear-headed and critical way, with the aims of developing an awareness of the importance of reasoning well and of improving the reader's skill in analyzing and evaluating arguments.