Lost in translation: language independence in propositional logic -- application to belief change

DOI10.1016/J.ARTINT.2013.09.005MaRDI QIDQ490446zbMATH OpenOpenAlexFDO

Authors Pierre Marquis, Nicolas Schwind

Publication date 27 August 2015

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2013.09.005

zbMATH Keywords

belief changelanguage independence

Mathematics Subject Classification ID

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

Recommendations

• The rôle of language in belief revision
• Belief merging within fragments of propositional logic
• Propositional update operators based on formula/literal dependence
• Belief merging within fragments of propositional logic
• Conditional independence in propositional logic.

Cites work

• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 140406 (Why is no real title available?)
• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• Boolean functions as models for quantified Boolean formulas
• Conditional independence in propositional logic.
• Merging Information Under Constraints: A Logical Framework
• On propositional definability
• On the complexity of Boolean unification
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional knowledge base revision and minimal change
• Propositional relevance through letter-sharing
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• The rôle of language in belief revision
• \(\text{DA}^2\) merging operators

Cited in

(2)

• Main issues in belief revision, belief merging and information fusion
• Elementary belief revision operators

This page was built for publication: Lost in translation: language independence in propositional logic -- application to belief change

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