Constructive modelings for theory change
From MaRDI portal
Publication:1903581
DOI10.1305/NDJFL/1040308831zbMATH Open0844.03017OpenAlexW2076060941MaRDI QIDQ1903581FDOQ1903581
Authors: Pavlos Peppas, Mary-Anne Williams
Publication date: 27 August 1996
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040308831
Recommendations
belief changebelief revisionrevision operatorsentrenchment orderingGrove's system of spheresnice preorder on modelsupdate operators
Cites Work
- Two modellings for theory change
- Nonmonotonic inference based on expectations
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge in flux. Modeling the dynamics of epistemic states
- Propositional knowledge base revision and minimal change
- Title not available (Why is that?)
- Title not available (Why is that?)
- Five faces of minimality
- Two methods of constructing contractions and revisions of knowledge systems
- Reasoning about action. I: A possible worlds approach
Cited In (11)
- A monoselective presentation of AGM revision
- Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions
- Dynamic belief revision operators
- Revision by comparison
- Epistemic entrenchment-based multiple contractions
- An investigation of parametrized difference revision operators
- Theory-relational belief revision
- Measuring similarity in belief revision
- An Epistemological Study of Theory Change
- A panorama of iterated revision
- A methodology for iterated theory change
This page was built for publication: Constructive modelings for theory change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903581)