Commit 62dfc5ca authored by josd's avatar josd

adding background rules

parent d75ea30e
PREFIX : <http://josd.github.io/eye/reasoning#>
{
?CASE :input1 ?I1.
?CASE :input2 ?I2.
} => {
?CASE :input10 (?I1 ?I2).
}.
#!/bin/bash
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 > train_model.ttl
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 > test_answer.ttl
eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/train_data.ttl --n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 --n3 http://josd.github.io/eye/reasoning/ccd/train_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/train_query.n3 > train_model.ttl
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/background_rules.n3 --n3 http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/test_query.n3 > test_answer.ttl
#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 background_rules.n3 --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#>
......@@ -8,10 +8,10 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
_:t_0 :answer (:expected 1 :predicted 1 :belief 0.7040031411428228 :evidence ((:input1 "xyz" 0.6931471805599453) (:input3 (0 1) 0.0) (:input4 :v4 0.0) (:input5 "b" 2.772588722239781))).
_:t_1 :answer (:expected 0 :predicted 0 :belief 0.6101493074464512 :evidence ((:input1 "abc" -0.4054651081081645) (:input2 60 -0.6931471805599453) (:input4 :v3 -0.6931471805599453) (:input5 "a" 0.0))).
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.7238134704678372 :evidence ((:input1 "xyz" 0.6931471805599453) (:input2 40 2.1972245773362196) (:input5 "a" 0.0))).
_:t_1 :answer (:expected 0 :predicted 0 :belief 0.6217496707387207 :evidence ((:input1 "abc" -0.4054651081081645) (:input2 60 -0.6931471805599453) (:input4 :v3 -0.6931471805599453) (:input5 "a" 0.0) (:input10 ("abc" 60) -0.6931471805599453))).
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.8262932434158183 :evidence ((:input1 "xyz" 0.6931471805599453) (:input2 40 2.772588722239781) (:input5 "a" 0.0) (:input10 ("xyz" 40) 2.772588722239781))).
_:t_3 :answer (:expected 0 :predicted 0 :belief 0.5857864376269049 :evidence ((:input3 (0 1) 0.0) (:input4 :v3 -0.6931471805599453))).
#2019-01-01T22:17:26.832Z in=35 out=4 ent=0 step=0 brake=1 inf=48051 sec=0.103 inf/sec=466515
#2019-01-03T11:23:22.255Z in=40 out=4 ent=3 step=6 brake=2 inf=55535 sec=0.099 inf/sec=560960
#ENDS
......@@ -17,6 +17,7 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
:input3
:input4
:input5
:input10
) list:member ?P.
?S ?P ?O.
(?P ?O) ccd:model (:output1 ?C ?N).
......
#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 background_rules.n3 --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#>
......@@ -20,7 +20,11 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input5 "b") ccd:model (:output1 2 0).
(:input5 "c") ccd:model (:output1 0 3).
(:input5 "a") ccd:model (:output1 1 1).
(:input10 ("abc" 40)) ccd:model (:output1 1 0).
(:input10 ("xyz" 60)) ccd:model (:output1 1 1).
(:input10 ("abc" 60)) ccd:model (:output1 1 2).
(:input10 ("xyz" 40)) ccd:model (:output1 1 0).
#2019-01-01T22:17:25.910Z in=53 out=13 ent=13 step=82 brake=2 inf=34395 sec=0.095 inf/sec=362053
#2019-01-03T11:23:07.839Z in=54 out=17 ent=24 step=110 brake=2 inf=43549 sec=0.090 inf/sec=483878
#ENDS
......@@ -9,6 +9,7 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
:input3
:input4
:input5
:input10
) list:member ?IN.
?S ?IN ?IV.
} => {
......
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