A TEST BATTERY FOR RATIONAL DATABASE UPDATING

Authors
HANSSON SO
Citation
So. Hansson, A TEST BATTERY FOR RATIONAL DATABASE UPDATING, Artificial intelligence, 82(1-2), 1996, pp. 341-352
Citations number
22
Categorie Soggetti
Computer Sciences, Special Topics","Computer Science Artificial Intelligence",Ergonomics
Journal title
Artificial intelligence → ACNP
ISSN journal
00043702
Volume
82
Issue
1-2
Year of publication
1996
Pages
341 - 352
Database
ISI
SICI code
0004-3702(1996)82:1-2<341:ATBFRD>2.0.ZU;2-F
Abstract
A test battery is proposed that can be used to characterize the behavi our of updating systems. The battery is based on 20 rationality postul ates of the types developed in studies of theory change and nonmonoton ic reasoning. These postulates are arranged into seven sequences with increasing strength, each of which measures the degree of conformity w ith a basic desideratum for database updating. Some of these desiderat a are partly in conflict, and they cannot all be satisfied to the high est degree. Mathematical characterizations are given of how far they c an be combined.