A syntactical approach to data fusion

  • Paolo Bison
  • Gaetano Chemello
  • Claudio Sossai
  • Gaetano Trainito
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1244)


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.


Data Fusion Proof System Sequent Calculus Completeness Theorem Autonomous Mobile Robot 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Be85]
    Bell J.L.: Boolean-valued models and independence proofs in set theory. Oxford University Press, Oxford (1985)Google Scholar
  2. [BT96]
    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. [BS96]
    Boldrin L., Sossai C.: Local Possibilistic Logic. Journal of Applied Non-Classical Logic (to appear) ( Scholar
  4. [DLP91]
    Dubois D., Lang J., Prade H.: Fuzzy sets in approximate reasoning, Part 2: Logical approaches. Fuzzy Sets and Systems 40 (1991) 203–244Google Scholar
  5. [DLP94]
    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. [DP94]
    Dubois D., Prade H.: Possibility theory and data fusion in poorly informed environments. Control Eng. Practice 2:5 (1994) 811–823Google Scholar
  7. [Gi87]
    Girard J.Y.: Linear logic. Theoretical computer science 50 (1987) 1–101Google Scholar
  8. [HHV95]
    Hajek P., Harmancova D., Verbrugge R.: A Qualitative Fuzzy Possibilistic Logic. International Journal of Approximate Reasoning 12 (1995) 1–19Google Scholar
  9. [MM92]
    Mac Lane S., Moerdijk I.: Sheaves in geometry and logic: a first introduction to topos theory. Springer-Verlag, New York (1992)Google Scholar
  10. [Pa79]
    Pavelka L.: On fuzzy logic I, II, III. Zeitschr. f. math. Logik und Grundlagen d. Math 25 (1979) 45–52; 119–131; 447–464Google Scholar
  11. [TZ71]
    Takeuti G., Zaring W.M.: Introduction to Axiomatic Set Theory. Graduate Texts in Mathematics 1, Springer-Verlag, New York (1971)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Paolo Bison
    • 1
  • Gaetano Chemello
    • 1
  • Claudio Sossai
    • 1
  • Gaetano Trainito
    • 1
  1. 1.Institute of Systems Science and Biomedical Engineering of the National Research CouncilLadseb-CNRPadovaItaly

Personalised recommendations