On the Logic of Theory Change

Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic, 50(2), 510-530.

Type

Journal article

Intellectual base

Primary research

Year

1985

Volume

50

Issue

2

Pages

510-530

DOI

10.2307/2274239

DOI registrant

Cambridge University Press

Link

https://doi.org/10.2307/2274239

Cited from

computer_science

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Frame Problem
  • and belief revision (the minimal-revision postulates) is a sibling formalism responding to the same structural problem of bounded ramification: given a new fact, change as little as possible.

    This sourceThe AGM postulates for belief revision — change as little as possible given a new fact — a sibling formalism to bounded ramification.

    Supported in partVerified against the publisher's abstract

    The AGM abstract establishes contraction and revision functions and the maximal-subset minimal-change construction, but covers neither circumscription nor autoepistemic logic.

    “In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate “partial meet contraction functions”, which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated.”

    Read by an automated reader; not a human review. How support was checked

Domain-specific

• Belief Revision
  • Alchourrón, Gärdenfors, and Makinson's 1985 paper establishes the canonical AGM theory through revision and partial-meet contraction functions.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Read against the text for 1 of 2 citations: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:ba1178dcf662 · see in the full table