W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2007

Some progress with proof generation

From: Chimezie <chimezie@gmail.com>
Date: Fri, 07 Sep 2007 04:05:15 -0000
To: fuxi-discussion <fuxi-discussion@googlegroups.com>
Cc: public-cwm-talk@w3.org
Message-ID: <1189137915.453497.265580@w3g2000hsg.googlegroups.com>

I made a *little* progress, setting up to generate reason.n3 formatted
proofs from the results of evaluating a network.  You can see the
diagram [1] ( also available [2] as SVG ) of the RETE-UL against which
I was able to infer 6 assertions from the  original 3 ( in the "She's
a witch and I have the proof (in N3)"  [3]  test case ), under the
'Proof Generation' section of the FuXi wiki:

http://code.google.com/p/python-dlp/wiki/FuXi

This is the output from my console (using the *latest* RIF EBNF for
readable syntax):

Forall ?x witch:WITCH(?x) :- And( witch:BURNS(?x) witch:WOMAN(?x) )
Forall ?x witch:BURNS(?x) :- witch:ISMADEOFWOOD(?x)
Forall ?x witch:ISMADEOFWOOD(?x) :- witch:FLOATS(?x)
Forall ?y ?x witch:FLOATS(?y) :- And( witch:FLOATS(?x)
witch:SAMEWEIGHT(?x ?y) )

Time to build production rule (RDFLib): 0.00752997398376 seconds
.. snip ..
Time to calculate closure on working memory:  29.7100543976 milli
seconds
## Going in ##
[witch:FLOATS(witch:DUCK),
 witch:SAMEWEIGHT(witch:DUCK witch:GIRL),
 witch:WOMAN(witch:GIRL)]
## Coming out ##
[witch:ISMADEOFWOOD(witch:DUCK),
 witch:FLOATS(witch:GIRL),
 witch:ISMADEOFWOOD(witch:GIRL),
 witch:BURNS(witch:GIRL),
 witch:WITCH(witch:GIRL),
 witch:BURNS(witch:DUCK)]
<Network: 4 rules, 10 nodes, 12 tokens in working memory, 6 inferred
tokens>
<TerminalNode (pass-thru): CommonVariables: [?x] (0 in left, 2 in
right memories)>
        {[(?x, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#BURNS'))]}
                2 instanciations
<TerminalNode (pass-thru): CommonVariables: [?x] (0 in left, 2 in
right memories)>
        {[(?x, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#BURNS'))]}
                2 instanciations
<TerminalNode (pass-thru): CommonVariables: [?x] (0 in left, 2 in
right memories)>
        {[(?x, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#ISMADEOFWOOD'))]}
                2 instanciations
<TerminalNode (pass-thru): CommonVariables: [?x] (0 in left, 2 in
right memories)>
        {[(?x, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#ISMADEOFWOOD'))]}
                2 instanciations
<TerminalNode : CommonVariables: [?x] (2 in left, 1 in right
memories)>
        {[(?x, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#WITCH'))]}
                1 instanciations
<TerminalNode : CommonVariables: [?x] (2 in left, 1 in right
memories)>
        {[(?y, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#FLOATS'))]}
                1 instanciations
<TerminalNode : CommonVariables: [?x] (2 in left, 1 in right
memories)>
        {[(?y, rdflib.URIRef('http://www.w3.org/1999/02/22-rdf-syntax-
ns#type'), rdflib.URIRef('http://www.w3.org/2000/10/swap/test/reason/
witch#FLOATS'))]}
                1 instanciations
ok

----------------------------------------------------------------------
Ran 1 test in 0.117s

OK

[1] http://python-dlp.googlecode.com/svn/trunk/fuxi/test/witches.jpg
[2] http://python-dlp.googlecode.com/svn/trunk/fuxi/test/witches.svg
[3] http://dig.csail.mit.edu/breadcrumbs/node/179
Received on Friday, 7 September 2007 04:05:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT