Abstract
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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was supported in part by the Natural Sciences and Engineering Research Council of Canada under grant NSERC-A4234
References
J. Doyle, “A Truth Maintenance System”, Artificial Intelligence, vol. 12, pp. 231–272, 1979.
J. de Kleer, “An Assumption-based TMS”, Artificial Intelligence, vol. 28, pp. 127–162, 1986.
J.P. Martins, S.C. Shapiro, “A Model for Belief Revision”, Artificial Intelligence, vol. 35, pp. 25–79, 1988.
R. Laganière, A. Mitiche, “A Knowledge-based Intelligent System for Real World Interpretation”, Proc. of Intelligent Autonomous Systems Conference, Amsterdam, The Netherlands, pp. 772–782, december 1989.
R. Laganière, “Système intelligent pour l'interprétation de séquences d'images”, Master thesis, INRS-Télécommunications, 1989.
A. Mitiche, O. Faugeras, J. Aggarwal, ‘Counting Straight Lines,’ Computer Vision Graphics and Image Processing, no 47, pp. 353–360, 1989.
A. Mitiche, G. Habelrih, ‘Interpretation of Straight Line Correspondences Using Angular Relations,’ Pattern Recognition, 22, No.3, pp. 299–308, 1989.
A. Mitiche, R. Laganière, “Interpreting 3-D Lines”, Traditional and Non-traditional Robotic Sensors, Springer Verlag 1990, (proc. of the NATO Advanced Research Workshop on Traditional and Non-traditional Robotic Sensors, Maratea, Italy, august 1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Laganière, R., Mitiche, A. (1990). A 3D interpretation system based on consistent labeling of a set of propositions. Application to the interpretation of straight line correspondences. In: Faugeras, O. (eds) Computer Vision — ECCV 90. ECCV 1990. Lecture Notes in Computer Science, vol 427. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014901
Download citation
DOI: https://doi.org/10.1007/BFb0014901
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52522-6
Online ISBN: 978-3-540-47011-3
eBook Packages: Springer Book Archive