Belief change and 3-valued logics: Characterization of 19,683 belief change operators

DOI10.1613/jair.1.12091zbMath1490.68210OpenAlexW3096918121MaRDI QIDQ5130019

Ramón Pino Pérez, Nerio Borges

Publication date: 3 November 2020

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.12091

zbMATH Keywords

belief revisionbelief update

Mathematics Subject Classification ID

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

Cites Work

• A simple modal logic for belief revision
• Iterated belief revision, revised
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• Iterated revision and minimal change of conditional beliefs
• On the logic of theory change: Partial meet contraction and revision functions
• On notation for ordinal numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Belief change and 3-valued logics: Characterization of 19,683 belief change operators