Theory-relational belief revision

DOI10.1007/S10472-022-09794-2MaRDI QIDQ2149805zbMATH OpenOpenAlexFDO

Authors Theofanis Aravanis, Pavlos Peppas

Publication date 29 June 2022

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-022-09794-2

zbMATH Keywords

belief changeknowledge representationtotal preordersfixed binary relations over theoriesuniform revision

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• On uniform belief revision
• Consistency-based revision of structured belief bases
• New operators for theory change
• New foundations for a relational theory of theory-revision
• Infinitary belief revision

Cites work

• scientific article; zbMATH DE number 4168658 (Why is no real title available?)
• scientific article; zbMATH DE number 1333624 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• scientific article; zbMATH DE number 2120511 (Why is no real title available?)
• A panorama of iterated revision
• An investigation of parametrized difference revision operators
• Constructive modelings for theory change
• Frontiers in belief revision
• Kinetic Consistency and Relevance in Belief Revision
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• On uniform belief revision
• Propositional knowledge base revision and minimal change
• Relevance in belief revision
• Two modellings for theory change

Cited in

(7)

• Revision operators with compact representations
• Functional vs. Relational Approaches to Belief Revision
• New operators for theory change
• Deductive belief change
• Modelling belief-revision functions at extended languages
• Constructive modelings for theory change
• Defining selection functions

This page was built for publication: Theory-relational belief revision

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