Commit 9331a187 authored by josd's avatar josd

retest

parent 767951ad
#Processed by EYE v18.1230.1307 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 --n3 http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/test_query.n3
#eye --nope --turtle test_data.ttl --turtle train_model.ttl --n3 ccd_rules.n3 --query test_query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -12,6 +12,6 @@ _:t_1 :answer (:expected 0 :predicted 0 :belief 0.6101493074464512 :evidence ((:
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.7238134704678372 :evidence ((:input1 "xyz" 0.6931471805599453) (:input2 40 2.1972245773362196) (:input5 "a" 0.0))).
_:t_3 :answer (:expected 0 :predicted 0 :belief 0.5857864376269049 :evidence ((:input3 (0 1) 0.0) (:input4 :v3 -0.6931471805599453))).
#2018-12-30T13:08:47.657Z in=35 out=4 ent=0 step=0 brake=1 inf=48175 sec=0.102 inf/sec=472304
#2018-12-30T21:18:27.218Z in=35 out=4 ent=0 step=0 brake=1 inf=50598 sec=0.093 inf/sec=544065
#ENDS
#Processed by EYE v18.1230.1307 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#>
......@@ -8,19 +8,19 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input1 "abc") ccd:model (:output1 2 3).
(:input1 "xyz") ccd:model (:output1 2 1).
(:input2 40) ccd:model (:output1 3 0).
(:input2 60) ccd:model (:output1 2 4).
(:input3 (0 1)) ccd:model (:output1 2 2).
(:input3 (2 3)) ccd:model (:output1 1 3).
(:input4 :v1) ccd:model (:output1 2 0).
(:input4 :v2) ccd:model (:output1 1 1).
(:input4 :v4) ccd:model (:output1 1 1).
(:input4 :v3) ccd:model (:output1 1 2).
(:input5 "b") ccd:model (:output1 2 0).
(:input3 (2 3)) ccd:model (:output1 1 3).
(:input4 :v2) ccd:model (:output1 1 1).
(:input5 "c") ccd:model (:output1 0 3).
(:input5 "a") ccd:model (:output1 1 1).
(:input1 "xyz") ccd:model (:output1 2 1).
(:input2 60) ccd:model (:output1 2 4).
(:input4 :v4) ccd:model (:output1 1 1).
(:input4 :v3) ccd:model (:output1 1 2).
#2018-12-30T13:08:46.015Z in=53 out=13 ent=13 step=82 brake=2 inf=34178 sec=0.090 inf/sec=379756
#2018-12-30T21:16:20.270Z in=53 out=13 ent=13 step=82 brake=2 inf=37828 sec=0.086 inf/sec=439860
#ENDS
......@@ -4,11 +4,11 @@ PREFIX ccd: <http://josd.github.io/eye/reasoning/ccd#>
PREFIX : <http://josd.github.io/eye/reasoning#>
{
(?IN ?IV) ccd:model (:output1 ?C ?N).
(?IN ?IV) ccd:model (?ON ?C ?N).
} <= {
(?IN ?IV) a ccd:Input.
?SCOPE e:findall (1 {?CASE ?IN ?IV; :output1 1} ?CL).
?SCOPE e:findall (1 {?CASE ?IN ?IV; :output1 0} ?NL).
(?IN ?IV) ccd:output ?ON.
?SCOPE e:findall (1 {?CASE ?IN ?IV; ?ON 1} ?CL).
?SCOPE e:findall (1 {?CASE ?IN ?IV; ?ON 0} ?NL).
?CL math:sum ?C.
?NL math:sum ?N.
}.
......@@ -12,5 +12,5 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
) list:member ?IN.
?S ?IN ?IV.
} => {
(?IN ?IV) a ccd:Input.
(?IN ?IV) ccd:output :output1.
}.
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