Temporal application of weighted knowledge base revision

Abstract

The propositional revision operator is a special theory change operator. In this paper we give examples for the generalized propositional revision operator in the weighted case. The examples are new not only from the point of view of the technique of the construction of a concrete revision operator for weighted knowledge bases, but also in their semantics. Furthermore, the application shows that under the given semantic the usage of a revision operator for weighted knowledge bases can solve also the update problem in some cases.