Dynamic Tractable Reasoning

Mehr zum Buch

Exploring the intersection of logic and cognitive science, this work delves into the concept of frames, inspired by Marvin Minsky's influential theories. It addresses the challenge of dynamic, inferential reasoning, proposing a new framework called frame logic, along with a belief revision scheme that enhances tractability. The book emphasizes the importance of modularity in reasoning processes and introduces a logical variant of the massive modularity hypothesis, paving the way for advancements in both cognitive science and artificial intelligence.