Commit 7099475b authored by josd's avatar josd

retest

parent e219a393
#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 test_data.ttl --turtle train_model.ttl --query test_query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
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#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(_: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) (:input5 "a" 1))) :answer (:output1 1 :expected 1 :belief 0.573288342541068).
(_:t_3 ((:input3 (0 1) 1) (:input4 :v3 0.5))) :answer (:output1 0 :expected 0 :belief 0.5981750485153163).
#2018-12-14T22:19:51.907Z in=33 out=4 ent=0 step=0 brake=1 inf=38293 sec=0.039 inf/sec=981872
#2018-12-19T23:31:12.925Z in=29 out=4 ent=0 step=0 brake=1 inf=38561 sec=0.091 inf/sec=423747
#ENDS
......@@ -20,9 +20,7 @@ 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.
(?CH ?NH) math:quotient ?D.
(?C ?N) math:quotient ?D.
}
?IL
).
......
#Processed by EYE v18.1214.1911 josd
#eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/train_data.ttl --n3 http://josd.github.io/eye/reasoning/ccd/train_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/train_query.n3
#eye --nope --turtle train_data.ttl --n3 train_rules.n3 --query train_query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input1 "abc") :ccd (2 3).
(:input1 "xyz") :ccd (2 1).
(:input2 40) :ccd (3 0).
(:input2 60) :ccd (2 4).
(:input3 (0 1)) :ccd (2 2).
(:input3 (2 3)) :ccd (1 3).
(:input4 :v1) :ccd (2 0).
(:input4 :v2) :ccd (1 1).
(:input4 :v4) :ccd (1 1).
(:input4 :v3) :ccd (1 2).
(:input5 "b") :ccd (2 0).
(:input5 "c") :ccd (0 3).
(:input5 "a") :ccd (1 1).
#2018-12-14T22:19:51.457Z in=53 out=13 ent=13 step=82 brake=2 inf=32149 sec=0.035 inf/sec=918543
#2018-12-19T23:28:56.035Z in=53 out=9 ent=13 step=82 brake=2 inf=34249 sec=0.084 inf/sec=407726
#ENDS
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -8,6 +9,8 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
(?IN ?IV) a :Input.
?SCOPE e:findall (1 {?CASE ?IN ?IV; :output1 1} ?CL).
?SCOPE e:findall (1 {?CASE ?IN ?IV; :output1 0} ?NL).
?CL log:notEqualTo ().
?NL log:notEqualTo ().
?CL math:sum ?C.
?NL math:sum ?N.
}.
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