Examples of AssignmentProposition

Examples of aima.core.probability.proposition.AssignmentProposition

45
46
47
48
49
50
51
52
53
54
55
56
    // AIMA3e pg. 533
    // <b>P</b>(Rain | Cloudy = true, WetGrass = true)
    BayesianNetwork bn = BayesNetExampleFactory
        .constructCloudySprinklerRainWetGrassNetwork();
    AssignmentProposition[] e = new AssignmentProposition[] {
        new AssignmentProposition(ExampleRV.CLOUDY_RV, Boolean.TRUE),
        new AssignmentProposition(ExampleRV.WET_GRASS_RV, Boolean.TRUE) };
    // sample P(Sprinkler | Cloudy = true) = <0.1, 0.9>; suppose
    // Sprinkler=false
    // sample P(Rain | Cloudy = true) = <0.8, 0.2>; suppose Rain=true
    MockRandomizer r = new MockRandomizer(new double[] { 0.5, 0.5 });
View Full Code Here

Examples of aima.core.probability.proposition.AssignmentProposition

41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);

    // AIMA3e pg. 493
    // P(Cavity | toothache) = <0.6, 0.4>
    d = bayesInference.ask(new RandomVariable[] { ExampleRV.CAVITY_RV },
        new AssignmentProposition[] { new AssignmentProposition(
            ExampleRV.TOOTHACHE_RV, true) }, bn);

    // System.out.println("P(Cavity | toothache)=" + d);
    Assert.assertEquals(2, d.getValues().length);
    Assert.assertEquals(0.6, d.getValues()[0],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);
    Assert.assertEquals(0.4, d.getValues()[1],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);

    // AIMA3e pg. 497
    // P(Cavity | toothache AND catch) = <0.871, 0.129>
    d = bayesInference
        .ask(new RandomVariable[] { ExampleRV.CAVITY_RV },
            new AssignmentProposition[] {
                new AssignmentProposition(
                    ExampleRV.TOOTHACHE_RV, true),
                new AssignmentProposition(ExampleRV.CATCH_RV,
                    true) }, bn);

    // System.out.println("P(Cavity | toothache, catch)=" + d);
    Assert.assertEquals(2, d.getValues().length);
    Assert.assertEquals(0.8709677419354839, d.getValues()[0],
View Full Code Here

Examples of aima.core.probability.proposition.AssignmentProposition

78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
    // AIMA3e. pg. 514
    CategoricalDistribution d = bayesInference
        .ask(new RandomVariable[] { ExampleRV.ALARM_RV },
            new AssignmentProposition[] {
                new AssignmentProposition(
                    ExampleRV.BURGLARY_RV, false),
                new AssignmentProposition(
                    ExampleRV.EARTHQUAKE_RV, false),
                new AssignmentProposition(
                    ExampleRV.JOHN_CALLS_RV, true),
                new AssignmentProposition(
                    ExampleRV.MARY_CALLS_RV, true) }, bn);

    // System.out.println("P(Alarm | ~b, ~e, j, m)=" + d);
    Assert.assertEquals(2, d.getValues().length);
    Assert.assertEquals(0.5577689243027888, d.getValues()[0],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);
    Assert.assertEquals(0.44223107569721115, d.getValues()[1],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);

    // AIMA3e pg. 523
    // P(Burglary | JohnCalls = true, MaryCalls = true) = <0.284, 0.716>
    d = bayesInference
        .ask(new RandomVariable[] { ExampleRV.BURGLARY_RV },
            new AssignmentProposition[] {
                new AssignmentProposition(
                    ExampleRV.JOHN_CALLS_RV, true),
                new AssignmentProposition(
                    ExampleRV.MARY_CALLS_RV, true) }, bn);

    // System.out.println("P(Burglary | j, m)=" + d);
    Assert.assertEquals(2, d.getValues().length);
    Assert.assertEquals(0.2841718353643929, d.getValues()[0],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);
    Assert.assertEquals(0.7158281646356071, d.getValues()[1],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);

    // AIMA3e pg. 528
    // P(JohnCalls | Burglary = true)
    d = bayesInference.ask(
        new RandomVariable[] { ExampleRV.JOHN_CALLS_RV },
        new AssignmentProposition[] { new AssignmentProposition(
            ExampleRV.BURGLARY_RV, true) }, bn);
    // System.out.println("P(JohnCalls | b)=" + d);
    Assert.assertEquals(2, d.getValues().length);
    Assert.assertEquals(0.8490169999999999, d.getValues()[0],
        ProbabilityModel.DEFAULT_ROUNDING_THRESHOLD);
View Full Code Here

Examples of aima.core.probability.proposition.AssignmentProposition

22
23
24
25
26
27
28
29
30
31
32
  @Test
  public void testGibbsAsk_basic() {
    BayesianNetwork bn = BayesNetExampleFactory
        .constructCloudySprinklerRainWetGrassNetwork();
    AssignmentProposition[] e = new AssignmentProposition[] { new AssignmentProposition(
        ExampleRV.SPRINKLER_RV, Boolean.TRUE) };
    MockRandomizer r = new MockRandomizer(new double[] { 0.5, 0.5, 0.5,
        0.5, 0.5, 0.5, 0.6, 0.5, 0.5, 0.6, 0.5, 0.5 });

    GibbsAsk ga = new GibbsAsk(r);
View Full Code Here

Examples of aima.core.probability.proposition.AssignmentProposition

25
26
27
28
29
30
31
32
33
34
35
  @Test
  public void testPriorSample_basic() {

    BayesianNetwork bn = BayesNetExampleFactory
        .constructCloudySprinklerRainWetGrassNetwork();
    AssignmentProposition[] e = new AssignmentProposition[] { new AssignmentProposition(
        ExampleRV.SPRINKLER_RV, Boolean.TRUE) };
    MockRandomizer r = new MockRandomizer(new double[] { 0.1 });
    RejectionSampling rs = new RejectionSampling(new PriorSample(r));

    double[] estimate = rs.rejectionSampling(
View Full Code Here

Examples of aima.core.probability.proposition.AssignmentProposition

44
45
46
47
48
49
50
51
52
53
54
  public void testRejectionSampling_AIMA3e_pg532() {
    // AIMA3e pg. 532

    BayesianNetwork bn = BayesNetExampleFactory
        .constructCloudySprinklerRainWetGrassNetwork();
    AssignmentProposition[] e = new AssignmentProposition[] { new AssignmentProposition(
        ExampleRV.SPRINKLER_RV, Boolean.TRUE) };

    // 400 required as 4 variables and 100 samples planned
    double[] ma = new double[400];
    for (int i = 0; i < ma.length; i += 4) {
View Full Code Here

Examples of aima.core.probability.proposition.AssignmentProposition

176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
        return null; // N/A
      }
    };

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(aRV, true));
    Assert.assertEquals(1111.0, sumOf(answer), DELTA_THRESHOLD);

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(aRV, false));
    Assert.assertEquals(11110000.0, sumOf(answer), DELTA_THRESHOLD);

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(bRV, true));
    Assert.assertEquals(110011.0, sumOf(answer), DELTA_THRESHOLD);

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(bRV, false));
    Assert.assertEquals(11001100.0, sumOf(answer), DELTA_THRESHOLD);

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(cRV, true));
    Assert.assertEquals(1010101.0, sumOf(answer), DELTA_THRESHOLD);

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(cRV, false));
    Assert.assertEquals(10101010.0, sumOf(answer), DELTA_THRESHOLD);

    answer.clear();
    ptABC.iterateOverTable(pti, new AssignmentProposition(bRV, true),
        new AssignmentProposition(cRV, true));
    Assert.assertEquals(10001.0, sumOf(answer), DELTA_THRESHOLD);
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.