TY - RPRT T1 - A model for processing updates with inconsistent information on propositional databases Y1 - 2008 A1 - Primiero, Giuseppe AB -

In the present paper a model for information update on propositional databases is formulated using the standard format of Adaptive Logics. The core structure of the update procedure is represented by the ab- normal expressions of the language that formalize received information contradicting previous contents. The strategy de ned to restrict abnor- malities works by establishing, at each stage of the process, the most re- cent and reliable information, updating constantly the base and removing older data.

PB - College Publications ER -