Mohlo by sa vám tiež páčiť

Viac informácií o knihe Dynamic Tractable Reasoning

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 218 bodov

Anotácia knihy

This book lays 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 is quite innovative. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. It is a major objection to the computational theory of mind and the language-of-thought hypothesis. However, the problem is not bound to these two hypotheses, because as soon as we acknowledge that human minds engage in drawing inferences, we face the problem of computational and cognitive feasibility. By means of a logical investigation of frames and frame concepts, the author devises a novel logic of tractable reasoning, called frame logic . The tractability results about this logic shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science.

Parametre knihy

• Celý názov: Dynamic Tractable Reasoning
• Podnázov: A Modular Approach to Belief Revision
• Autor: Holger Andreas
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 236
• EAN: 9783030362324
• ID: 25137187
• Nakladateľ: Springer Nature Switzerland AG
• Hmotnosť: 553 g
• Rozmery: 235 × 155 × 19 mm
• Dátum vydania: 28. March 2020

---

---

---