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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call