A 3D Interpretation System Based on Consistent Labeling of a Set of Propositions. Application to the Interpretation of Straight Line Correspondences

We propose a 3D interpretation system where knowledge is represented by a set of propositions, and where interpretation and truth maintenance are based on a consistent labeling of this set of propositions. The basic concepts are illustrated on the problem of 3D interpretation of image straight line correspondences.

[1]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[2]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[3]  Amar Mitiche,et al.  Interpretation of straight line correspondences using angular relations , 1989, Pattern Recognit..

[4]  Amar Mitiche,et al.  Interpreting 3D lines , 1990 .

[5]  Olivier D. Faugeras,et al.  Counting straight lines , 1989, Comput. Vis. Graph. Image Process..

[6]  Amar Mitiche,et al.  A Knowledge-Based Intelligent System for Real World Interpretation , 1989, IAS.

[7]  J. Dekleer.  An assumption-based TMS , 1986 .

[8]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..