Theory-Contraction is NP-Complete

Logic Journal of the IGPL 11 (6):675-693 (2003)
  Copy   BIBTEX

Abstract

I investigate the problem of contracting a dependency-network with respect to any of its nodes. The resulting contraction must not contain the node in question, but must also be a minimal mutilation of the original network. Identifying successful and minimally mutilating contractions of dependency-networks is non-trivial, especially when non-well-founded networks are to be taken into account. I prove that the contraction problem is NP-complete.1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

How to be R eally Contraction-Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.
On having bad contractions, or: no room for recovery.Neil Tennant - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):241-266.
Contracting Intuitionistic Theories.Neil Tennant - 2005 - Studia Logica 80 (2-3):369-391.
A survey of multiple contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
New Foundations for a Relational Theory of Theory-revision.Neil Tennant - 2006 - Journal of Philosophical Logic 35 (5):489-528.
System of Spheres-based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2012 - Journal of Philosophical Logic 41 (1):29-52.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Contraction and revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.

Analytics

Added to PP
2009-01-28

Downloads
41 (#551,066)

6 months
6 (#882,325)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Reliabilism, Stability, and the Value of Knowledge.Erik J. Olsson - 2007 - American Philosophical Quarterly 44 (4):343 - 355.
New Foundations for a Relational Theory of Theory-revision.Neil Tennant - 2006 - Journal of Philosophical Logic 35 (5):489-528.
Abductive belief revision in science.Gerhard Schurz - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 77--104.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references