Reviewing the Qualifiers of Imperfection in Geographic Information
Résumé
This chapter argues that the qualifiers of imperfection in geographic information can be reviewed in the highly formalized framework of AGM belief revision in knowledge engineering. It tackles the belief revision methods used for imperfect information, especially Bayesian revision (Bayes' theorem and Jeffrey's rule) and the alternatives in non‐probabilistic formalisms (Dempster's rule of combination in evidence theory, possibilistic conditioning in possibility theory). The chapter shows how the theories about the imperfect representation of spatial objects can be implemented from an operational point of view, to solve the issue of belief revision on available information. It also shows how revision operations may create imperfections in the set of beliefs. Afterward, the chapter considers the more general case in which clauses use from the very beginning formalisms employed for uncertain knowledge, and how revision operations may take advantage of these formalisms to reach revised and consistent states of uncertain beliefs.