Propositional update operators based on formula/literal dependence

DOI10.1145/2499937.2499945MaRDI QIDQ2946712zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Jérôme Lang, Pierre Marquis

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL http://oatao.univ-toulouse.fr/12416/1/Herzig_12416.pdf

zbMATH Keywords

computational complexityknowledge representationupdate

Mathematics Subject Classification ID

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

Recommendations

• Belief update within propositional fragments
• Propositional belief base update and minimal change
• Compositional belief update
• Relevance in belief update
• Deriving properties of belief update from theories of action

Cited in

(8)

• Deriving properties of belief update from theories of action
• scientific article; zbMATH DE number 1696578 (Why is no real title available?)
• First-order Generalization of the MPMA Belief Update Operator
• Lost in translation: language independence in propositional logic -- application to belief change
• Actions, belief update, and DDL
• On quantifying literals in Boolean logic and its applications to explainable AI
• Belief merging by examples
• Reasoning about action and change

This page was built for publication: Propositional update operators based on formula/literal dependence

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