Cham, Schweiz: Springer (2020)

Holger Andreas
University Of British Columbia, Okanagan
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 the book $89.99 direct from Amazon   $143.72 used    Amazon page
ISBN(s) 3030362329
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
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

No references found.

Add more references

Citations of this work BETA

No citations found.

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.


Added to PP index

Total views
11 ( #755,904 of 2,326,303 )

Recent downloads (6 months)
11 ( #56,008 of 2,326,303 )

How can I increase my downloads?


My notes