Abstract
Symbolic reasoning and data interpretation often coexist in Autonomous Systems as formally separate entities. In order to bridge the gap between them, a well-founded calculus based on a many-valued logic is introduced. This formalism preserves the ability to perform deductions on the exact abstract knowledge and it allows to reason on the uncertain knowledge acquired through a learning process. Sonar-sensorized mobile robotics provides a meaningful case study.
Preview
Unable to display preview. Download preview PDF.
References
J.L. Bell: Boolean Valued Models and Independence Proofs in Set Theory, 2nd ed. Oxford: Oxford University Press 1985
G. Chemello, E. Pagello, C. Sossai, L. Stocchiero: Reasoning and Planning on Sensor Data: an Application of a Many-Valued Logic. Proc. 23rd ISIR, Barcelona 1992, 61–66
G. Chemello, C. Sossai, G. Trainito: A Homogeneous Formalism for Reasoning and Learning in Mobile Robotics. Proc. IROS '93, Yokohama 1993
P.R. Halmos: Measure Theory. New York: Van Nostrand 1950
J.J. Leonard, H.F. Durrant-Whyte: Mobile Robot Localization by Tracking Geometric Beacons. RA 7(3), 376–382, June 1991
J.J. Leonard, H.F. Durrant-Whyte: Directed Sonar Sensing for Mobile Robot Navigation. Boston: Kluwer Academic Publishers 1992
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braggiotti, A., Chemello, G., Sossai, C., Trainito, G. (1993). Integrating the symbolic and the sub-symbolic level in sonar-based navigation. In: Torasso, P. (eds) Advances in Artificial Intelligence. AI*IA 1993. Lecture Notes in Computer Science, vol 728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57292-9_46
Download citation
DOI: https://doi.org/10.1007/3-540-57292-9_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57292-3
Online ISBN: 978-3-540-48038-9
eBook Packages: Springer Book Archive