//------------------------------------------------------------------------------------------------
/// <summary>
/// Checks if the current model will produce valid mass functions.
/// </summary>
/// <returns>Returns true if the model will produce valid mass functions, false otherwise.</returns>
public bool IsValid()
{
//Build the list of points:
List <DiscreteSensorFocalPoint> list = new List <DiscreteSensorFocalPoint>();
foreach (DiscreteSensorFocalBelief fb in _focalBeliefs)
{
foreach (DiscreteSensorFocalPoint bp in fb.Belief)
{
if (!list.Contains(bp))
{
list.Add(bp);
}
}
}
list.Sort();
//Build a mass function for each point and check it is valid:
foreach (DiscreteSensorFocalPoint bp in list)
{
DiscreteMassFunction evidence = new DiscreteMassFunction();
foreach (DiscreteSensorFocalBelief fb in FocalBeliefs)
{
evidence.AddMass(fb.Element, fb.GetEvidence(bp.SensorMeasure));
}
if (!evidence.HasAValidSum() || !evidence.HasValidValues())
{
return(false);
}
}
return(true);
}
//------------------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------------------
#region Methods
/*
* Methods:
*/
/// <summary>
/// Gives a (potentially non-valid) mass function corresponding of the propagation of the belief
/// associated to the "from" element given the mass associated to it.
/// </summary>
/// <param name="mass">The mass associated to the element from which we propagate belief.</param>
/// <returns>Returns a (potentially non-valid) mass function corresponding to the
/// propagation of the belief associated to the "from" element given the mass associated to it.</returns>
public DiscreteMassFunction GetEvidence(double mass)
{
DiscreteMassFunction toReturn = new DiscreteMassFunction();
for (int i = 0; i < _to.Count; i++)
{
toReturn.AddMass(_to[i].Element, _to[i].GetMass(mass));
}
return(toReturn);
}
//------------------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------------------
/*
* Methods:
*/
/// <summary>
/// Propagates the given mass function to the new frame of discernment using the evidential mapping.
/// </summary>
/// <param name="m">The mass function to propagate.</param>
/// <returns>Returns a new mass function defined on the recipient frame of discernment.</returns>
public DiscreteMassFunction GetEvidence(DiscreteMassFunction m)
{
DiscreteMassFunction evidence = new DiscreteMassFunction();
foreach (FocalElement <DiscreteElement> e in m)
{
foreach (DiscreteMappingVector v in _vectors)
{
if (e.Element.Equals(v.From))
{
DiscreteMassFunction partOfEvidence = v.GetEvidence(e.Value);
foreach (FocalElement <DiscreteElement> focal in partOfEvidence)
{
evidence.AddMass(focal.Element, focal.Value);
}
}
}
}
return(evidence);
}
//------------------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------------------
//------------------------------------------------------------------------------------------------
/*
* Methods:
*/
#region Belief model methods
/// <summary>
/// Gets the raw mass function from the given sensor measure. No option is applied here as
/// it requires data associated to a specific sensor. (Temporisations and variation are thus
/// applied in <see cref="DiscreteSensorData"/>.
/// </summary>
/// <param name="measure">The sensor measure which the belief is inferred from.</param>
/// <returns>Returns a new mass function given the received sensor measure.</returns>
public DiscreteMassFunction GetEvidence(double?measure)
{
// ----
//Build the new mass function:
// ---
DiscreteMassFunction evidence = new DiscreteMassFunction();
if (measure != null)
{
foreach (DiscreteSensorFocalBelief fb in FocalBeliefs)
{
evidence.AddMass(fb.Element, fb.GetEvidence((double)measure));
}
}
else
{
evidence = DiscreteMassFunction.GetVacuousMassFunction(ElementSize);
}
// ---- /Building ---
return(evidence);
}
public static void TestCase()
{
StringReferenceList refList = new StringReferenceList("Yes", "No");
DiscreteMassFunction m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.1);
m1.AddMass(new DiscreteElement(2, 2), 0.3);
m1.AddMass(new DiscreteElement(2, 3), 0.6);
m1.AddMass(new DiscreteElement(2, 3), 0.4);
Console.WriteLine("\n\n" +
"+--------------------------------------------------------------------+\n" +
"| DiscreteMassFunction Tests |\n" +
"+--------------------------------------------------------------------+"
);
Console.WriteLine(refList);
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine(m1);
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Removing 0.4 to the total ignorance.");
m1.RemoveMass(DiscreteElement.GetCompleteElement(2), 0.4);
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
DiscreteElement yes = new DiscreteElement(2, 1);
DiscreteElement no = new DiscreteElement(2, 2);
DiscreteElement yesUNo = new DiscreteElement(2, 3);
Console.WriteLine("Belief tests:");
Console.WriteLine("bel({0}) = {1} (should be 0.1)", yes, m1.Bel(yes));
Console.WriteLine("bel({0}) = {1} (should be 0.3)", no, m1.Bel(no));
Console.WriteLine("bel({0}) = {1} (should be 1.0)", yesUNo, m1.Bel(yesUNo));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("BetP tests:");
Console.WriteLine("BetP({0}) = {1} (should be 0.4)", yes, m1.BetP(yes));
Console.WriteLine("BetP({0}) = {1} (should be 0.6)", no, m1.BetP(no));
Console.WriteLine("BetP({0}) = {1} (should be 1.0)", yesUNo, m1.BetP(yesUNo));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Plausibility tests:");
Console.WriteLine("pl({0}) = {1} (should be 0.7)", yes, m1.Pl(yes));
Console.WriteLine("pl({0}) = {1} (should be 0.9)", no, m1.Pl(no));
Console.WriteLine("pl({0}) = {1} (should be 1.0)", yesUNo, m1.Pl(yesUNo));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Commonality tests:");
Console.WriteLine("q({0}) = {1} (should be 0.7)", yes, m1.Q(yes));
Console.WriteLine("q({0}) = {1} (should be 0.9)", no, m1.Q(no));
Console.WriteLine("q({0}) = {1} (should be 0.6)", yesUNo, m1.Q(yesUNo));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Conditioning test:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("Conditioning by {0}...", yes.ToString(refList));
m1 = m1.Conditioning(yes);
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Conditioning test:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("Conditioning by {0}...", no.ToString(refList));
m1 = m1.Conditioning(no);
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.1);
m1.AddMass(new DiscreteElement(2, 2), 0.3);
m1.AddMass(new DiscreteElement(2, 3), 0.6);
Console.WriteLine("Conditioning test:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("Conditioning by {0}...", no.ToString(refList));
m1 = m1.Conditioning(no);
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Conditioning test:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("Conditioning by {0}...", yes.ToString(refList));
m1 = m1.Conditioning(yes);
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.1);
m1.AddMass(new DiscreteElement(2, 2), 0.3);
m1.AddMass(new DiscreteElement(2, 3), 0.6);
Console.WriteLine("Weakening test:");
Console.WriteLine(m1.ToString(refList));
m1 = m1.Weakening(0.1);
Console.WriteLine("Weakened by with alpha = 0.1");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.1);
m1.AddMass(new DiscreteElement(2, 2), 0.3);
m1.AddMass(new DiscreteElement(2, 3), 0.6);
Console.WriteLine("Discounting test:");
Console.WriteLine(m1.ToString(refList));
m1 = m1.Discounting(0.1);
Console.WriteLine("Disounting by with alpha = 0.1");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.0);
m1.AddMass(new DiscreteElement(2, 2), 0.3);
m1.AddMass(new DiscreteElement(2, 3), 0.7);
Console.WriteLine("Cleaning test:");
Console.WriteLine(m1.ToString(refList));
m1.Clean();
Console.WriteLine("After cleaning:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.33);
m1.AddMass(new DiscreteElement(2, 2), 0.66);
m1.AddMass(new DiscreteElement(2, 3), 1.01);
Console.WriteLine("Normalization test");
Console.WriteLine(m1.ToString(refList));
m1.Normalise();
Console.WriteLine("After normalization:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine("----------------------------------------------------------------------");
m1 = new DiscreteMassFunction();
m1.AddMass(new DiscreteElement(2, 1), 0.2);
m1.AddMass(new DiscreteElement(2, 2), 0.2);
m1.AddMass(new DiscreteElement(2, 3), 0.6);
DiscreteMassFunction m2 = new DiscreteMassFunction();
m2.AddMass(new DiscreteElement(2, 1), 0.2);
m2.AddMass(new DiscreteElement(2, 2), 0.6);
m2.AddMass(new DiscreteElement(2, 3), 0.2);
Console.WriteLine("Smets combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationSmets(m2));
Console.WriteLine("----------------------------------------------------------------------");
DiscreteMassFunction m3 = new DiscreteMassFunction();
m3.AddMass(new DiscreteElement(2, 1), 0.8);
m3.AddMass(new DiscreteElement(2, 2), 0.2);
Console.WriteLine("Smets combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationSmets(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Dempster combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationDempster(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Dempster combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationDempster(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Disjunctive combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationDisjunctive(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Disjunctive combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationDisjunctive(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Yager combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationYager(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Yager combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationYager(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Average combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationAverage(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Average combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationAverage(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Murphy combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationMurphy(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Murphy combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationMurphy(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Chen combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationChen(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Chen combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationChen(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("GetTreeOfFocals test with previous mass functions:");
List <List <DiscreteElement> > tree = DiscreteMassFunction.GetTreeOfFocals(m1, m2);
foreach (List <DiscreteElement> list in tree)
{
Console.Write("< ");
foreach (DiscreteElement e in list)
{
Console.Write("{0} ", e);
}
Console.Write(">\n");
}
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("DuboisPrade combination test:");
Console.WriteLine("m1: {0}\nm2: {1}", m1, m2);
Console.WriteLine("Combination:\n{0}", m1.CombinationDuboisPrade(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("GetTreeOfFocals test with previous mass functions:");
tree = DiscreteMassFunction.GetTreeOfFocals(m1, m2, m3);
foreach (List <DiscreteElement> list in tree)
{
Console.Write("< ");
foreach (DiscreteElement e in list)
{
Console.Write("{0} ", e);
}
Console.Write(">\n");
}
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("DuboisPrade combination test:");
Console.WriteLine("Adding a mass function: {0}", m3);
Console.WriteLine("Combination:\n{0}", m1.CombinationDuboisPrade(m2, m3));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Distance trivial test:\n{0}", m1);
Console.WriteLine("Distance with itself: {0}", m1.Distance(m1));
Console.WriteLine("----------------------------------------------------------------------");
DiscreteMassFunction trivial1 = new DiscreteMassFunction();
trivial1.AddMass(new DiscreteElement(3, 0), 1);
DiscreteMassFunction trivial2 = new DiscreteMassFunction();
trivial2.AddMass(new DiscreteElement(3, 7), 1);
Console.WriteLine("Distance trivial test 2:\n{0}\nand {1}", trivial1, trivial2);
Console.WriteLine("Distance between both: {0}", trivial1.Distance(trivial2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Distance test:\n{0}\n{1}", m1, m2);
Console.WriteLine("Distance between both: {0}", m1.Distance(m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Distance test:\n{0}\n{1}", m1, m2);
Console.WriteLine("Distance between both + m1: {0}", m1.Distance(m1, m2));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("Auto-conflict test:\n{0}", m1);
Console.WriteLine("Auto-conflict:\nDegree 1: {0}", m1.AutoConflict(1));
Console.WriteLine("Degree 2: {0}", m1.AutoConflict(2));
Console.WriteLine("Degree 3: {0}", m1.AutoConflict(3));
Console.WriteLine("Degree 4: {0}", m1.AutoConflict(4));
Console.WriteLine("Degree 5: {0}", m1.AutoConflict(5));
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("GetMax test:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine();
List <FocalElement <DiscreteElement> > max;
max = m1.GetMax(m1.M, 1);
Console.WriteLine("Max of m(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.M, 2);
Console.WriteLine("Max of m(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.Bel, 1);
Console.WriteLine("Max of bel(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.Bel, 2);
Console.WriteLine("Max of bel(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.BetP, 1);
Console.WriteLine("Max of BetP(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.BetP, 2);
Console.WriteLine("Max of BetP(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.Pl, 1);
Console.WriteLine("Max of pl(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.Pl, 2);
Console.WriteLine("Max of pl(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.Q, 1);
Console.WriteLine("Max of q(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
max = m1.GetMax(m1.Q, 2);
Console.WriteLine("Max of q(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in max)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine("----------------------------------------------------------------------");
Console.WriteLine("GetMin test:");
Console.WriteLine(m1.ToString(refList));
Console.WriteLine();
List <FocalElement <DiscreteElement> > min;
min = m1.GetMin(m1.M, 1);
Console.WriteLine("Min of m(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.M, 2);
Console.WriteLine("Min of m(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.Bel, 1);
Console.WriteLine("Min of bel(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.Bel, 2);
Console.WriteLine("Min of bel(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.BetP, 1);
Console.WriteLine("Min of BetP(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.BetP, 2);
Console.WriteLine("Min of BetP(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.Pl, 1);
Console.WriteLine("Min of pl(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.Pl, 2);
Console.WriteLine("Min of pl(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.Q, 1);
Console.WriteLine("Min of q(), maxCard = 1:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine();
min = m1.GetMin(m1.Q, 2);
Console.WriteLine("Min of q(), maxCard = 2:");
foreach (FocalElement <DiscreteElement> fe in min)
{
Console.WriteLine("Element: {0}, Value: {1}", fe.Element.ToString(refList), fe.Value);
}
Console.WriteLine("----------------------------------------------------------------------");
}