A temporal revision model for reasoning about world change

DOI10.1002/INT.4550090108MaRDI QIDQ4293722zbMATH OpenOpenAlexFDO

Authors Marie-Odile Cordier, Pierre Siegel

Publication date 7 July 1994

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.4550090108

zbMATH Keywords

belief changereasoning about changecognitive statesworld change

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• A glance at revision and updating in knowledge bases
• Update by means of inference rules
• Iterated revision and minimal change of conditional beliefs

Cites work

• scientific article; zbMATH DE number 4049163 (Why is no real title available?)
• scientific article; zbMATH DE number 67449 (Why is no real title available?)
• scientific article; zbMATH DE number 67494 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the logic of theory change: safe contraction

This page was built for publication: A temporal revision model for reasoning about world change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4293722)