Skip to content

Commit

Permalink
safety.gsn.confidence, safety.tutorial: cosmetics, added an example a…
Browse files Browse the repository at this point in the history
…bout confidence argument using ACP
  • Loading branch information
ratiud committed Feb 14, 2021
1 parent 3bd4d9c commit f2f3592
Show file tree
Hide file tree
Showing 4 changed files with 427 additions and 67 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,7 @@
<property role="TrG5h" value="ConfidenceArgument" />
<property role="19KtqR" value="true" />
<property role="34LRSv" value="confidence argument" />
<property role="R4oN_" value="an argument about the confidence in a claim" />
<ref role="1TJDcQ" to="py52:3GRi4m$qNsQ" resolve="GoalStructure" />
<node concept="1TJgyj" id="4lbNCDmPWRO" role="1TKVEi">
<property role="IQ2ns" value="4993311705428119028" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,8 @@
<node concept="1TIwiD" id="48_A4oY40ha">
<property role="EcuMT" value="4766383208097907786" />
<property role="TrG5h" value="Weight" />
<property role="34LRSv" value="weight" />
<property role="R4oN_" value="represents the weight of this leg for confidence" />
<ref role="1TJDcQ" to="py52:6dwPixfdDSd" resolve="GoalStructureAttributeBase" />
<node concept="1TJgyi" id="48_A4oY40ig" role="1TKVEl">
<property role="IQ2nx" value="4766383208097907856" />
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -106,18 +106,18 @@
<node concept="37mRIm" id="4lbNCDmRjtD" role="37mRID">
<property role="37mO49" value="4993311705428119016" />
<node concept="gqqVs" id="4lbNCDmRjtB" role="37mO4d">
<property role="gqqTZ" value="143.0" />
<property role="gqqTW" value="-5.0" />
<property role="gqqTX" value="114.0" />
<property role="gqqTy" value="78.0" />
<property role="gqqTZ" value="348.49995" />
<property role="gqqTW" value="12.000100000000003" />
<property role="gqqTX" value="106.0" />
<property role="gqqTy" value="69.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
</node>
</node>
<node concept="37mRIm" id="4lbNCDmRju6" role="37mRID">
<property role="37mO49" value="4993311705428473718" />
<node concept="gqqVs" id="4lbNCDmRju5" role="37mO4d">
<property role="gqqTZ" value="132.0" />
<property role="gqqTW" value="125.0" />
<property role="gqqTZ" value="338.99995" />
<property role="gqqTW" value="134.00029836425782" />
<property role="gqqTX" value="125.0" />
<property role="gqqTy" value="59.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -130,8 +130,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="4lbNCDmRjut" role="3ul5Gz">
<node concept="2VclrF" id="4lbNCDmRjuu" role="3wpmZR">
<property role="2Vclpx" value="226.0" />
<property role="2Vclpz" value="95.0" />
<property role="2Vclpx" value="321.5" />
<property role="2Vclpz" value="99.00019836425781" />
</node>
<node concept="2VclrF" id="4lbNCDmRjuv" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand All @@ -144,8 +144,8 @@
<node concept="37mRIm" id="1XJsHce2Wq5" role="37mRID">
<property role="37mO49" value="2265155388389967474" />
<node concept="gqqVs" id="1XJsHce2Wq4" role="37mO4d">
<property role="gqqTZ" value="86.0" />
<property role="gqqTW" value="251.0" />
<property role="gqqTZ" value="339.49995" />
<property role="gqqTW" value="266.0004967285156" />
<property role="gqqTX" value="124.0" />
<property role="gqqTy" value="69.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -154,8 +154,8 @@
<node concept="37mRIm" id="1XJsHce2WqD" role="37mRID">
<property role="37mO49" value="2265155388389967494" />
<node concept="gqqVs" id="1XJsHce2WqC" role="37mO4d">
<property role="gqqTZ" value="277.0" />
<property role="gqqTW" value="251.0" />
<property role="gqqTZ" value="204.49995" />
<property role="gqqTW" value="266.0004967285156" />
<property role="gqqTX" value="117.0" />
<property role="gqqTy" value="69.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -168,19 +168,15 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="1XJsHce2Wrc" role="3ul5Gz">
<node concept="2VclrF" id="1XJsHce2Wrd" role="3wpmZR">
<property role="2Vclpx" value="68.5" />
<property role="2Vclpz" value="213.0" />
<property role="2Vclpx" value="412.5" />
<property role="2Vclpz" value="231.00039672851562" />
</node>
<node concept="2VclrF" id="1XJsHce2Wre" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
<property role="2Vclpz" value="0.0" />
</node>
</node>
</node>
<node concept="2VclrF" id="1XJsHce2WrR" role="2Vcluh">
<property role="2Vclpx" value="146.5" />
<property role="2Vclpz" value="217.5" />
</node>
</node>
</node>
<node concept="37mRIm" id="1XJsHce2Wst" role="37mRID">
Expand All @@ -190,8 +186,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="1XJsHce2Wsv" role="3ul5Gz">
<node concept="2VclrF" id="1XJsHce2Wsw" role="3wpmZR">
<property role="2Vclpx" value="276.0" />
<property role="2Vclpz" value="188.0" />
<property role="2Vclpx" value="183.0" />
<property role="2Vclpz" value="231.00039672851562" />
</node>
<node concept="2VclrF" id="1XJsHce2Wsx" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand All @@ -200,40 +196,40 @@
</node>
</node>
<node concept="2VclrF" id="1XJsHce2Wth" role="2Vcluh">
<property role="2Vclpx" value="214.93111629250276" />
<property role="2Vclpz" value="213.06888370749724" />
<property role="2Vclpx" value="401.5" />
<property role="2Vclpz" value="211.00039672851562" />
</node>
<node concept="2VclrF" id="l38t$6xsj$" role="2Vcluh">
<property role="2Vclpx" value="314.9311791325514" />
<property role="2Vclpz" value="213.06882086744864" />
<property role="2Vclpx" value="263.0" />
<property role="2Vclpz" value="211.00039672851562" />
</node>
</node>
</node>
<node concept="37mRIm" id="1XJsHce2WtZ" role="37mRID">
<property role="37mO49" value="2265155388389967718" />
<node concept="gqqVs" id="1XJsHce2WtY" role="37mO4d">
<property role="gqqTZ" value="3.0" />
<property role="gqqTW" value="648.0" />
<property role="gqqTX" value="160.0" />
<property role="gqqTy" value="103.0" />
<property role="gqqTZ" value="150.49995" />
<property role="gqqTW" value="690.0011375976562" />
<property role="gqqTX" value="156.0" />
<property role="gqqTy" value="87.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
</node>
</node>
<node concept="37mRIm" id="1XJsHce2Wv7" role="37mRID">
<property role="37mO49" value="2265155388389967787" />
<node concept="gqqVs" id="1XJsHce2Wv6" role="37mO4d">
<property role="gqqTZ" value="168.0" />
<property role="gqqTW" value="648.0" />
<property role="gqqTZ" value="324.49995" />
<property role="gqqTW" value="690.0011375976562" />
<property role="gqqTX" value="154.0" />
<property role="gqqTy" value="89.0" />
<property role="gqqTy" value="73.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
</node>
</node>
<node concept="37mRIm" id="1XJsHce2WwA" role="37mRID">
<property role="37mO49" value="2265155388389967879" />
<node concept="gqqVs" id="1XJsHce2Ww_" role="37mO4d">
<property role="gqqTZ" value="29.0" />
<property role="gqqTW" value="389.0" />
<property role="gqqTZ" value="290.49995" />
<property role="gqqTW" value="388.0007103515625" />
<property role="gqqTX" value="222.0" />
<property role="gqqTy" value="73.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -246,8 +242,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="1XJsHce2WyN" role="3ul5Gz">
<node concept="2VclrF" id="1XJsHce2WyO" role="3wpmZR">
<property role="2Vclpx" value="157.0" />
<property role="2Vclpz" value="342.0" />
<property role="2Vclpx" value="321.5" />
<property role="2Vclpz" value="353.0006103515625" />
</node>
<node concept="2VclrF" id="1XJsHce2WyP" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand All @@ -260,8 +256,8 @@
<node concept="37mRIm" id="1XJsHce2WG6" role="37mRID">
<property role="37mO49" value="2265155388389968612" />
<node concept="gqqVs" id="1XJsHce2WG5" role="37mO4d">
<property role="gqqTZ" value="15.0" />
<property role="gqqTW" value="529.0" />
<property role="gqqTZ" value="349.99995" />
<property role="gqqTW" value="548.0009544921875" />
<property role="gqqTX" value="103.0" />
<property role="gqqTy" value="55.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -274,19 +270,15 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="1XJsHce2WH8" role="3ul5Gz">
<node concept="2VclrF" id="1XJsHce2WH9" role="3wpmZR">
<property role="2Vclpx" value="28.0" />
<property role="2Vclpz" value="494.5" />
<property role="2Vclpx" value="412.5" />
<property role="2Vclpz" value="499.0008239746094" />
</node>
<node concept="2VclrF" id="1XJsHce2WHa" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
<property role="2Vclpz" value="0.0" />
</node>
</node>
</node>
<node concept="2VclrF" id="l38t$6uVSq" role="2Vcluh">
<property role="2Vclpx" value="64.49999999999999" />
<property role="2Vclpz" value="507.5" />
</node>
</node>
</node>
<node concept="37mRIm" id="1XJsHce2WIu" role="37mRID">
Expand Down Expand Up @@ -346,15 +338,23 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="l38t$6uVWF" role="3ul5Gz">
<node concept="2VclrF" id="l38t$6uVWG" role="3wpmZR">
<property role="2Vclpx" value="15.75" />
<property role="2Vclpz" value="609.0" />
<property role="2Vclpx" value="148.5" />
<property role="2Vclpz" value="655.0010375976562" />
</node>
<node concept="2VclrF" id="l38t$6uVWH" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
<property role="2Vclpz" value="0.0" />
</node>
</node>
</node>
<node concept="2VclrF" id="4y8PK53Yrux" role="2Vcluh">
<property role="2Vclpx" value="401.5" />
<property role="2Vclpz" value="635.0010375976562" />
</node>
<node concept="2VclrF" id="4y8PK53Yruy" role="2Vcluh">
<property role="2Vclpx" value="228.5" />
<property role="2Vclpz" value="635.0010375976562" />
</node>
</node>
</node>
<node concept="37mRIm" id="l38t$6uVY$" role="37mRID">
Expand All @@ -364,8 +364,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="l38t$6uVYA" role="3ul5Gz">
<node concept="2VclrF" id="l38t$6uVYB" role="3wpmZR">
<property role="2Vclpx" value="120.75" />
<property role="2Vclpz" value="615.5" />
<property role="2Vclpx" value="321.5" />
<property role="2Vclpz" value="655.0010375976562" />
</node>
<node concept="2VclrF" id="l38t$6uVYC" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand Down Expand Up @@ -444,8 +444,8 @@
<node concept="37mRIm" id="l38t$6uWcx" role="37mRID">
<property role="37mO49" value="379184009629647606" />
<node concept="gqqVs" id="l38t$6uWcw" role="37mO4d">
<property role="gqqTZ" value="299.0" />
<property role="gqqTW" value="543.0" />
<property role="gqqTZ" value="209.99995" />
<property role="gqqTW" value="534.0009544921875" />
<property role="gqqTX" value="122.0" />
<property role="gqqTy" value="83.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -458,8 +458,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="l38t$6uWeu" role="3ul5Gz">
<node concept="2VclrF" id="l38t$6uWev" role="3wpmZR">
<property role="2Vclpx" value="281.0" />
<property role="2Vclpz" value="492.0" />
<property role="2Vclpx" value="191.0" />
<property role="2Vclpz" value="499.0008239746094" />
</node>
<node concept="2VclrF" id="l38t$6uWew" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand All @@ -468,20 +468,20 @@
</node>
</node>
<node concept="2VclrF" id="l38t$6uWgr" role="2Vcluh">
<property role="2Vclpx" value="198.0" />
<property role="2Vclpz" value="510.0" />
<property role="2Vclpx" value="401.5" />
<property role="2Vclpz" value="479.0008239746094" />
</node>
<node concept="2VclrF" id="l38t$6v2t7" role="2Vcluh">
<property role="2Vclpx" value="332.000046112947" />
<property role="2Vclpz" value="509.999953887053" />
<property role="2Vclpx" value="271.0" />
<property role="2Vclpz" value="479.0008239746094" />
</node>
</node>
</node>
<node concept="37mRIm" id="5rKLCgmFXG6" role="37mRID">
<property role="37mO49" value="6264725352290966232" />
<node concept="gqqVs" id="5rKLCgmFXG5" role="37mO4d">
<property role="gqqTZ" value="-156.0" />
<property role="gqqTW" value="481.0" />
<property role="gqqTZ" value="554.49995" />
<property role="gqqTW" value="548.0009544921875" />
<property role="gqqTX" value="81.0" />
<property role="gqqTy" value="55.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -490,8 +490,8 @@
<node concept="37mRIm" id="5rKLCgmFXIE" role="37mRID">
<property role="37mO49" value="6264725352290966393" />
<node concept="gqqVs" id="5rKLCgmFXID" role="37mO4d">
<property role="gqqTZ" value="-156.0" />
<property role="gqqTW" value="557.0" />
<property role="gqqTZ" value="554.49995" />
<property role="gqqTW" value="629.0011375976562" />
<property role="gqqTX" value="81.0" />
<property role="gqqTy" value="55.0" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
Expand All @@ -504,8 +504,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="5rKLCgmFXMz" role="3ul5Gz">
<node concept="2VclrF" id="5rKLCgmFXM$" role="3wpmZR">
<property role="2Vclpx" value="-59.5" />
<property role="2Vclpz" value="503.5" />
<property role="2Vclpx" value="471.0" />
<property role="2Vclpz" value="585.0010375976562" />
</node>
<node concept="2VclrF" id="5rKLCgmFXM_" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand All @@ -514,8 +514,8 @@
</node>
</node>
<node concept="2VclrF" id="5rKLCgmFXOH" role="2Vcluh">
<property role="2Vclpx" value="-28.0" />
<property role="2Vclpz" value="543.0" />
<property role="2Vclpx" value="528.3847884854354" />
<property role="2Vclpz" value="570.6453660585087" />
</node>
</node>
</node>
Expand All @@ -526,8 +526,8 @@
<property role="3ul5GH" value="label" />
<node concept="3wpmZ1" id="5rKLCgmFXPg" role="3ul5Gz">
<node concept="2VclrF" id="5rKLCgmFXPh" role="3wpmZR">
<property role="2Vclpx" value="-63.5" />
<property role="2Vclpz" value="576.5" />
<property role="2Vclpx" value="446.0" />
<property role="2Vclpz" value="630.0010375976562" />
</node>
<node concept="2VclrF" id="5rKLCgmFXPi" role="3wpmZP">
<property role="2Vclpx" value="0.0" />
Expand Down Expand Up @@ -661,6 +661,7 @@
<ref role="3VeSjQ" node="5rKLCgmFXFo" resolve="C1" />
<node concept="3Ho4uE" id="5rKLCgmFXSa" role="1Wbb7D">
<property role="TrG5h" value="ACP2" />
<ref role="3Ho4uy" node="l38t$6v2pk" resolve="_110_confidence_argument_scenarios" />
</node>
</node>
<node concept="2vhqFZ" id="5rKLCgmFXOV" role="2vhqc$">
Expand Down
Loading

0 comments on commit f2f3592

Please sign in to comment.