Belief update within propositional fragments

DOI10.1007/978-3-319-20807-7_15MaRDI QIDQ3451174zbMATH OpenOpenAlexFDO

Authors Nadia Creignou, Raida Ktari, Odile Papini

Publication date 10 November 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20807-7_15

zbMATH Keywords

belief changeknowledge representationreasoningfragments of propositional logicbelief update

Mathematics Subject Classification ID

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

Recommendations

• Belief Update within Propositional Fragments
• Belief revision within fragments of propositional logic
• Belief merging within fragments of propositional logic
• Belief merging within fragments of propositional logic
• Belief contraction within fragments of propositional logic

Cites work

• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 1285156 (Why is no real title available?)
• scientific article; zbMATH DE number 1546503 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• A Unified View of Belief Revision and Update
• A unified model of qualitative belief change: a dynamical systems perspective
• Belief revision and update: Complexity of model checking
• Belief revision in Horn theories
• Belief revision within fragments of propositional logic
• Compositional belief update
• Entrenchment-based Horn contraction
• Horn clause contraction functions
• Inter-definability of Horn contraction and Horn revision
• Merging in the Horn fragment
• On sentences which are true of direct unions of algebras
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• On the logic of theory change: Partial meet contraction and revision functions
• Prime implicates and relevant belief revision
• Propositional belief base update and minimal change
• Propositional knowledge base revision and minimal change
• Semantical and computational aspects of Horn approximations
• The complexity of satisfiability problems

Cited in

(11)

• scientific article; zbMATH DE number 1759389 (Why is no real title available?)
• Propositional update operators based on formula/literal dependence
• Reasoning about action and change
• Belief Update within Propositional Fragments
• Propositional belief base update and minimal change
• Implementation of belief change operators using BDDs
• Belief merging within fragments of propositional logic
• Belief merging within fragments of propositional logic
• Belief contraction within fragments of propositional logic
• First-order Generalization of the MPMA Belief Update Operator
• Belief revision within fragments of propositional logic

This page was built for publication: Belief update within propositional fragments

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