maher.nb - < PrSAT` Computing the Measure on the State...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
<< PrSAT` ü Computing the Measure on the State Descriptions ü Finding Models in Maher's System In[157]:= x _ y _ : = Ÿ x Í y; x _ ª y _ : = H x y L Ï H y x L ; map = 8 16 Ø s1, 12 Ø s2, 13 Ø s5, 6 Ø s6, 14 Ø s3, 7 Ø s4, 8 Ø s7, 2 Ø s8, 15 Ø s9, 9 Ø s10, 10 Ø s13, 3 Ø s14, 11 Ø s11, 4 Ø s12, 5 Ø s15, 1 Ø s16 < ; MaherModel @ f _ , g _ D : = PrSAT @8 Pr @ Fa Ï Ga Ï Fb Ï Gb D ã s1, Pr @ Fa Ï Ga Ï Fb Ï Ÿ Gb D ã s2, Pr @ Fa Ï Ga Ï Ÿ Fb Ï Gb D ã s3, Pr @ Fa Ï Ga Ï Ÿ Fb Ï Ÿ Gb D ã s4, Pr @ Fa Ï Ÿ Ga Ï Fb Ï Gb D ã s5, Pr @ Fa Ï Ÿ Ga Ï Fb Ï Ÿ Gb D ã s6, Pr @ Fa Ï Ÿ Ga Ï Ÿ Fb Ï Gb D ã s7, Pr @ Fa Ï Ÿ Ga Ï Ÿ Fb Ï Ÿ Gb D ã s8, Pr @ Ÿ Fa Ï Ga Ï Fb Ï Gb D ã s9, Pr @ Ÿ Fa Ï Ga Ï Fb Ï Ÿ Gb D ã s10, Pr @ Ÿ Fa Ï Ga Ï Ÿ Fb Ï Gb D ã s11, Pr @ Ÿ Fa Ï Ga Ï Ÿ Fb Ï Ÿ Gb D ã s12, Pr @ Ÿ Fa Ï Ÿ Ga Ï Fb Ï Gb D ã s13, Pr @ Ÿ Fa Ï Ÿ Ga Ï Fb Ï Ÿ Gb D ã s14, Pr @ Ÿ Fa Ï Ÿ Ga Ï Ÿ Fb Ï Gb D ã s15, Pr @ Ÿ Fa Ï Ÿ Ga Ï Ÿ Fb Ï Ÿ Gb D ã s16 < êê . 8 g F Ø f, g G Ø g <D ; In[160]:= MNC = MaherModel @ 1 ê 1000, 1 ê 10 D Out[160]= :8 Fa Ø 8 2 , 6 , 7 , 8 , 12 , 13 , 14 , 16 < , Fb Ø 8 3 , 6 , 9 , 10 , 12 , 13 , 15 , 16 < , Ga Ø 8 4 , 7 , 9 , 11 , 12 , 14 , 15 , 16 < , Gb Ø 8 5 , 8 , 10 , 11 , 13 , 14 , 15 , 16 < , W Ø 8 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 14 , 15 , 16 << , : 1 Ø 16772211 20000000 , 2 Ø 10989 20000000 , 3 Ø 10989 20000000 , 4 Ø 1197801 20000000 , 5 Ø 1197801 20000000 , 6 Ø 5811 20000000 , 7 Ø 999 20000000 , 8 Ø 999 20000000 , 9 Ø 999 20000000 , 10 Ø 999 20000000 , 11 Ø 798867 20000000 , 12 Ø 201 20000000 , 13 Ø 201 20000000 , 14 Ø 333 20000000 , 15 Ø 333 20000000 , 16 Ø 467 20000000 >> In[161]:= EvaluateProbability @ Pr @H Fa Ga L Ï H Fb Gb L » Fa Ï Ga D , MNC
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 08/01/2008 for the course PHIL 290 taught by Professor Fitelson during the Fall '06 term at University of California, Berkeley.

Page1 / 4

maher.nb - < PrSAT` Computing the Measure on the State...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online