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

DOI

10.2307/2274239

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.

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

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ba1178dcf662 · see in the full table