Constructive modelings for theory change

DOI10.1305/ndjfl/1040308831zbMath0844.03017OpenAlexW2076060941MaRDI QIDQ1903581

Mary-Anne Williams, Pavlos Peppas

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

zbMATH Keywords

belief revisionbelief changerevision operatorsentrenchment orderingGrove's system of spheresnice preorder on modelsupdate operators

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30)

Related Items

Theory-relational belief revision, An Epistemological Study of Theory Change, EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions, An investigation of parametrized difference revision operators, A Panorama of Iterated Revision, Dynamic belief revision operators, Revision by comparison

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two methods of constructing contractions and revisions of knowledge systems
• Two modellings for theory change
• Reasoning about action. I: A possible worlds approach
• Propositional knowledge base revision and minimal change
• Five faces of minimality
• Nonmonotonic inference based on expectations
• On the logic of theory change: Partial meet contraction and revision functions