Dynamic Tractable Reasoning

A Modular Approach to Belief Revision

Autori

• Holger Andreas

Parametri

• 256 pagine
• 9 ore di lettura

• Computer, IT, programmazione
• Filosofia
• Natura
• Natura, animali

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2020

(Copertina rigida)