On the Logic of Theory Change: Partial Meet Contraction and Revision Functions

@article{Alchourrn1985OnTL,
  title={On the Logic of Theory Change: Partial Meet Contraction and Revision Functions},
  author={Carlos E. Alchourr{\'o}n and Peter G{\"a}rdenfors and David Makinson},
  journal={J. Symb. Log.},
  year={1985},
  volume={50},
  pages={510-530}
}
This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 1,823 CITATIONS

On Non-Prioritized Multiple Belief Revision

VIEW 15 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A new rational algorithm for view updating in relational databases

  • Applied Intelligence
  • 2014
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Entrenchment-Based Horn Contraction

  • J. Artif. Intell. Res.
  • 2014
VIEW 15 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Outcome Level Analysis of Belief Contraction

  • Rev. Symb. Log.
  • 2013
VIEW 16 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Three Approaches to Iterated Belief Contraction

VIEW 7 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

A solution to commutativity problems found in iterated belief revision

  • 9th IEEE International Conference on Cognitive Informatics (ICCI'10)
  • 2010
VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Ontology-revision operators based on reinterpretation

  • Logic Journal of the IGPL
  • 2010
VIEW 14 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1987
2019

CITATION STATISTICS

  • 352 Highly Influenced Citations

  • Averaged 55 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Rules for rational changes of belief Philosophical essays dedicated to Lennart iqvist on hisfiftieth birthday

  • Rules for rational changes of belief Philosophical essays dedicated to Lennart iqvist on hisfiftieth birthday
  • 1982

Conditionals and changes of belief; The logic and epistemology of scientific change

  • Acta Philosophica Fennica
  • 1978
VIEW 1 EXCERPT

DAVID HOW to give it up: A survey of someformal aspects of the logic of theory change

  • DAVID HOW to give it up: A survey of someformal aspects of the logic of theory change
VIEW 1 EXCERPT