Abstract
An extended version of the Logic of Possibility is proposed as the formal basis for a data-fusion technique. The basic concepts underlying the approach are summarized and discussed. The method has been applied to a real-world problem of noisy sensor data fusion: the position estimation of an autonomous mobile robot navigating in an approximately and partially known office environment. Several test runs have evidenced the adequacy of the approach in interpreting and disambiguating the information coming from two independent perceptual sources, in combination with abstract common-sense knowledge.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Bell J.L.: Boolean-valued models and independence proofs in set theory. Oxford University Press, Oxford (1985)
Bison P., Trainito G.: A Robot Duo for Cooperative Autonomous Navigation. In H. Asama, T. Fukuda, T. Arai and I. Endo (Eds.). Distributed Autonomous Robotic Systems 2, Springer Verlag, Saitama, Japan (1996)
Boldrin L., Sossai C.: Local Possibilistic Logic. Journal of Applied Non-Classical Logic (to appear) (http://www.ladseb.pd.cnr.it/infor/papers/jancl_BoSo.pdf)
Dubois D., Lang J., Prade H.: Fuzzy sets in approximate reasoning, Part 2: Logical approaches. Fuzzy Sets and Systems 40 (1991) 203–244
Dubois D., Lang J., Prade H.: Possibilistic logic. In: D. Gabbay, C. Hogger and J. Robinson (eds.). Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Clarendon Press (1994)
Dubois D., Prade H.: Possibility theory and data fusion in poorly informed environments. Control Eng. Practice 2:5 (1994) 811–823
Girard J.Y.: Linear logic. Theoretical computer science 50 (1987) 1–101
Hajek P., Harmancova D., Verbrugge R.: A Qualitative Fuzzy Possibilistic Logic. International Journal of Approximate Reasoning 12 (1995) 1–19
Mac Lane S., Moerdijk I.: Sheaves in geometry and logic: a first introduction to topos theory. Springer-Verlag, New York (1992)
Pavelka L.: On fuzzy logic I, II, III. Zeitschr. f. math. Logik und Grundlagen d. Math 25 (1979) 45–52; 119–131; 447–464
Takeuti G., Zaring W.M.: Introduction to Axiomatic Set Theory. Graduate Texts in Mathematics 1, Springer-Verlag, New York (1971)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bison, P., Chemello, G., Sossai, C., Trainito, G. (1997). A syntactical approach to data fusion. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035612
Download citation
DOI: https://doi.org/10.1007/BFb0035612
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive