Prime forms and minimal change in propositional belief bases

DOI10.1007/s10472-010-9206-xzbMath1219.03017OpenAlexW2094245326MaRDI QIDQ622590

Laurent Perrussel, Guilherme Bittencourt, Jerusa Marchi

Publication date: 3 February 2011

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-010-9206-x

zbMATH Keywords

belief revisionprime implicatesbelief updateprime implicants

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

Relevant Minimal Change in Belief Update ⋮ The incremental satisfiability problem for a two conjunctive normal form

Cites Work

• Optimizing the clausal normal form transformation
• Propositional relevance through letter-sharing
• An incremental method for generating prime implicants/implicates
• Two modellings for theory change
• A unified model of qualitative belief change: a dynamical systems perspective
• Propositional knowledge base revision and minimal change
• CNF and DNF considered harmful for computing prime implicants/implicates
• Implementation of belief change operators using BDDs
• Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
• A textbook of belief dynamics. Theory change and database updating
• Propositional belief base update and minimal change
• On the Semantics of Arbitration
• On k-Term DNF with the Largest Number of Prime Implicants
• Prime Implicates and Prime Implicants: From Propositional to Modal Logic
• On the logic of theory change: Partial meet contraction and revision functions
• Advances in Artificial Intelligence – SBIA 2004
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Prime forms and minimal change in propositional belief bases