Cham, Schweiz: Springer (2020)

Authors
Holger Andreas
University Of British Columbia, Okanagan
Abstract
This book aims to lay 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 breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results 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.
Keywords Belief Revision, Defeasible Reasoning, Frames, Structuralist Approach to Science, Tractable Reasoning.
Categories (categorize this paper)
Buy this book $24.99 new   $84.72 used   Amazon page
ISBN(s) 3030362329   3030362353   3030362345   9783030362324
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,593
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Aspects of the Theory of Syntax.Noam Chomsky - 1965 - Cambridge, MA, USA: MIT Press.
The Structure of Scientific Revolutions.Thomas Samuel Kuhn - 1962 - Chicago: University of Chicago Press.
What is Justified Belief?Alvin Goldman - 1979 - In George Pappas (ed.), Justification and Knowledge. Boston: D. Reidel. pp. 1-25.
The Modularity of Mind.Robert Cummins & Jerry Fodor - 1985 - Philosophical Review 94 (1):101.
The Language of Thought.J. A. Fodor - 1978 - Critica 10 (28):140-143.

View all 76 references / Add more references

Citations of this work BETA

Conversaciones con C. Ulises Moulines.Cláudio Abreu & Pablo Lorenzano - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 11 (1):1-31.

Add more citations

Similar books and articles

A Structuralist Theory of Belief Revision.Holger Andreas - 2011 - Journal of Logic, Language and Information 20 (2):205-232.
Logic, Reasoning and Revision.Patrick Allo - 2016 - Theoria 82 (1):3-31.
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test.Charles B. Cross - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 223--244.
Capturing Dynamic Conceptual Frames.Rafal Urbaniak - 2010 - Logic Journal of the IGPL 18 (3):430-455.
Irrevocable Belief Revision in Dynamic Doxastic Logic.Krister Segerberg - 1998 - Notre Dame Journal of Formal Logic 39 (3):287-306.
Belief Revision.Hans Rott - 1995 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 514--534.
Belief Revision, Conditional Logic and Nonmonotonic Reasoning.Wayne Wobcke - 1995 - Notre Dame Journal of Formal Logic 36 (1):55-103.

Analytics

Added to PP index
2020-05-26

Total views
18 ( #594,386 of 2,462,111 )

Recent downloads (6 months)
2 ( #298,976 of 2,462,111 )

How can I increase my downloads?

Downloads

My notes