Das Buch ist derzeit nicht auf Lager

Dynamic Tractable Reasoning

A Modular Approach to Belief Revision

Autor*innen

Holger Andreas

Buchbewertung

4,5(2)Abgeben

Parameter

256 Seiten
9 Lesestunden

Mehr zum Buch

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.