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 changefixed binary relations over theoriesknowledge representationtotal preordersuniform revision

Mathematics Subject Classification ID

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

Review text

In this paper, the authors extend the family of uniform-revision operators (originally presented by [\textit{M.-A. Williams} (ed.) and \textit{H. Rott} (ed.), Frontiers in belief revision. Dordrecht: Kluwer Academic Publishers. 165--196 (2001; Zbl 0982.00012)] and deeply studied later by \textit{T. Aravanis} [J. Log. Comput. 30, No. 7, 1357--1376 (2020; Zbl 1464.03014)]). The new family of operators is called theory-relational revision operators (TR operators, for short). TR operators are a sub-class of the AGM revision functions. Each TR operator is uniquely induced from a single fixed relation over consistent theories of the language, called strong theory-relation, which essentially encodes the dynamics of a domain. TR is presented in terms of axioms, two constructive methods (partial-meet, and epistemic-entrenchment) and a semantic in terms of preorder is provided. The extension is characterized by the standard AGM revision postulates (K*1)--(K*8) and the new postulate (TR). In terms of pre-orders, the AGM models is extended by condition (TF) and in epistemic entrenchment by condition (TE).

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

• A panorama of iterated revision
• An investigation of parametrized difference revision operators
• Constructive modelings for theory change
• Frontiers in belief revision
• 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?)
• 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

(8)

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

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)