Can I read Sequent Calculus and Data Fusion on EtoBox?

Sequent Calculus and Data Fusion by Claudio Sossai; Paolo Bison; Gaetano Chemello is a Computer Science article available to read on EtoBox.

What is Sequent Calculus and Data Fusion about?

We present a formal method for data fusion, based on possibilistic logic. 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 o ce environment using a topological map. Each place in the map is characterized by a set of logical formulae axiomatizing both symbolic knowledge and uncertain information from the sensors. At each time instant during navigation, the necessity for each place is calculated using a function generated by a proof system based on sequent calculus. Several test runs using a real robot have shown the adequacy of the approach in interpreting and disambiguating the information coming from independent perceptual sources, in combination with symbolic knowledge.

Who reads Sequent Calculus and Data Fusion?

Author

Claudio Sossai; Paolo Bison; Gaetano Chemello

Publisher

Elsevier Science; Elsevier ; Elsevier BV (ISSN 0165-0114)

Published

2001

Language

EN

Field

Computer Science (Physical Sciences)