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,247

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

Efficient minimal preference change.Natasha Alechina, Fenrong Liu & Brian Logan - 2018 - Journal of Logic and Computation 28 (8): 1715–1733.
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.
Contraction and revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.
System of Spheres-based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2012 - Journal of Philosophical Logic 41 (1):29-52.
New Foundations for a Relational Theory of Theory-revision.Neil Tennant - 2006 - Journal of Philosophical Logic 35 (5):489-528.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.

Analytics

Added to PP
2009-01-28

Downloads
41 (#546,423)

6 months
6 (#858,075)

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