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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have