Title :
Temporal application of weighted knowledge base revision
Author :
Benczur, A. ; Novák, Ágnes B. ; Revesz, Peter Z.
Author_Institution :
Dept. of Gen. Comput., Eotvos Univ., Budapest, Hungary
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
Keywords :
database management systems; database theory; formal logic; knowledge based systems; propositional revision operator; semantics; update problem; weighted knowledge base revision; Application software; Computer science; Concrete; Information technology; Logic; Tiles;
Conference_Titel :
Intelligent Engineering Systems, 1997. INES '97. Proceedings., 1997 IEEE International Conference on
Conference_Location :
Budapest
Print_ISBN :
0-7803-3627-5
DOI :
10.1109/INES.1997.632421
