matching method is composed on four steps. Firstly,
a Kalman filter fuses the GPS and the odometric
measurements to estimate a position of the vehicle.
Secondly, we use the estimated position and the
variance-covariance information given by Kalman
filter in order to define a zone in which
Geographical Information System (GIS) will use it
and we preselect the segments on which the vehicle
is likely to be. Thirdly, we select among the
candidate segments the most credible segment one
using the TBM. Finally, we build a map observation
starting from the most credible segment then to
integrate it, in the formalism of Kalman as a second
equation of observation. Here, we are interested in
the second and the third steps of this method which
represent our contribution.
The paper is organized as follows. In section 2, we
recall the main concepts of Belief theory and their
interpretation in the setting of TBM. In section 3, we
present the adaptation of this model for the segment
selection problem. Finally, experimental results will
be presented in section 4.
2 THE TRANSFERABLE BELIEF
MODEL
The Transferable Belief Model (TBM) provides a
flexible and very powerful representation of
quantified beliefs. The model was introduced by
Smets (Smets, 2002) and based on the belief
function theory developed by Shafer (Shafer, 1976).
But, it is completely unrelated for any underlying
probabilistic constraints as it is the case with the
model of Dempster (Dempster, 1967) and for the
hint model (Kohlas, 1995). In the TBM, two-level
model for belief has been proposed: a credal level
where belief is entertained, and a pignistic level
where beliefs are used to make decisions.
2.1 Credal Level: Modeling of
Knowledge
At the credal level, belief is quantified by belief
functions. Let
Θ be a finite set of elements called
the frame of discernment. It is composed of mutually
exclusive elements called hypotheses. By definition,
the mapping bel:
Θ →[0,1] is a belief function if
and only if there exists a basic belief assignment
function (bba) m:
m:
Θ
2
→[0,1] (1)
such that:
0)( 1)(
1
,
===
=Θ⊆∀
∑
≠⊆
⊆
φ
φ
belm(B)Abel
m(A)A
BAB
ΘA
(2)
The values m(A), are called the basic belief mass and
represent the minimal (necessary) support for A and
cannot be associated with any of the sub-
propositions on the basis of available evidence
(Smets, 1994). The belief (bel(A)) of a proposition
A is therefore a sum of all the belief masses
allocated to sub-propositions B. If further the piece
of evidence brought by a source of information
(sensor, agent, etc) shows that
AB ⊆
is true, then
the belief mass
m(A) initially allocated to A is
transferred to
B
that is where the name of
TBM comes from. So far we assumed that only one
of the propositions in
is true (“close-world”
assumption) this can be generalized by letting that
none of the propositions considered in
Θ could be
true (“open-world”). In this case, a positive basic
mass can be given to an empty set
. The term )m(
represents a degree of belief that cannot be given to
any of the propositions in
Θ . The conjunctive rule
of combination of two pieces of evidence on
represented by the two bba m
1
and m
2
is:
)()()(
2121
Θ⊆∀=⊕
=∩
ACmBmAmm
ACB
(3)
)()()(
2121
=∩
=⊕
φ
φ
CB
CmBmmm
(4)
The value
)(
21
φ
mm ⊕
represents the incoherence
between the different sources of information. It can
be interpreted as a measure of the conflict between
the sources.
2.2 Pignistic Level: Decision Making
At the pignistic level, belief is quantified by
probability functions. For most applications, a
decision is generally, to be taken in favor of a simple
hypothesis. Within the context of the TBM, Smets
defines and justifies the use of the pignistic decision
rule (Shafer, 1976; Smets, 1994). Let
BetP be the
pignistic probability distribution derived from the
basic belief assignment (bba)
m. BetP is defined by:
USING THE TRANSFERABLE BELIEF MODEL TO VEHICLE NAVIGATION SYSTEM
11