Prime Implicate-based Belief Revision Operators
Meghyn Bienvenu, Herzig Andreas, Guilin Qi · Frontiers in artificial intelligence and applications · 2008
A belief revision operator can be seen as a function which takes as input a set of beliefs K and an input formula ϕ and outputs a new set of beliefs K ⋆ ϕ. Many of the belief revision schemes that have been defined in the literature require additional input. The extra information