Bookbot
The book is currently out of stock

Dynamic Tractable Reasoning

A Modular Approach to Belief Revision

Parameters

Pages
256 pages
Reading time
9 hours

More about the book

The book explores the logical foundations of tractable reasoning, building on Marvin Minsky's influential work on frames. It addresses the largely unexamined intersection of frames and logic, proposing a new logic called frame logic to tackle the challenges of dynamic, inferential reasoning, a significant issue in cognitive science and AI. The author introduces a belief revision scheme that enhances tractability within frame logic, emphasizing the importance of modularity and presenting a logical variant of the massive modularity hypothesis in cognitive science.

Book purchase

Dynamic Tractable Reasoning, Holger Andreas

Language
Released
2020
We’ll notify you via email once we track it down.

Payment methods