Commit f11e3e50 authored by josd's avatar josd

retest

parent 909acbef
#Processed by EYE v18.1214.1911 josd
#eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/test_data.ttl --turtle http://josd.github.io/eye/reasoning/ccd/train_model.ttl --query http://josd.github.io/eye/reasoning/ccd/test_query.n3
#eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/test_data.ttl --turtle http://josd.github.io/eye/reasoning/ccd/train_model.ttl --query test_query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -7,11 +7,11 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
(_:t_0 ((:input1 "xyz" 1.6666666666666667) (:input3 (0 1) 1.0) (:input4 :v4 1.0) (:input5 "a" 1.0))) :answer (:output1 1 :expected 1 :belief 0.5190939880340477).
(_:t_1 ((:input1 "abc" 0.7142857142857143) (:input2 60 0.5555555555555556) (:input4 :v3 0.6) (:input5 "a" 1.0))) :answer (:output1 0 :expected 0 :belief 0.6011033268244086).
(_:t_2 ((:input1 "xyz" 1.6666666666666667) (:input2 40 7.0) (:input5 "a" 1.0))) :answer (:output1 1 :expected 1 :belief 0.683005530572854).
(_:t_3 ((:input3 (0 1) 1.0) (:input4 :v3 0.6))) :answer (:output1 0 :expected 0 :belief 0.5760810560972536).
(_:t_0 ((:input1 "xyz" 2) (:input3 (0 1) 1) (:input4 :v4 1) (:input5 "a" 1))) :answer (:output1 1 :expected 1 :belief 0.5304606072738239).
(_:t_1 ((:input1 "abc" 0.6666666666666666) (:input2 60 0.5) (:input4 :v3 0.5) (:input5 "a" 1))) :answer (:output1 0 :expected 0 :belief 0.6222791044377849).
(_:t_2 ((:input1 "xyz" 2) (:input2 40 9999.999999999998) (:input5 "a" 1))) :answer (:output1 1 :expected 1 :belief 0.9626684130887869).
(_:t_3 ((:input3 (0 1) 1) (:input4 :v3 0.5))) :answer (:output1 0 :expected 0 :belief 0.5981750485153163).
#2018-12-20T23:32:35.934Z in=33 out=4 ent=0 step=0 brake=1 inf=38301 sec=0.045 inf/sec=851133
#2018-12-21T23:24:22.756Z in=33 out=4 ent=0 step=0 brake=1 inf=43548 sec=0.101 inf/sec=431168
#ENDS
......@@ -20,8 +20,22 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
) list:member ?P.
?S ?P ?O.
(?P ?O) :ccd (?C ?N).
(?C 0.5) math:sum ?CH.
(?N 0.5) math:sum ?NH.
?SCOPE e:optional {
?C math:equalTo 0.
(?N 0.0001) math:product ?E.
(?C ?E) math:sum ?CH.
}.
?SCOPE e:optional {
?CH log:equalTo ?C.
}.
?SCOPE e:optional {
?N math:equalTo 0.
(?C 0.0001) math:product ?E.
(?N ?E) math:sum ?NH.
}.
?SCOPE e:optional {
?NH log:equalTo ?N.
}.
(?CH ?NH) math:quotient ?D.
}
?IL
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment