Dynamic Tractable Reasoning: A Modular Approach to Belief Revision

Cham, Schweiz: Springer (2020)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,181

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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
2020-05-26

Downloads
19 (#582,134)

6 months
1 (#413,813)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Holger Andreas
University Of British Columbia, Okanagan

Citations of this work

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

References found in this work

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 - 1983 - Philosophical Review 94 (1):101.
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: K. Paul, Trench, Trubner & Co..

View all 76 references / Add more references