A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
A test battery is proposed that can be used to characterize the behaviour of updating systems. The battery is based on 20 rationality postulates of the types developed in studies of theory change and nonmonotonic reasoning. These postulates are arranged into seven sequences with increasing strength, each of which measures the degree of conformity with a basic desideratum for database updating. Some of these desiderata are partly in conflict, and they cannot all be satisfied to the highestdoi:10.1016/0004-3702(95)00127-1 fatcat:a23jer2jorhpzpcc632luox67e