Skip to main content

A syntactical approach to data fusion

  • Invited Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1244))

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.

Unable to display preview. Download preview PDF.

References

  1. Bell J.L.: Boolean-valued models and independence proofs in set theory. Oxford University Press, Oxford (1985)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Dubois D., Lang J., Prade H.: Fuzzy sets in approximate reasoning, Part 2: Logical approaches. Fuzzy Sets and Systems 40 (1991) 203–244

    Google Scholar 

  5. 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)

    Google Scholar 

  6. Dubois D., Prade H.: Possibility theory and data fusion in poorly informed environments. Control Eng. Practice 2:5 (1994) 811–823

    Google Scholar 

  7. Girard J.Y.: Linear logic. Theoretical computer science 50 (1987) 1–101

    Google Scholar 

  8. Hajek P., Harmancova D., Verbrugge R.: A Qualitative Fuzzy Possibilistic Logic. International Journal of Approximate Reasoning 12 (1995) 1–19

    Google Scholar 

  9. Mac Lane S., Moerdijk I.: Sheaves in geometry and logic: a first introduction to topos theory. Springer-Verlag, New York (1992)

    Google Scholar 

  10. Pavelka L.: On fuzzy logic I, II, III. Zeitschr. f. math. Logik und Grundlagen d. Math 25 (1979) 45–52; 119–131; 447–464

    Google Scholar 

  11. Takeuti G., Zaring W.M.: Introduction to Axiomatic Set Theory. Graduate Texts in Mathematics 1, Springer-Verlag, New York (1971)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Dov M. Gabbay Rudolf Kruse Andreas Nonnengart Hans Jürgen Ohlbach

Rights and permissions

Reprints 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

Publish with us

Policies and ethics