# Monotonic abduction and Bayes theorem in N3 coherent logic

From: <jos.deroo@agfa.com>
Date: Tue, 14 Sep 2010 23:34:06 +0200

Message-ID: <OF65416F95.EDD352ED-ONC125779E.007583B5-C125779E.00767B8A@agfa.com>
```http://eulersharp.sourceforge.net/2007/07test/wetP100.n3
contains 100 historical measurements for location 1 plus some integrity
constraints

http://eulersharp.sourceforge.net/2007/07test/wetC100.n3
contains the actual condition for location 1

http://eulersharp.sourceforge.net/2007/07test/wetQ100.n3
http://eulersharp.sourceforge.net/2007/07test/wetQ101.n3
are 2 questions

The thesis is that for query Q given condition C
belief(Q|C) = possibleModels/(possibleModels+counterModels)

i.e. for http://eulersharp.sourceforge.net/2007/07test/wetE100.n3
belief(Sprinkler|WetGrass) = 46/(46+35) = 0.56790

and for http://eulersharp.sourceforge.net/2007/07test/wetE101.n3
belief(Rain|WetGrass) = 54/(54+27) = 0.66667

With appropriate queries and conditions the Bayes theorem holds:
belief(Sprinkler|WetGrass) =
belief(WetGrass|Sprinkler)*belief(Sprinkler)/belief(WetGrass)
46/(46+35) = 46/(46+5)*51/(51+49)/(81/(81+19)) = 0.56790
belief(Rain|WetGrass) =
belief(WetGrass|Rain)*belief(Rain)/belief(WetGrass)
54/(54+27) = 54/(54+4)*58/(58+42)/(81/(81+19)) = 0.66667

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618
http://www.agfa.com/w3c/jdroo/

Agfa HealthCare NV, Moutstraat 100, 9000 Gent, Belgium
http://www.agfa.com/healthcare
```
Received on Tuesday, 14 September 2010 21:34:43 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:43 UTC