A Set of Operators for Stratified Belief Bases

Abstract

This work presents a set of change operators that can be defined in a stratied belief base, which is a belief base where the beliefs stored in it are assigned a value and each stratum stores all the beliefs that have the same value attached. The central idea is to provide a complete set of operations and a way of reasoning over stratified belief bases. We propose pertinent constructions and suggest practical applications.