Consistency maintenance in the REVgraph environment

摘要

The REVgraph is a data structure designed to represent a three-dimensional model of a scene. The nodes of the graph are regions, edges and vertices. The information in the graph is to be upgraded by a reasoning system, which may produce contradictory data. This problem requires a truth maintenance approach; after examining existing systems, the authors developed their own, tailored to the REVgraph environment.